AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2011-10-25	Marion Guthmuller	model checker : dfs algorithm corrected	blob \| commitdiff \| raw
2011-10-25	Marion Guthmuller	model-check : show stack when property not valid	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model check : acceptance cycle detection with automaton...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	détection de cycle d'acceptation ok mais boucle infinie...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	new dfs algorithm with automaton of LTL formula	blob \| commitdiff \| raw \| diff to current
2011-10-20	Martin Quinson	merge branches	blob \| commitdiff \| raw \| diff to current
2011-05-10	Arnaud Giersch	Define and use a function to run the processes to run.	blob \| commitdiff \| raw \| diff to current
2011-05-09	Arnaud Giersch	Change the handling of SIMIX requests in model checker...	blob \| commitdiff \| raw \| diff to current
2011-02-17	agiersch	Use new style logging macros.	blob \| commitdiff \| raw \| diff to current
2011-02-15	cristianrosa	Always show the MC statistics on exit.	blob \| commitdiff \| raw \| diff to current
2011-01-26	cristianrosa	Improve independence detection and request pretty printing.	blob \| commitdiff \| raw \| diff to current
2011-01-26	cristianrosa	Improve the show stack function. (Now it prints the...	blob \| commitdiff \| raw \| diff to current
2011-01-20	cristianrosa	Add a clock per process when running in MC mode.	blob \| commitdiff \| raw \| diff to current
2011-01-20	cristianrosa	Code refactor: move the functions associated to the...	blob \| commitdiff \| raw \| diff to current
2011-01-20	cristianrosa	Translate the executed TestAny and WaitAny requests...	blob \| commitdiff \| raw \| diff to current
2011-01-07	cristianrosa	Small bugfixes to stabilize the MC	blob \| commitdiff \| raw \| diff to current
2011-01-05	cristianrosa	Add suport for TestAny and WaitAny requests to the...	blob \| commitdiff \| raw \| diff to current
2011-01-05	cristianrosa	Replace the setsets in the MC's states by malloced...	blob \| commitdiff \| raw \| diff to current
2010-12-16	cristianrosa	Bugfix: correctly set/unset the raw memory when taking...	blob \| commitdiff \| raw \| diff to current
2010-12-13	cristianrosa	Use a dynar instead of a swag to implement the process_...	blob \| commitdiff \| raw \| diff to current
2010-12-09	cristianrosa	Remove the fork based checkpoint functionality.	blob \| commitdiff \| raw \| diff to current
2010-12-08	cristianrosa	Compile fix: smx_process_t->request is a s_smx_req_t...	blob \| commitdiff \| raw \| diff to current
2010-12-02	thiery	Cleaner detection of using model-checking.	blob \| commitdiff \| raw \| diff to current
2010-12-02	thiery	Rename two functions and a structure	blob \| commitdiff \| raw \| diff to current
2010-12-02	thiery	Biggest commit ever (SIMIX2): the user processes can...	blob \| commitdiff \| raw \| diff to current
2010-10-11	alegrand	Indent include and src using this command:	blob \| commitdiff \| raw \| diff to current
2010-05-27	cristianrosa	Remove the transitions from the model-checker's setset...	blob \| commitdiff \| raw \| diff to current
2010-05-26	cristianrosa	Transform random transitions into multiple // transitio...	blob \| commitdiff \| raw \| diff to current
2010-05-20	cristianrosa	Rework MC transition interception/creation. Now it...	blob \| commitdiff \| raw \| diff to current
2010-05-17	cristianrosa	Improve comments on examples	blob \| commitdiff \| raw \| diff to current
2010-05-17	cristianrosa	Bugfix: Do not copy the communication data in the model...	blob \| commitdiff \| raw \| diff to current
2010-05-14	cristianrosa	Free MC memory on exit SVN	blob \| commitdiff \| raw \| diff to current
2010-05-12	cristianrosa	Bugfix: delete the set of created transitions, otherwis...	blob \| commitdiff \| raw \| diff to current
2010-05-12	cristianrosa	Bugfix: fix memory leak related to transition creation...	blob \| commitdiff \| raw \| diff to current
2010-05-11	cristianrosa	Add int MC_random(int min, int max) function that will...	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Add the model-checker to the build tree. It's not used yet	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom