AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2013-10-04	Marion Guthmuller	model-checker : fix centralized mutex example	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : update bugged mutual exclusion algorithm	commit \| commitdiff \| tree
2013-10-04	Marion Guthmuller	model-checker : automaton state comparison removed...	commit \| commitdiff \| tree
2013-10-01	Marion Guthmuller	model-checker : fix memory leak	commit \| commitdiff \| tree
2013-10-01	Marion Guthmuller	model-checker : fix removal of a visited pair in liveness MC	commit \| commitdiff \| tree
2013-10-01	Marion Guthmuller	model-checker : parallel system state comparison for...	commit \| commitdiff \| tree
2013-09-30	Marion Guthmuller	model-checker : typo in NEWS file	commit \| commitdiff \| tree
2013-09-30	Marion Guthmuller	model-checker : update NEWS file	commit \| commitdiff \| tree
2013-09-30	Marion Guthmuller	model-checker : update Changelog	commit \| commitdiff \| tree
2013-09-29	Marion Guthmuller	model-checker : fix detection of dangling pointers...	commit \| commitdiff \| tree
2013-09-29	Marion Guthmuller	model-checker : fix bugged mutual exclusion example...	commit \| commitdiff \| tree
2013-09-29	Marion Guthmuller	model-checker : update system state comparison	commit \| commitdiff \| tree
2013-09-25	Marion Guthmuller	model-checker : init var	commit \| commitdiff \| tree
2013-09-25	Marion Guthmuller	model-checker : increase timeout	commit \| commitdiff \| tree
2013-09-24	Marion Guthmuller	model-checker : fix system state comparison (I hate...	commit \| commitdiff \| tree
2013-09-23	Marion Guthmuller	model-checker : add deployment file deploy_bugged1_liveness_...	commit \| commitdiff \| tree
2013-09-23	Marion Guthmuller	model-checker : add bugged1_liveness_visited.tesh in...	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : fix platform file path in tesh examples	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : new tesh example for liveness model...	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	forget to uncomment a part of code	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : parallel comparison of system states...	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : get size used (heapinfo meta-data)	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : minor fix in ddfs algorithm	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : fix bugged1_liveness example	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : --cfg=model-check/checkpoint is an...	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	increase timeout	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : else if instead of if{} if{}	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : init equal_to in mmalloc info	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : memory free and cleanup	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : update SMPI bugged mutual exclusion...	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : update MSG bugged mutual exclusion...	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : stop stack comparison before the context...	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : fix dot output for liveness MC	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom