AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2014-04-29	Marion Guthmuller	model-checker : fix the detection of determinism	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-28	Gabriel Corona	[mc] Log some information for the prefiltering phase...	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-25	Gabriel Corona	[mc] Fix format strings	blob \| commitdiff \| raw \| diff to current
2014-02-25	Marion Guthmuller	model-checker : print comm pattern	blob \| commitdiff \| raw \| diff to current
2014-02-25	Marion Guthmuller	model-checker : use separate configuration flags for...	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 : new configuration flag for the detectio...	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : remove or comment some printf	blob \| commitdiff \| raw \| diff to current
2014-02-14	Gabriel Corona	[mc] Doxygen mc_dpor.c (and some mc_liveness.c)	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	Merge branch mc into mc-perf	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Disable communication pattern code (segfault)	blob \| commitdiff \| raw \| diff to current
2014-02-05	Arnaud Giersch	Add/update copyright notices.	blob \| commitdiff \| raw \| diff to current
2014-01-31	Gabriel Corona	[mc] Comment logging in order to fix the unit tests	blob \| commitdiff \| raw \| diff to current
2014-01-17	Marion Guthmuller	Merge remote-tracking branch 'origin/libdw2'	blob \| commitdiff \| raw \| diff to current
2014-01-16	Marion Guthmuller	model-checker : first steps for the study of MPI commun...	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-10-07	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-06	Marion Guthmuller	model-checker : fix memory leak in ddfs algorithm	blob \| commitdiff \| raw \| diff to current
2013-10-06	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-04	Marion Guthmuller	model-checker : ignore information about simix_global...	blob \| commitdiff \| raw \| diff to current
2013-10-04	Marion Guthmuller	model-checker : restore sequential system state compari...	blob \| commitdiff \| raw \| diff to current
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-28	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-06-19	Paul Bédaride	Merge branch 'master' into hypervisor	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-10	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	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	alebre	Merge branch 'master' into hypervisor	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-21	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-02-21	alebre	Merge with master and fix conflicts	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
next

Clone of SimGrid repository with local patches

RSS Atom