AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2014-06-27	Gabriel Corona	Merge branch 'mc'	blob \| commitdiff \| raw
2014-05-30	Marion Guthmuller	model-checker : cleanups, refactoring and apply indent...	blob \| commitdiff \| raw
2014-04-22	Stéphane Castelli	Merge branch 'smpi-topo'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-21	Gabriel Corona	Merge branch 'mc++'	blob \| commitdiff \| raw \| diff to current
2014-03-06	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-28	Gabriel Corona	Merge branch 'mc++' into mc-merge	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge bugfix from branch mc-refactor	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge branches 'mc'	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge 'master' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge branch 'mc-perf' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : conflit	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : try to fix the model-checker in case...	blob \| commitdiff \| raw \| diff to current
2014-02-05	Arnaud Giersch	Add/update copyright notices.	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge tag 'v3_9_90' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-10-30	Paul Bédaride	Merge commit '045db1657e870c721be490b411868f4181a12ced...	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 : add min and max values for MC_RANDOM...	blob \| commitdiff \| raw \| diff to current
2013-04-10	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-04-02	alebre	Merge branch 'master' into hypervisor	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
2013-01-11	Marion Guthmuller	model-checker : free memory	blob \| commitdiff \| raw \| diff to current
2012-12-10	Marion Guthmuller	model-checker : forget one fix in MC_state_set_executed...	blob \| commitdiff \| raw \| diff to current
2012-12-10	Marion Guthmuller	model-checker : restore previous version of MC_state_se...	blob \| commitdiff \| raw \| diff to current
2012-12-03	Marion Guthmuller	model-checker : fix MC_state_set_executed_request	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-16	Marion Guthmuller	model-checker : fix dpor algorithm	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 : factorization of code for model-checkin...	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-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	MC LTL : add statistics	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-check : dump stack for acceptance cycle	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	Improve independence detection and request pretty printing.	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: correctly set the process to MC_DONE once the...	blob \| commitdiff \| raw \| diff to current
2011-01-20	cristianrosa	Bugfix: every state should also save a copy of 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-05	cristianrosa	Add suport for TestAny and WaitAny requests to the...	blob \| commitdiff \| raw \| diff to current
2011-01-05	cristianrosa	Rework state's implementation to better support waitany...	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-08	cristianrosa	Compile fix: smx_process_t->request is a s_smx_req_t...	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