AND Public Git Repository - simgrid.git/history

2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	blob \| commitdiff \| raw
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