AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / mc_liveness.c

2011-10-25	Marion Guthmuller	model-checker : change printf for size_t variables	blob \| commitdiff \| raw
2011-10-25	Marion Guthmuller	model-checker : test data in libsimgrid memory region...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : add type in s_mc_mem_region (0=std_heap...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : nettoyage du code	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new comparison for reached pairs (autom...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new comparison of pair reached (automat...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : delete num in struct mc_pair_t	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : empty pair for stateless ddfs fixed	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new structure reached_pair_stateless...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : separate informations for safety statef...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : DPOR (independant transitions) algorith...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : separate dfs and dpor algorithms with...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : 128bits->160bits for hash of visited...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : restore interleaved process when restor...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : dfs with good restore snapshot	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : correction of dfs algorithm for livenes...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : test dpor without replay from initial...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : rename file mc_dfs -> mc_liveness	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom