AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2011-10-25	Marion Guthmuller	model-checker : empty pair for stateless ddfs fixed	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new structure reached_pair_stateless...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : separate informations for safety stateful...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new example bugged1 for stateful dpor	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : one more condition before interleaving...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : add condition of invisibility to reduce...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new structure mc_pair_prop_t and backup...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : DPOR (independant transitions) algorithm...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : separate dfs and dpor algorithms with...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : example changed	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : 128bits->160bits for hash of visited...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : restore interleaved process when restore...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : dfs with good restore snapshot	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : correction of dfs algorithm for liveness...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : test dpor without replay from initial...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : rename file mc_dfs -> mc_liveness	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	MC LTL : last version dfs algorithm before reduction	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	MC LTL : add statistics	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model checker : dfs algorithm corrected	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-check : show stack when property not valid	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-check : dump stack for acceptance cycle	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-check : show stack for acceptance cycle	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model check : acceptance cycle detection with automaton...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	détection de cycle d'acceptation ok mais boucle infinie...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	correction compile warnings	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	start new example with parsing lex/yacc of automaton...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	include new files struct automaton for cmake	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	new dfs algorithm with automaton of LTL formula	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	new struct automaton	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom