AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2014-03-06	Marion Guthmuller	model-checker : minor fix	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
2013-08-13	Marion Guthmuller	model-checker : fix error compilation without MC	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : remove binary	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : create mc directory in smpi examples...	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : ignore in_use in s_smpi_mpi_datatype	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : fix ignore mechanism	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : ignore smpi timer	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	get size of struct s_xbt_os_timer	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : fix ignore global variable	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : remove unused variable	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : add debug message	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	init ret_val (MC compliant)	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : fix MC init in smpi_main	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : fix comparison of local variables	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : initialize equal_to in mmalloc heapinfo	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : extend ignore mechanism with new user...	commit \| commitdiff \| tree
2013-08-11	Marion Guthmuller	model-checker : remove fprintf -> XBT_DEBUG	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : update chord example for exhaustive...	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : udpate debug information	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : fix DPOR with visited states reduction	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : add min and max values for MC_RANDOM...	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : rename MC_max_depth(int prop) -> MC_cut()	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : fix dot_output with DPOR	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	update the other tesh for chord example	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	disable random lookup in Chord (tesh examples fail)	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	update chord.tesh	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : update CMakeLists	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove dead file	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove duplicated example chord	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	implement check_predecessor and random_lookup (periodic...	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	cosmetics	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove obsolete examples	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove dead code	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : new primitive MC_max_depth, to define...	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : update tesh files	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : fix DPOR with timeout	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : include simcall number in request_to_string	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : snapshot comparison with the types...	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : comparison of number of processes and...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : restore while statement for bugged1_liveness...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : update bugged1 and bugged2 tesh (different...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : MC doesn't work with thread context	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom