AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2013-10-04	Marion Guthmuller	model-checker : restore sequential system state compari...	blob \| commitdiff \| raw
2013-10-01	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-01	Marion Guthmuller	model-checker : parallel system state comparison for...	blob \| commitdiff \| raw \| diff to current
2013-09-26	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-09-25	Arnaud Giersch	Dig through git history, and update copyright lines.	blob \| commitdiff \| raw \| diff to current
2013-08-14	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-08-10	Marion Guthmuller	model-checker : fix DPOR with visited states reduction	blob \| commitdiff \| raw \| diff to current
2013-08-10	Marion Guthmuller	model-checker : fix dot_output with DPOR	blob \| commitdiff \| raw \| diff to current
2013-08-05	Marion Guthmuller	model-checker : new primitive MC_max_depth, to define...	blob \| commitdiff \| raw \| diff to current
2013-07-01	acarpena	Merge branch 'dvfs'	blob \| commitdiff \| raw \| diff to current
2013-06-13	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-06-13	Marion Guthmuller	model-checker : improve debug messages	blob \| commitdiff \| raw \| diff to current
2013-06-02	Marion Guthmuller	model-checker : fix dpor with dot_output	blob \| commitdiff \| raw \| diff to current
2013-05-31	Marion Guthmuller	model-checker : initialize variables	blob \| commitdiff \| raw \| diff to current
2013-05-31	Marion Guthmuller	model-checker : remove comment and add debug message	blob \| commitdiff \| raw \| diff to current
2013-05-31	Marion Guthmuller	model-checker : simplify algorithm for the verification...	blob \| commitdiff \| raw \| diff to current
2013-04-15	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Marion Guthmuller	model-checker : state at max depth may have none interl...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Marion Guthmuller	model-checker : create dot_output file after MC_do_the_...	blob \| commitdiff \| raw \| diff to current
2013-03-25	Marion Guthmuller	model-checker : variable declaration deleted with a...	blob \| commitdiff \| raw \| diff to current
2013-03-25	Marion Guthmuller	model-checker : add variable deleted before to resolve...	blob \| commitdiff \| raw \| diff to current
2013-03-25	Marion Guthmuller	model-checker : last fix in DPOR algorithm if max depth...	blob \| commitdiff \| raw \| diff to current
2013-03-25	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-03-25	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-03-21	Arnaud Giersch	Dumb commit: kill empty line.	blob \| commitdiff \| raw \| diff to current
2013-03-21	Arnaud Giersch	Kill unused variable.	blob \| commitdiff \| raw \| diff to current
2013-03-21	Marion Guthmuller	model-checker : use xbt_free_f instead of a new functio...	blob \| commitdiff \| raw \| diff to current
2013-03-21	Marion Guthmuller	model-checker : fix soundness of DPOR algorithm if...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Marion Guthmuller	model-checker : store heap_bytes_used and number of...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Marion Guthmuller	model-checker : cleanups	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : fix dpor	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : new model-checker configuration model...	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : return state number if the current...	blob \| commitdiff \| raw \| diff to current
2013-02-12	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-02-05	Arnaud Giersch	Merge branch 'v3_9_x'	blob \| commitdiff \| raw \| diff to current
2013-02-02	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2013-01-31	Marion Guthmuller	model-checker : start heap comparison from local variables	blob \| commitdiff \| raw \| diff to current
2013-01-31	Marion Guthmuller	model-checker : get bytes used in std_heap instead...	blob \| commitdiff \| raw \| diff to current
2013-01-30	Arnaud Giersch	Incorporate simgrid-java in simgrid-java/.	blob \| commitdiff \| raw \| diff to current
2013-01-17	Arnaud Giersch	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2013-01-16	Jonathan Rouzaud...	Merge with master	blob \| commitdiff \| raw \| diff to current
2013-01-16	Marion Guthmuller	model-checker : apply independance reduction at each...	blob \| commitdiff \| raw \| diff to current
2013-01-16	Marion Guthmuller	model-checker : minor fix in dpor algorithm	blob \| commitdiff \| raw \| diff to current
2013-01-14	Marion Guthmuller	model-checker : use a global timer for snapshot compari...	blob \| commitdiff \| raw \| diff to current
2013-01-11	Marion Guthmuller	model-checker : add chunks used into snapshot structure...	blob \| commitdiff \| raw \| diff to current
2013-01-03	Marion Guthmuller	model-checker : fix dichotomic search and insertion...	blob \| commitdiff \| raw \| diff to current
2013-01-03	Marion Guthmuller	model-checker : update list of visited states during...	blob \| commitdiff \| raw \| diff to current
2013-01-02	Marion Guthmuller	model-checker : fix sorting of visited states and state...	blob \| commitdiff \| raw \| diff to current
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-27	Jonathan Rouzaud...	update	blob \| commitdiff \| raw \| diff to current
2012-11-27	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	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
next

Clone of SimGrid repository with local patches

RSS Atom