AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2014-06-03	Marion Guthmuller	model-checker : use the right heap	commit \| commitdiff \| tree
2014-06-03	Marion Guthmuller	model-checker : reword debug message	commit \| commitdiff \| tree
2014-06-03	Marion Guthmuller	model-checker : mc_dpor.c -> mc_safety.c	commit \| commitdiff \| tree
2014-06-03	Marion Guthmuller	model-checker : remove useless ignore	commit \| commitdiff \| tree
2014-06-03	Marion Guthmuller	model-checker : new tesh examples about communications...	commit \| commitdiff \| tree
2014-05-30	Marion Guthmuller	model-checker : fix comm determinism detection mechanisms	commit \| commitdiff \| tree
2014-05-30	Marion Guthmuller	model-checker : forget file	commit \| commitdiff \| tree
2014-05-30	Marion Guthmuller	model-checker : cleanups, refactoring and apply indent...	commit \| commitdiff \| tree
2014-05-30	Marion Guthmuller	model-checker : cosmetics in log message	commit \| commitdiff \| tree
2014-05-30	Marion Guthmuller	model-checker : improve error message	commit \| commitdiff \| tree
2014-05-13	Marion Guthmuller	model-checker : handle waitany simcall	commit \| commitdiff \| tree
2014-05-12	Marion Guthmuller	model-checker : complete comm pattern only after a...	commit \| commitdiff \| tree
2014-04-30	Marion Guthmuller	model-checker : disable mprotect on snapshots	commit \| commitdiff \| tree
2014-04-30	Marion Guthmuller	model-checker : remove KSM work -> doesn't work currently	commit \| commitdiff \| tree
2014-04-29	Marion Guthmuller	model-checker : restore previous version of smpi_finalize...	commit \| commitdiff \| tree
2014-04-29	Marion Guthmuller	model-checker : deal with the soundness of DPOR only...	commit \| commitdiff \| tree
2014-04-29	Marion Guthmuller	model-checker : fix the detection of determinism	commit \| commitdiff \| tree
2014-04-10	Marion Guthmuller	model-checker : add commande line in comment to run...	commit \| commitdiff \| tree
2014-04-10	Marion Guthmuller	model-checker : worst case considered for bugged1_liveness...	commit \| commitdiff \| tree
2014-04-05	Marion Guthmuller	model-checker : privatization_regions in snapshot may...	commit \| commitdiff \| tree
2014-03-28	Marion Guthmuller	model-checker : smpi mutual exclusion example	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom