AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2012-01-13	Marion Guthmuller	model-checker : break forgotten in switch	blob \| commitdiff \| raw
2012-01-12	Marion Guthmuller	model-checker : add informations when log debug enabled	blob \| commitdiff \| raw \| diff to current
2012-01-12	Marion Guthmuller	model-checker : %zu instead of %Zu in printf	blob \| commitdiff \| raw \| diff to current
2012-01-11	Marion Guthmuller	merge conflicts resolved	blob \| commitdiff \| raw \| diff to current
2012-01-11	Marion Guthmuller	model-checker : more informations if log enabled for...	blob \| commitdiff \| raw \| diff to current
2012-01-10	Arnaud Giersch	Fix other "missing prototype" errors.	blob \| commitdiff \| raw \| diff to current
2012-01-10	Arnaud Giersch	Don't use printf modifier %Z. Use %z instead.	blob \| commitdiff \| raw \| diff to current
2012-01-09	Martin Quinson	Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	model-checker : clean code	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marion Guthmuller	model-checker : hash of regions in snapshot for reached...	blob \| commitdiff \| raw \| diff to current
2011-12-06	Marion Guthmuller	model-checker : reached_pairs changed to dynar	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	model-checker : visited_pairs and visited_pairs_hash...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	model-checker : comparison between two hash of regions...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	model-checker : hash of regions in snapshot stored...	blob \| commitdiff \| raw \| diff to current
2011-12-01	Marion Guthmuller	model-checker : args prgm and automaton changed in...	blob \| commitdiff \| raw \| diff to current
2011-12-01	Marion Guthmuller	model-checker : free memory	blob \| commitdiff \| raw \| diff to current
2011-11-30	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-28	Marion Guthmuller	model-checker : comparison of heap between two snapshot...	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	merge conflicts	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	model-checker : add snapshot of stack memory region...	blob \| commitdiff \| raw \| diff to current
2011-11-17	Marion Guthmuller	model-checker : stop exploration if there isn't evoluti...	blob \| commitdiff \| raw \| diff to current
2011-11-15	Marion Guthmuller	model-checker : free memory at the end of stateless...	blob \| commitdiff \| raw \| diff to current
2011-11-15	Marion Guthmuller	model-checker : detection of acceptance cycle when...	blob \| commitdiff \| raw \| diff to current
2011-11-14	Marion Guthmuller	model-checker : add region (data of program) in snapshot	blob \| commitdiff \| raw \| diff to current
2011-11-10	Marion Guthmuller	model-checker : MC_replay_liveness function extended...	blob \| commitdiff \| raw \| diff to current
2011-11-09	Marion Guthmuller	model-checker : new version of stateless double dfs...	blob \| commitdiff \| raw \| diff to current
2011-11-04	Marion Guthmuller	model-checker : last version (incorrect) of double...	blob \| commitdiff \| raw \| diff to current
2011-11-03	Marion Guthmuller	model-checker : more condition (state with processes...	blob \| commitdiff \| raw \| diff to current
2011-11-02	Marion Guthmuller	model-checker : change variable successors (local-...	blob \| commitdiff \| raw \| diff to current
2011-11-02	Marion Guthmuller	model-checker : memory leaks fixed in dfs algorithm...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : function to compare values of propositi...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : remove unused variables	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : function to compare propositional symbo...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : change printf for size_t variables	blob \| commitdiff \| raw \| diff to current
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