AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2012-02-22	Arnaud Giersch	Fix more format strings and parameters.	blob \| commitdiff \| raw
2012-01-30	Marion Guthmuller	model-checker : merge conflict resolved	blob \| commitdiff \| raw \| diff to current
2012-01-30	Martin Quinson	add proper copyright headers to the MC files	blob \| commitdiff \| raw \| diff to current
2012-01-30	Martin Quinson	mv src/mc/private.h src/mc/mc_private.h	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	model-checker : fix compilation error	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	merge conflict resolved	blob \| commitdiff \| raw \| diff to current
2012-01-25	Christophe Thiéry	SIMIX refactoring: replace 'request' by a more precise...	blob \| commitdiff \| raw \| diff to current
2012-01-16	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2012-01-13	Marion Guthmuller	Merge branch 'MC_LTL'	blob \| commitdiff \| raw \| diff to current
2012-01-13	Marion Guthmuller	model-checker : new function MC_diff to display all...	blob \| commitdiff \| raw \| diff to current
2012-01-13	Martin Quinson	Merge branch 'MC_LTL'	blob \| commitdiff \| raw \| diff to current
2012-01-12	Marion Guthmuller	model-checker : prototypes of static functions moved	blob \| commitdiff \| raw \| diff to current
2012-01-11	Marion Guthmuller	merge conflicts resolved	blob \| commitdiff \| raw \| diff to current
2012-01-10	Arnaud Giersch	Fix other "missing prototype" errors.	blob \| commitdiff \| raw \| diff to current
2012-01-09	Martin Quinson	Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...	blob \| commitdiff \| raw \| diff to current
2011-12-26	Martin Quinson	merge back the master trunk into the smpi branch	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	model-checker : clean code	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-01	Marion Guthmuller	model-checker : args prgm and automaton changed in...	blob \| commitdiff \| raw \| diff to current
2011-11-30	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	merge conflicts	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	model-checker : add snapshot of stack memory region...	blob \| commitdiff \| raw \| diff to current
2011-11-14	Marion Guthmuller	model-checker : add name of program in arguments of...	blob \| commitdiff \| raw \| diff to current
2011-11-14	Arnaud Giersch	Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...	blob \| commitdiff \| raw \| diff to current
2011-11-10	Marion Guthmuller	model-checker : MC_replay_liveness function extended...	blob \| commitdiff \| raw \| diff to current
2011-11-09	Marion Guthmuller	model-checker : pair without request executed not repla...	blob \| commitdiff \| raw \| diff to current
2011-11-04	Marion Guthmuller	model-checker : last version (incorrect) of double...	blob \| commitdiff \| raw \| diff to current
2011-11-03	Marion Guthmuller	model-checker : more condition (state with processes...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : nettoyage du code	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : separate informations for safety statef...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new example bugged1 for stateful dpor	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : DPOR (independant transitions) algorith...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : separate dfs and dpor algorithms with...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : correction of dfs algorithm for livenes...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : test dpor without replay from initial...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	MC LTL : add statistics	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model checker : dfs algorithm corrected	blob \| commitdiff \| raw \| diff to current
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-13	Pierre-Nicolas Clauss	Merge back master branch.	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