AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2011-10-25	Marion Guthmuller	model-checker : nettoyage du code	blob \| commitdiff \| raw
2011-10-25	Marion Guthmuller	model-checker : new comparison for reached pairs (autom...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new comparison of pair reached (automat...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : delete visited in struct xbt_state_t...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : delete struct reached_pair_stateless...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : delete num in struct mc_pair_t	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new structure reached_pair_stateless...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	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 : 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	model-checker : dfs with good restore snapshot	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : correction of dfs algorithm for livenes...	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-25	Marion Guthmuller	MC LTL : add statistics	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-check : show stack when property not valid	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-10-25	Marion Guthmuller	model-check : show stack for acceptance cycle	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model check : acceptance cycle detection with automaton...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	détection de cycle d'acceptation ok mais boucle infinie...	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-10-20	Martin Quinson	merge branches	blob \| commitdiff \| raw \| diff to current
2011-05-18	Arnaud Giersch	[mc] Don't define variable "raw_heap_fd" twice.	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	Add a clock per process when running in MC mode.	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: 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-09	cristianrosa	Remove the fork based checkpoint functionality.	blob \| commitdiff \| raw \| diff to current
2010-12-02	thiery	Biggest commit ever (SIMIX2): the user processes can...	blob \| commitdiff \| raw \| diff to current
2010-10-11	alegrand	Indent include and src using this command:	blob \| commitdiff \| raw \| diff to current
2010-05-26	cristianrosa	Transform random transitions into multiple // transitio...	blob \| commitdiff \| raw \| diff to current
2010-05-20	cristianrosa	Rework MC transition interception/creation. Now it...	blob \| commitdiff \| raw \| diff to current
2010-05-14	cristianrosa	Free MC memory on exit SVN	blob \| commitdiff \| raw \| diff to current
2010-05-12	cristianrosa	Bugfix: fix memory leak related to transition creation...	blob \| commitdiff \| raw \| diff to current
2010-05-11	cristianrosa	Add int MC_random(int min, int max) function that will...	blob \| commitdiff \| raw \| diff to current
2010-05-06	mquinson	Fight for better integration of mmalloc, mc and xbt	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Let's still pass the tests with mmalloc and MC in the...	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Add the model-checker to the build tree. It's not used yet	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom