AND Public Git Repository - simgrid.git/search

]> AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2010-05-17	cristianrosa	Initial FAQ section for using the model-checking mode.	commit \| commitdiff \| tree
2010-05-17	cristianrosa	Add dead-lock detection to MC	commit \| commitdiff \| tree
2010-05-17	cristianrosa	Improve comments on examples	commit \| commitdiff \| tree
2010-05-17	cristianrosa	Add new example: "Shared buffer between asynchronous...	commit \| commitdiff \| tree
2010-05-17	cristianrosa	Improve independence detection of transitions (more...	commit \| commitdiff \| tree
2010-05-17	cristianrosa	Bugfix: Do not copy the communication data in the model...	commit \| commitdiff \| tree
2010-05-14	cristianrosa	Free MC memory on exit	commit \| commitdiff \| tree
2010-05-14	cristianrosa	Bugfix: destroy all the sets when destroying a setset...	commit \| commitdiff \| tree
2010-05-12	cristianrosa	Bugfix: delete the set of created transitions, otherwise...	commit \| commitdiff \| tree
2010-05-12	cristianrosa	Bugfix: do not assume that the object still exists...	commit \| commitdiff \| tree
2010-05-12	cristianrosa	Bugfix: delete the tasks after using them	commit \| commitdiff \| tree
2010-05-12	cristianrosa	Bugfix: fix memory leak related to transition creation...	commit \| commitdiff \| tree
2010-05-11	cristianrosa	Bugfix:delete unused variables in order to compile	commit \| commitdiff \| tree
2010-05-11	cristianrosa	Add new example to test MC_random function	commit \| commitdiff \| tree
2010-05-11	cristianrosa	Add int MC_random(int min, int max) function that will...	commit \| commitdiff \| tree
2010-05-10	cristianrosa	Improve the transition's dependence detection in MC	commit \| commitdiff \| tree
2010-05-10	cristianrosa	Do not use the src_buff and dst_buff to flag that the...	commit \| commitdiff \| tree
2010-05-10	cristianrosa	Delay the copy of the data of the communication actions...	commit \| commitdiff \| tree
2010-05-10	cristianrosa	Bugfix: make mmalloc build in x64	commit \| commitdiff \| tree
2010-05-08	cristianrosa	Bugfix: initialize the model checker memory subsystem...	commit \| commitdiff \| tree
2009-10-14	cristianrosa	Fix invalid memory references in SIMIX network.	commit \| commitdiff \| tree
2009-10-13	cristianrosa	Fix some memory leaks and invalid read/delete	commit \| commitdiff \| tree
2009-10-05	cristianrosa	Fix some conflicts with modifications introduced in...	commit \| commitdiff \| tree
2009-08-25	cristianrosa	Test for debug state before calling debug printing...	commit \| commitdiff \| tree
2009-08-18	cristianrosa	The exception associated to each process was relocated...	commit \| commitdiff \| tree
2009-08-18	cristianrosa	Merge java simix process creation with the standard...	commit \| commitdiff \| tree
2009-08-18	cristianrosa	Fix bug related to the exception mechanism once the...	commit \| commitdiff \| tree
2009-08-17	cristianrosa	Update the ChangeLog	commit \| commitdiff \| tree
2009-08-17	cristianrosa	Finally the Java interface is working again! (It was...	commit \| commitdiff \| tree
2009-08-17	cristianrosa	Trying to fix another java bug	commit \| commitdiff \| tree
2009-08-17	cristianrosa	Fix another bug in the java context implementation	commit \| commitdiff \| tree
2009-08-17	cristianrosa	Fixed bug in smx_context_mod_exit.	commit \| commitdiff \| tree
2009-08-17	cristianrosa	Fix try to fix the JAVA crap!	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom