AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2013-08-05	Marion Guthmuller	model-checker : fix DPOR with timeout	blob \| commitdiff \| raw
2013-08-05	Marion Guthmuller	model-checker : include simcall number in request_to_string	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 : fix (again ..) DPOR for iSend/iRecv...	blob \| commitdiff \| raw \| diff to current
2013-06-08	Marion Guthmuller	model-checker : free memory	blob \| commitdiff \| raw \| diff to current
2013-06-08	Marion Guthmuller	model-checker : fix dot output for smpi examples	blob \| commitdiff \| raw \| diff to current
2013-06-08	Marion Guthmuller	model-checker : add information in counter-example...	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-03	Marion Guthmuller	model-checker : display address of communication in...	blob \| commitdiff \| raw \| diff to current
2013-04-03	Marion Guthmuller	model-checker : iSend/iRecv independent with Wait but...	blob \| commitdiff \| raw \| diff to current
2013-04-01	Marion Guthmuller	model-checker : restore independence between iSend...	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 : new model-checker configuration model...	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : fix MC_RANDOM simcall	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : new simcall MC_RANDOM	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
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-10	Marion Guthmuller	model-checker : remove independance between iSend/iRecv...	blob \| commitdiff \| raw \| diff to current
2012-12-02	Marion Guthmuller	model-checker : remove independance between iRecv and...	blob \| commitdiff \| raw \| diff to current
2012-11-30	shenshei	Merge ../simgrid	blob \| commitdiff \| raw \| diff to current
2012-11-30	shenshei	New simcalls work	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-15	Marion Guthmuller	model-checker : fix dependance theorem according to...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-11-08	Marion Guthmuller	model-checker : enable WaitTimeout requests only if...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : New public functions to take a snapshot...	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-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-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-11	Marion Guthmuller	merge conflicts resolved	blob \| commitdiff \| raw \| diff to current
2012-01-10	Arnaud Giersch	Fix test, and remove duplicated checks.	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 : test dpor without replay from initial...	blob \| commitdiff \| raw \| diff to current
2011-10-20	Martin Quinson	merge branches	blob \| commitdiff \| raw \| diff to current
2011-04-20	Christophe Thiéry	MC: make the output independent of the type of processo...	blob \| commitdiff \| raw \| diff to current
2011-04-08	Pierre-Nicolas Clauss	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2011-04-08	Navarrop	Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1...	blob \| commitdiff \| raw \| diff to current
2011-04-07	Christophe Thiéry	MC: perform actual model-checking in tesh tests	blob \| commitdiff \| raw \| diff to current
2011-03-24	agiersch	Replace, when possible, calls to bprintf() by calls...	blob \| commitdiff \| raw \| diff to current
2011-03-21	thiery	Fix a comparison between different enums	blob \| commitdiff \| raw \| diff to current
2011-02-15	cristianrosa	If --cfg=model-check:2 was passed, use a DFS exploration.	blob \| commitdiff \| raw \| diff to current
2011-02-04	schnorr	model-check output more parsable	blob \| commitdiff \| raw \| diff to current
2011-01-26	cristianrosa	Bugfix: return testany requests' result when they succe...	blob \| commitdiff \| raw \| diff to current
2011-01-26	cristianrosa	Bugfix: the dependence relation between isend/irecv...	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	Let the model-checker decide if the wait transitions...	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	Bugfix: do not compare comm actions to decide if they...	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-20	cristianrosa	Bugfix: do not assume that request of different type...	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
2010-12-16	cristianrosa	Improve the debugging information	blob \| commitdiff \| raw \| diff to current
2010-12-02	thiery	Biggest commit ever (SIMIX2): the user processes can...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom