AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2013-01-02	Marion Guthmuller	model-checker : fix sorting of visited states and state...	blob \| commitdiff \| raw
2013-01-01	Marion Guthmuller	model-checker : sorting of visited states according...	blob \| commitdiff \| raw \| diff to current
2012-12-20	Marion Guthmuller	model-checker : fix dpor with state equality reduction	blob \| commitdiff \| raw \| diff to current
2012-12-20	Marion Guthmuller	model-checker : remove restriction of DPOR if several...	blob \| commitdiff \| raw \| diff to current
2012-12-18	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-12-17	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-12-17	Paul Bédaride	Restructure config headers	blob \| commitdiff \| raw \| diff to current
2012-12-17	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-12-16	Marion Guthmuller	model-checker : interleave all enabled processes for...	blob \| commitdiff \| raw \| diff to current
2012-12-10	Marion Guthmuller	model-checker : fix dpor algorithm if max depth reached	blob \| commitdiff \| raw \| diff to current
2012-11-20	Marion Guthmuller	model-checker : rename cfg flag for state comparison...	blob \| commitdiff \| raw \| diff to current
2012-11-17	Marion Guthmuller	model-checker : stop independance reduction if same...	blob \| commitdiff \| raw \| diff to current
2012-11-16	Marion Guthmuller	model-checker : fix dpor algorithm	blob \| commitdiff \| raw \| diff to current
2012-11-15	Marion Guthmuller	model-checker : factorize code for safety and liveness...	blob \| commitdiff \| raw \| diff to current
2012-11-15	Marion Guthmuller	model-checker : warning message if max depth is reached	blob \| commitdiff \| raw \| diff to current
2012-11-15	Marion Guthmuller	model-checker : cleanups in verification of current...	blob \| commitdiff \| raw \| diff to current
2012-11-13	Marion Guthmuller	model-checker : new cfg command line flag (model-check...	blob \| commitdiff \| raw \| diff to current
2012-07-10	Marion Guthmuller	model-checker : remove unnecessary take_snapshot for...	blob \| commitdiff \| raw \| diff to current
2012-06-27	Marion Guthmuller	model-checker : check current_heap before SET_RAW_MEM...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Martin Quinson	Cleanups in the --cfg options regarding model-checking	blob \| commitdiff \| raw \| diff to current
2012-06-21	jean-noel quintin	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-06-21	Marion Guthmuller	model-checker : fix debug message	blob \| commitdiff \| raw \| diff to current
2012-06-21	Marion Guthmuller	model-checker : end of cleanup for stateful and statele...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Marion Guthmuller	model-checker : unused variable	blob \| commitdiff \| raw \| diff to current
2012-06-21	Marion Guthmuller	model-checker : factorization of code for model-checkin...	blob \| commitdiff \| raw \| diff to current
2012-06-20	suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-20	Marion Guthmuller	model-checker : cosmetics reindent	blob \| commitdiff \| raw \| diff to current
2012-06-20	suter	Solve white space conflicts	blob \| commitdiff \| raw \| diff to current
2012-06-20	Martin Quinson	sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Marion Guthmuller	model-checker : move print statistics if property is...	blob \| commitdiff \| raw \| diff to current
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	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-09	Martin Quinson	Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...	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-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-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-10-25	Marion Guthmuller	model-checker : nettoyage du code	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 : one more condition before interleaving...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : add condition of invisibility to reduce...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new structure mc_pair_prop_t and backup...	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	new dfs algorithm with automaton of LTL formula	blob \| commitdiff \| raw \| diff to current
2011-02-17	agiersch	Use new style logging macros.	blob \| commitdiff \| raw \| diff to current
2011-01-26	cristianrosa	Debug generation clean-ups.	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-20	cristianrosa	Code refactor: move the functions associated to the...	blob \| commitdiff \| raw \| diff to current
2011-01-20	cristianrosa	Improve debug information for waitany and testany requests.	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: deadlock detection was wrong. Reimplemented.	blob \| commitdiff \| raw \| diff to current
2010-12-15	cristianrosa	Answer the request as the last action on it (it will...	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	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-08-05	cristianrosa	Show more information on dead-lock'ed transitions	blob \| commitdiff \| raw \| diff to current
2010-08-03	cristianrosa	Tweak the handling of WaitAny transitions. It should...	blob \| commitdiff \| raw \| diff to current
2010-07-29	cristianrosa	Fix a bug in the MC that enables running programs that...	blob \| commitdiff \| raw \| diff to current
2010-05-26	cristianrosa	Transform random transitions into multiple // transitio...	blob \| commitdiff \| raw \| diff to current
2010-05-26	cristianrosa	Add MC support for processes with multiple enabled...	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	Add dead-lock detection to MC	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