AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2010-09-07	cristianrosa	Do not call xbt_cfg_set_int on the model-check option...	commit \| commitdiff \| tree
2010-08-10	cristianrosa	Tweak a bit the dependence function	commit \| commitdiff \| tree
2010-08-05	cristianrosa	Improve handling of WaitAny transitions.	commit \| commitdiff \| tree
2010-08-05	cristianrosa	Show more information on dead-lock'ed transitions	commit \| commitdiff \| tree
2010-08-03	cristianrosa	Tweak the handling of WaitAny transitions. It should...	commit \| commitdiff \| tree
2010-07-29	cristianrosa	Enable using the MC with SMPI	commit \| commitdiff \| tree
2010-07-29	cristianrosa	Fix a bug in the MC that enables running programs that...	commit \| commitdiff \| tree
2010-07-05	cristianrosa	Change dependence function to mimic the one in AVOCS...	commit \| commitdiff \| tree
2010-05-27	cristianrosa	Remove the transitions from the model-checker's setset...	commit \| commitdiff \| tree
2010-05-27	cristianrosa	Remove the reference count of the elements from the...	commit \| commitdiff \| tree
2010-05-27	cristianrosa	Improve setset iterator	commit \| commitdiff \| tree
2010-05-27	cristianrosa	Transform transitions of type "mc_waitany" into multiple...	commit \| commitdiff \| tree
2010-05-26	cristianrosa	Transform random transitions into multiple // transitions...	commit \| commitdiff \| tree
2010-05-26	cristianrosa	Add logging for transitions	commit \| commitdiff \| tree
2010-05-26	cristianrosa	Add MC support for processes with multiple enabled...	commit \| commitdiff \| tree
2010-05-26	cristianrosa	Bugfix: setset cursors were incorrectly implemented...	commit \| commitdiff \| tree
2010-05-21	cristianrosa	Improve support for WaitAny transitions, not usable...	commit \| commitdiff \| tree
2010-05-20	cristianrosa	Rework MC transition interception/creation. Now it...	commit \| commitdiff \| tree
2010-05-20	cristianrosa	Compile fix, size_t != int in 64 bits	commit \| commitdiff \| tree
2010-05-18	cristianrosa	Fix problem on merge from svn	commit \| commitdiff \| tree
2010-05-18	cristianrosa	Import portability macro in mmalloc	commit \| commitdiff \| tree
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