AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2015-02-26	Marion Guthmuller	model-checker : mutex owner may be NULL after UNLOCK	commit \| commitdiff \| tree
2015-02-25	Marion Guthmuller	model-checker : initialize variable	commit \| commitdiff \| tree
2015-02-25	Marion Guthmuller	model-checker : clang compliant	commit \| commitdiff \| tree
2015-02-25	Marion Guthmuller	model-checker : removed tesh forgotten in DefinePackages...	commit \| commitdiff \| tree
2015-02-25	Marion Guthmuller	model-checker : include MUTEX_LOCK and UNLOCK in dot...	commit \| commitdiff \| tree
2015-02-25	Marion Guthmuller	model-checker : really (?) fix SIMCALL_MUTEX_LOCK and...	commit \| commitdiff \| tree
2015-02-25	Marion Guthmuller	model-checker : fix SIMCALL_MUTEX_LOCK with MC	commit \| commitdiff \| tree
2015-02-24	Marion Guthmuller	model-checker : extend comm determinism verification	commit \| commitdiff \| tree
2015-02-24	Marion Guthmuller	model-checker : new files forgotten	commit \| commitdiff \| tree
2015-02-24	Marion Guthmuller	model-checker : non-progressive cycle detection (enabled...	commit \| commitdiff \| tree
2015-02-13	Marion Guthmuller	model-checker : include tag in comm determinism verification	commit \| commitdiff \| tree
2015-02-10	Marion Guthmuller	model-checker : intermediate backtracking enabled if...	commit \| commitdiff \| tree
2015-02-10	Marion Guthmuller	model-checker : memory leak	commit \| commitdiff \| tree
2015-02-09	Marion Guthmuller	model-checker : revalidate tesh	commit \| commitdiff \| tree
2015-02-09	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree
2015-02-09	Marion Guthmuller	model-checker : non-recursive liveness algorithm	commit \| commitdiff \| tree
2015-02-09	Marion Guthmuller	model-checker : intermediate backtracking with model...	commit \| commitdiff \| tree
2015-02-09	Marion Guthmuller	model-checker : communications determinism with visited...	commit \| commitdiff \| tree
2014-12-10	Marion Guthmuller	fix dot output with file descriptor checkpoint/restore	commit \| commitdiff \| tree
2014-11-04	Marion Guthmuller	model-checker : comment debug printf	commit \| commitdiff \| tree
2014-11-04	Marion Guthmuller	model-checker : save and restore file descriptors	commit \| commitdiff \| tree
2014-09-09	Marion Guthmuller	model-checker : disable smpi bench timer if MC enabled	commit \| commitdiff \| tree
2014-07-03	Marion Guthmuller	don't destroy detached comm from the sender side during...	commit \| commitdiff \| tree
2014-07-03	Marion Guthmuller	fix debug message (wrong buffer was printed)	commit \| commitdiff \| tree
2014-07-03	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2014-07-03	Marion Guthmuller	model-checker : cosmetic in log message	commit \| commitdiff \| tree
2014-07-03	Marion Guthmuller	model-checker : check dict content before removing...	commit \| commitdiff \| tree
2014-07-03	Marion Guthmuller	model-checker : remove useless condition	commit \| commitdiff \| tree
2014-06-27	Marion Guthmuller	model-checker : fix visited states reduction with comm...	commit \| commitdiff \| tree
2014-06-27	Marion Guthmuller	model-checker : if no inttypes found in c++	commit \| commitdiff \| tree
2014-06-26	Marion Guthmuller	model-checker : minor fix in comments	commit \| commitdiff \| tree
2014-06-26	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2014-06-26	Marion Guthmuller	model-checker : visited states reduction available...	commit \| commitdiff \| tree
2014-06-23	Marion Guthmuller	model-checker : clarify comments	commit \| commitdiff \| tree
2014-06-04	Marion Guthmuller	model-checker : use new variable _sg_mc_liveness instead...	commit \| commitdiff \| tree
2014-06-04	Marion Guthmuller	model-checker : remove useless debug message and add...	commit \| commitdiff \| tree
2014-06-04	Marion Guthmuller	model-checker : compare the pid of enabled processes...	commit \| commitdiff \| tree
2014-06-04	Marion Guthmuller	model-checker : fix backtracking with comm determinism...	commit \| commitdiff \| tree
2014-06-03	Marion Guthmuller	model-checker : comment erroneous ignore (not completely...	commit \| commitdiff \| tree
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