Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : free memory
[simgrid.git] / src /
2013-06-08 Marion Guthmullermodel-checker : free memory tree | commitdiff
2013-06-08 Marion Guthmullermodel-checker : increase number of colors for dot output tree | commitdiff
2013-06-08 Marion Guthmullermodel-checker : use raw_heap instead of std_heap tree | commitdiff
2013-06-08 Marion Guthmullermodel-checker : fix dot output for smpi examples tree | commitdiff
2013-06-08 Marion Guthmullermodel-checker : add information in counter-example... tree | commitdiff
2013-06-08 George MarkomanolisNew actions for the time independent trace replay frame... tree | commitdiff
2013-06-07 degommerename old alltoall selector function, which will proba... tree | commitdiff
2013-06-07 degommeadd ompi selector for smpi collectives (use --cfg=smpi... tree | commitdiff
2013-06-07 sutersimpler version of simcall to get the file of a file tree | commitdiff
2013-06-07 suterallow tasks to take no output nor produce any output tree | commitdiff
2013-06-06 LionelFix exception handling in Java semaphores tree | commitdiff
2013-06-06 LionelBugfix in semaphore code tree | commitdiff
2013-06-06 LionelAdd correct headers for Java exports tree | commitdiff
2013-06-06 LionelMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-06-06 LionelAdded Semaphore visibility to the Java bindings tree | commitdiff
2013-06-06 sutersetting result help to propogate it tree | commitdiff
2013-06-06 suterno need to free the file descriptor when you just want... tree | commitdiff
2013-06-06 suterstream to fd tree | commitdiff
2013-06-06 sutercopy/paste error tree | commitdiff
2013-06-06 suterfp => fd (for file descriptor) tree | commitdiff
2013-06-06 suterWow, I wrote a simcall! 11 files to modify to do a... tree | commitdiff
2013-06-06 suterunsigned long to size_t tree | commitdiff
2013-06-06 suteradd a function to retrieve the size of an msg_file_t tree | commitdiff
2013-06-06 Martin QuinsonMake semaphores visible from MSG tree | commitdiff
2013-06-06 LionelExport setAsyncMailbox to Java world tree | commitdiff
2013-06-06 suterremove references to an include file that doesn't exist... tree | commitdiff
2013-06-06 Martin Quinsonkill some dead code tree | commitdiff
2013-06-06 Martin Quinsonthese got regenerated, apparently with a newer version... tree | commitdiff
2013-06-05 suterSimplify the way files are described. Get rid of the... tree | commitdiff
2013-06-05 suterstart to simplify the stack of structures for files... tree | commitdiff
2013-06-05 sutertypos tree | commitdiff
2013-06-05 Martin Quinsondocument the fact that we accept abbreviations of log... tree | commitdiff
2013-06-05 Martin Quinsonbig fat warning to avoid an issue that Lionel encountered tree | commitdiff
2013-06-02 Marion Guthmullermodel-checker : generate dot file for the verification... tree | commitdiff
2013-06-02 Marion Guthmullermodel-checker : use else if instead of if then if tree | commitdiff
2013-06-02 Marion Guthmullermodel-checker : fix dpor with dot_output tree | commitdiff
2013-06-01 Marion Guthmullermodel-checker : fix memory free tree | commitdiff
2013-05-31 Marion Guthmullermodel-checker : remove useless if tree | commitdiff
2013-05-31 Marion Guthmullermodel-checker : fix compilation error tree | commitdiff
2013-05-31 Marion Guthmullermodel-checker : remove useless take/restore snapshot tree | commitdiff
2013-05-31 Marion Guthmullermodel-checker : initialize variables tree | commitdiff
2013-05-31 Marion Guthmullermodel-checker : remove comment and add debug message tree | commitdiff
2013-05-31 Marion Guthmullermodel-checker : simplify algorithm for the verification... tree | commitdiff
2013-05-30 Marion Guthmullermodel-checker : take snapshot of memory segments during... tree | commitdiff
2013-05-28 Marion Guthmullermodel-checker : use only structure (mc_pair_t) for... tree | commitdiff
2013-05-28 Marion Guthmullermodel-checker : free memory tree | commitdiff
2013-05-27 Arnaud GierschRemove reference to nonexistent class. tree | commitdiff
2013-05-24 Arnaud GierschTry to normalize path for libraries bundled into simgri... tree | commitdiff
2013-05-23 Paul BédarideAdd a scala masterslave example tree | commitdiff
2013-05-16 Arnaud GierschRemove now unused log category. tree | commitdiff
2013-05-16 Guillaume SerrièreRemove unused variable. tree | commitdiff
2013-05-16 Guillaume SerrièreAdd of context creation in parmap. tree | commitdiff
2013-05-16 Guillaume SerrièreRemove parmap from surf. tree | commitdiff
2013-05-15 Arnaud GierschGive size of pointed area, not size of pointer. tree | commitdiff
2013-05-15 Paul BédarideRemove PCRE dependency and RuleBased routing tree | commitdiff
2013-05-10 Paul BédarideAdd new boolean type for configuration tree | commitdiff
2013-05-07 Augustin Degommesynchronize all replay processes at the end tree | commitdiff
2013-05-07 Augustin DegommeWarning removal tree | commitdiff
2013-05-07 Augustin DegommeFix nasty bug with wrong addressing of the processes... tree | commitdiff
2013-05-07 Augustin Degommeadd an option smpi/iprobe, to inject sleeping time... tree | commitdiff
2013-05-07 Augustin Degommefix bug with tracing of MPI_Sendrecv tree | commitdiff
2013-05-07 Arnaud GierschUse right test for error checking. tree | commitdiff
2013-05-07 Arnaud GierschTypo. tree | commitdiff
2013-05-07 Arnaud GierschAlso handle IEC binary prefixes for bandwidth. tree | commitdiff
2013-05-07 Arnaud GierschUse correct capitalization for unit prefixes. tree | commitdiff
2013-05-07 Arnaud GierschFactorize code for parsing values with units. tree | commitdiff
2013-05-06 Paul BédarideLess error prone unit conversion tree | commitdiff
2013-05-06 Paul BédarideFix to handle warnings+optimizations on CI for MC32... tree | commitdiff
2013-05-06 Paul BédarideFix to handle warnings+optimizations on CI [#15544] tree | commitdiff
2013-05-06 Paul BédarideAdd unit support in xml files [#14422] tree | commitdiff
2013-04-30 Nicolas BonichonMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-04-26 Paul BédarideFix unset var in smpirun tree | commitdiff
2013-04-25 Nicolas BonichonMerge branch 'bittorrent' tree | commitdiff
2013-04-25 Paul BédarideAuto generate hostfile if not given to smpirun [#14692] tree | commitdiff
2013-04-15 Arnaud GierschReally call function TRACE_disable_power(). tree | commitdiff
2013-04-15 Arnaud GierschUse correct parameter for bcast operation. tree | commitdiff
2013-04-15 Arnaud GierschReturn early on error. tree | commitdiff
2013-04-15 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-04-15 Jonathan Rouzaud... Add new tracing options to reduce the size of the traces tree | commitdiff
2013-04-12 Paul BédarideAdd mpi allgatherv GB tree | commitdiff
2013-04-12 Paul BédarideReactivate some mpi collectives tree | commitdiff
2013-04-12 Arnaud GierschRemove unused file. tree | commitdiff
2013-04-12 Paul BédarideAdd mpi allgatherv pair ring tree | commitdiff
2013-04-11 Paul BédarideRemove mpi alltoall{,w}_pairwise (identical to ring) tree | commitdiff
2013-04-11 Paul BédarideAdd mpi alltoallv ring ring-light-barrier ring-mpi... tree | commitdiff
2013-04-11 Paul BédarideAdd mpi alltoallv pair tree | commitdiff
2013-04-11 Paul BédarideAdd mpi alltoallv pair_light_barrier pair_mpi_barrier... tree | commitdiff
2013-04-11 Augustin Degommetry not to copy from outside of an array tree | commitdiff
2013-04-10 Arnaud GierschDisable stream buffer when reading /proc/self/maps. tree | commitdiff
2013-04-10 Paul BédarideAdd mpi alltoallv bruck and fix mpi alltoallv pairwise tree | commitdiff
2013-04-10 Paul BédarideAdd mpi alltoallv pairwise tree | commitdiff
2013-04-10 Paul BédarideAdd test for mpi alltoallv tree | commitdiff
2013-04-10 Arnaud GierschRemove algorithm bcast-TSB. tree | commitdiff
2013-04-10 Arnaud GierschRemove unused variables. tree | commitdiff
2013-04-09 Arnaud GierschInitialize remainder. tree | commitdiff
2013-04-09 Arnaud GierschInitialize field loopback_link. tree | commitdiff
2013-04-09 Arnaud GierschRemove temporary files. tree | commitdiff
2013-04-09 Augustin Degommereplace star_reduction by our own reduction tree | commitdiff
2013-04-09 Augustin Degommeremove a few more leaks to please valgrind, but nothing... tree | commitdiff
2013-04-09 Arnaud GierschFix hack for smpi_replay in smpirun. tree | commitdiff
next
Clone of SimGrid repository with local patches