AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2015-02-26	Marion Guthmuller	model-checker : MUTEX_UNLOCK is invisible for MC	commit \| commitdiff \| tree
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
2014-03-06	Marion Guthmuller	model-checker : minor fix	commit \| commitdiff \| tree
2014-02-25	Marion Guthmuller	model-checker : smpi examples for the communication...	commit \| commitdiff \| tree
2014-02-25	Marion Guthmuller	model-checker : print comm pattern	commit \| commitdiff \| tree
2014-02-25	Marion Guthmuller	model-checker : use separate configuration flags for...	commit \| commitdiff \| tree
2014-02-25	Marion Guthmuller	model-checker : check if action not NULL before using it	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : conflit	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : minor fix	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : new configuration flag for the detection...	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : remove or comment some printf	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : fix comm destroy for send detached...	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : try to fix the model-checker in case...	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : wait with timeout is always dependant...	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	fix debug log	commit \| commitdiff \| tree
2014-02-18	Marion Guthmuller	model-checker : use MC_assert instead of assert for...	commit \| commitdiff \| tree
2014-01-17	Marion Guthmuller	Merge remote-tracking branch 'origin/libdw2'	commit \| commitdiff \| tree
2014-01-16	Marion Guthmuller	model-checker : first steps for the study of MPI communicati...	commit \| commitdiff \| tree
2013-10-24	Marion Guthmuller	model-checker : update tesh files	commit \| commitdiff \| tree
2013-10-24	Marion Guthmuller	model-checker : print depth of the counter-example...	commit \| commitdiff \| tree
2013-10-08	Marion Guthmuller	model-checker : avoid unnecessary snapshot restore	commit \| commitdiff \| tree
2013-10-06	Marion Guthmuller	model-checker : update tesh file	commit \| commitdiff \| tree
2013-10-06	Marion Guthmuller	model-checker : fix memory leak in ddfs algorithm	commit \| commitdiff \| tree
2013-10-05	Marion Guthmuller	model-checker : cleanup	commit \| commitdiff \| tree
2013-10-05	Marion Guthmuller	model-checker : fix memory leak	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : ignore information about simix_global...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : update tesh files	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : ignore information about simix_global	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : set comm to NULL before creating them...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : copy/paste error	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : fix detection of pointers on a fragment...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : ignore process_to_run and process_that_ran...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : dangling pointer set to NULL	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : set SMPI request to NULL before creating...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : improve ignore mechanism for complete...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : restore sequential system state comparison...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : fix sort of acceptance pairs	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : add debug message	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : ignore some information for system...	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	init request real_src	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : detect pointers on a part of a fragment	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom