AND Public Git Repository - simgrid.git/history - include/simgrid/modelchecker.h

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / include / simgrid / modelchecker.h

2013-03-16	Marion Guthmuller	model-checker : fix MC_RANDOM simcall	blob \| commitdiff \| raw
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-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	Move config from surf to simgrid	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-10-27	Marion Guthmuller	model-checker : New public functions to take a snapshot...	blob \| commitdiff \| raw \| diff to current
2012-10-24	alebre	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2012-10-17	Arnaud Giersch	Use function-like macros instead of inline functions...	blob \| commitdiff \| raw \| diff to current
2012-10-16	Martin Quinson	s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...	blob \| commitdiff \| raw \| diff to current
2012-09-27	Jonathan Rouzaud...	Merge conflicts in instr_routing.c	blob \| commitdiff \| raw \| diff to current
2012-08-01	Marion Guthmuller	model-checker : remove unused function	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	Martin Quinson	Various cleanups to the model-checking user interface	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-06-14	Marion Guthmuller	resolve merge conflict	blob \| commitdiff \| raw \| diff to current
2012-06-14	Marion Guthmuller	model-checker : lex and yacc parsing moved in src/xbt...	blob \| commitdiff \| raw \| diff to current
2012-02-08	Arnaud Giersch	Those are already declared in ./include/simgrid/modelch...	blob \| commitdiff \| raw \| diff to current
2012-02-08	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2012-02-08	Martin Quinson	kill duplicate definitions, and try to ensure that...	blob \| commitdiff \| raw \| diff to current
2012-02-08	Martin Quinson	move a public header in the simgrid/ directory to fight...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom