AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2012-01-10	Marion Guthmuller	model-checker : bugged2_liveness with promela of LTL...	commit \| commitdiff \| tree
2012-01-10	Marion Guthmuller	model-checker : new LTL property for bugged2_liveness...	commit \| commitdiff \| tree
2012-01-09	Marion Guthmuller	model-checker : add comments for the example bugged2_liveness	commit \| commitdiff \| tree
2012-01-09	Marion Guthmuller	model-checker : new examples for verification of liveness...	commit \| commitdiff \| tree
2012-01-05	Marion Guthmuller	model-checker : warnings fixed	commit \| commitdiff \| tree
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-12-13	Marion Guthmuller	model-checker : clean code	commit \| commitdiff \| tree
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-12-07	Marion Guthmuller	model-checker : hash of regions in snapshot for reached...	commit \| commitdiff \| tree
2011-12-07	Marion Guthmuller	model-checker : more requests of CS per process in...	commit \| commitdiff \| tree
2011-12-06	Marion Guthmuller	model-checker : block 0 (mdp->heapinfo[0]) removed...	commit \| commitdiff \| tree
2011-12-06	Marion Guthmuller	model-checker : reached_pairs changed to dynar	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	model-checker : visited_pairs and visited_pairs_hash...	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	model-checker : comparison between two hash of regions...	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	model-checker : hash of regions in snapshot stored...	commit \| commitdiff \| tree
2011-12-01	Marion Guthmuller	model-checker : args prgm and automaton changed in...	commit \| commitdiff \| tree
2011-12-01	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2011-12-01	Marion Guthmuller	model-checker : new function MC_take_snapshot_to_restore_liv...	commit \| commitdiff \| tree
2011-11-30	Marion Guthmuller	model-checker : all heapstats except total size of...	commit \| commitdiff \| tree
2011-11-30	Marion Guthmuller	model-checker : remove comparison of heapstats between...	commit \| commitdiff \| tree
2011-11-30	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-11-30	Marion Guthmuller	model-checker : number of CS request per process reduced...	commit \| commitdiff \| tree
2011-11-30	Marion Guthmuller	model-checker : heap compared block by block or fragment...	commit \| commitdiff \| tree
2011-11-30	Marion Guthmuller	model-checker : remove stack from regions added in...	commit \| commitdiff \| tree
2011-11-28	Marion Guthmuller	model-checker : comparison of heap between two snapshots...	commit \| commitdiff \| tree
2011-11-28	Marion Guthmuller	model-checker : remove test useless before free(line)	commit \| commitdiff \| tree
2011-11-22	Marion Guthmuller	model-checker : close file /proc/self/maps at the end...	commit \| commitdiff \| tree
2011-11-22	Marion Guthmuller	merge conflicts	commit \| commitdiff \| tree
2011-11-22	Marion Guthmuller	model-checker : add snapshot of stack memory region...	commit \| commitdiff \| tree
2011-11-17	Marion Guthmuller	model-checker : examples changed	commit \| commitdiff \| tree
2011-11-17	Marion Guthmuller	model-checker : detection of pair already visited with...	commit \| commitdiff \| tree
2011-11-17	Marion Guthmuller	model-checker : stop exploration if there isn't evolution...	commit \| commitdiff \| tree
2011-11-15	Marion Guthmuller	model-checker : free memory at the end of stateless...	commit \| commitdiff \| tree
2011-11-15	Marion Guthmuller	model-checker : detection of acceptance cycle when...	commit \| commitdiff \| tree
2011-11-14	Marion Guthmuller	model-checker : add region (data of program) in snapshot	commit \| commitdiff \| tree
2011-11-14	Marion Guthmuller	model-checker : add name of program in arguments of...	commit \| commitdiff \| tree
2011-11-10	Marion Guthmuller	model-checker : MC_replay_liveness function extended...	commit \| commitdiff \| tree
2011-11-09	Marion Guthmuller	model-checker : example for detection of acceptance...	commit \| commitdiff \| tree
2011-11-09	Marion Guthmuller	model-checker : new version of stateless double dfs...	commit \| commitdiff \| tree
2011-11-09	Marion Guthmuller	model-checker : add number of requests executed for...	commit \| commitdiff \| tree
2011-11-09	Marion Guthmuller	model-checker : pair without request executed not replay...	commit \| commitdiff \| tree
2011-11-07	Marion Guthmuller	model-checker : add new MAX_DEPTH_LIVENESS with verification...	commit \| commitdiff \| tree
2011-11-04	Marion Guthmuller	model-checker : last version (incorrect) of double...	commit \| commitdiff \| tree
2011-11-03	Marion Guthmuller	model-checker : more condition (state with processes...	commit \| commitdiff \| tree
2011-11-03	Marion Guthmuller	model-checker: new examples for liveness model checking	commit \| commitdiff \| tree
2011-11-02	Marion Guthmuller	model-checker : add or remove debug information	commit \| commitdiff \| tree
2011-11-02	Marion Guthmuller	model-checker : change variable successors (local-...	commit \| commitdiff \| tree
2011-11-02	Marion Guthmuller	model-checker : memory leaks fixed in dfs algorithm...	commit \| commitdiff \| tree
2011-10-28	Marion Guthmuller	model-checker : function mmalloc_compare_mdesc fixed...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : function to compare values of propositional...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : remove unused variables	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : function to compare propositional symbol...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : change printf for size_t variables	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : test data in libsimgrid memory region...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new functions to compare mmalloc in...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : add type in s_mc_mem_region (0=std_heap...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : add files for examples	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : nettoyage du code	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new comparison for reached pairs (automaton...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new comparison of pair reached (automaton...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : delete visited in struct xbt_state_t...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : delete struct reached_pair_stateless...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : delete num in struct mc_pair_t	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : empty pair for stateless ddfs fixed	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new structure reached_pair_stateless...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : separate informations for safety stateful...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new example bugged1 for stateful dpor	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : one more condition before interleaving...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : add condition of invisibility to reduce...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : new structure mc_pair_prop_t and backup...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : DPOR (independant transitions) algorithm...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : separate dfs and dpor algorithms with...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : example changed	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : 128bits->160bits for hash of visited...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : restore interleaved process when restore...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : dfs with good restore snapshot	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : correction of dfs algorithm for liveness...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : test dpor without replay from initial...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-checker : rename file mc_dfs -> mc_liveness	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	MC LTL : last version dfs algorithm before reduction	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	MC LTL : add statistics	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model checker : dfs algorithm corrected	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-check : show stack when property not valid	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-check : dump stack for acceptance cycle	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model-check : show stack for acceptance cycle	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	model check : acceptance cycle detection with automaton...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	détection de cycle d'acceptation ok mais boucle infinie...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	correction compile warnings	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	start new example with parsing lex/yacc of automaton...	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	include new files struct automaton for cmake	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	new dfs algorithm with automaton of LTL formula	commit \| commitdiff \| tree
2011-10-25	Marion Guthmuller	new struct automaton	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom