Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : first steps for the study of MPI communications patterns
2014-01-16 Marion Guthmullermodel-checker : first steps for the study of MPI communicati...
commit | commitdiff | tree
2013-10-24 Marion Guthmullermodel-checker : update tesh files
 commit | commitdiff | tree
2013-10-24 Marion Guthmullermodel-checker : print depth of the counter-example...
commit | commitdiff | tree
2013-10-08 Marion Guthmullermodel-checker : avoid unnecessary snapshot restore
 commit | commitdiff | tree
2013-10-06 Marion Guthmullermodel-checker : update tesh file
 commit | commitdiff | tree
2013-10-06 Marion Guthmullermodel-checker : fix memory leak in ddfs algorithm
 commit | commitdiff | tree
2013-10-05 Marion Guthmullermodel-checker : cleanup
 commit | commitdiff | tree
2013-10-05 Marion Guthmullermodel-checker : fix memory leak
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : ignore information about simix_global...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : update tesh files
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : ignore information about simix_global
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : set comm to NULL before creating them...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : copy/paste error
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : fix detection of pointers on a fragment...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : ignore process_to_run and process_that_ran...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : dangling pointer set to NULL
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : set SMPI request to NULL before creating...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : improve ignore mechanism for complete...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : restore sequential system state comparison...
commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : fix sort of acceptance pairs
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : add debug message
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : ignore some information for system...
commit | commitdiff | tree
2013-10-04 Marion Guthmullerinit request real_src
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : detect pointers on a part of a fragment
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : fix centralized mutex example
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : update bugged mutual exclusion algorithm
 commit | commitdiff | tree
2013-10-04 Marion Guthmullermodel-checker : automaton state comparison removed...
commit | commitdiff | tree
2013-10-01 Marion Guthmullermodel-checker : fix memory leak
 commit | commitdiff | tree
2013-10-01 Marion Guthmullermodel-checker : fix removal of a visited pair in liveness MC
 commit | commitdiff | tree
2013-10-01 Marion Guthmullermodel-checker : parallel system state comparison for...
commit | commitdiff | tree
2013-09-30 Marion Guthmullermodel-checker : typo in NEWS file
 commit | commitdiff | tree
2013-09-30 Marion Guthmullermodel-checker : update NEWS file
 commit | commitdiff | tree
2013-09-30 Marion Guthmullermodel-checker : update Changelog
 commit | commitdiff | tree
2013-09-29 Marion Guthmullermodel-checker : fix detection of dangling pointers...
commit | commitdiff | tree
2013-09-29 Marion Guthmullermodel-checker : fix bugged mutual exclusion example...
commit | commitdiff | tree
2013-09-29 Marion Guthmullermodel-checker : update system state comparison
 commit | commitdiff | tree
2013-09-25 Marion Guthmullermodel-checker : init var
 commit | commitdiff | tree
2013-09-25 Marion Guthmullermodel-checker : increase timeout
 commit | commitdiff | tree
2013-09-24 Marion Guthmullermodel-checker : fix system state comparison (I hate...
commit | commitdiff | tree
2013-09-23 Marion Guthmullermodel-checker : add deployment file deploy_bugged1_liveness_...
commit | commitdiff | tree
2013-09-23 Marion Guthmullermodel-checker : add bugged1_liveness_visited.tesh in...
commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : fix platform file path in tesh examples
 commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : new tesh example for liveness model...
commit | commitdiff | tree
2013-09-21 Marion Guthmullerforget to uncomment a part of code
 commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : parallel comparison of system states...
commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : get size used (heapinfo meta-data)
 commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : minor fix in ddfs algorithm
 commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : fix bugged1_liveness example
 commit | commitdiff | tree
2013-09-21 Marion Guthmullermodel-checker : --cfg=model-check/checkpoint is an...
commit | commitdiff | tree
2013-08-14 Marion Guthmullerincrease timeout
 commit | commitdiff | tree
2013-08-14 Marion Guthmullermodel-checker : else if instead of if{} if{}
 commit | commitdiff | tree
2013-08-14 Marion Guthmullermodel-checker : init equal_to in mmalloc info
 commit | commitdiff | tree
2013-08-14 Marion Guthmullermodel-checker : memory free and cleanup
 commit | commitdiff | tree
2013-08-14 Marion Guthmullermodel-checker : update SMPI bugged mutual exclusion...
commit | commitdiff | tree
2013-08-14 Marion Guthmullermodel-checker : update MSG bugged mutual exclusion...
commit | commitdiff | tree
2013-08-14 Marion Guthmullermodel-checker : stop stack comparison before the context...
commit | commitdiff | tree
2013-08-13 Marion Guthmullermodel-checker : fix dot output for liveness MC
 commit | commitdiff | tree
2013-08-13 Marion Guthmullermodel-checker : fix error compilation without MC
 commit | commitdiff | tree
2013-08-13 Marion Guthmullermodel-checker : remove binary
 commit | commitdiff | tree
2013-08-13 Marion Guthmullermodel-checker : create mc directory in smpi examples...
commit | commitdiff | tree
2013-08-13 Marion Guthmullermodel-checker : ignore in_use in s_smpi_mpi_datatype
 commit | commitdiff | tree
2013-08-13 Marion Guthmullermodel-checker : fix ignore mechanism
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : ignore smpi timer
 commit | commitdiff | tree
2013-08-12 Marion Guthmullerget size of struct s_xbt_os_timer
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : fix ignore global variable
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : remove unused variable
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : add debug message
 commit | commitdiff | tree
2013-08-12 Marion Guthmullerinit ret_val (MC compliant)
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : fix MC init in smpi_main
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : fix comparison of local variables
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : initialize equal_to in mmalloc heapinfo
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : memory free
 commit | commitdiff | tree
2013-08-12 Marion Guthmullermodel-checker : extend ignore mechanism with new user...
commit | commitdiff | tree
2013-08-11 Marion Guthmullermodel-checker : remove fprintf -> XBT_DEBUG
 commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : update tesh
 commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : update chord example for exhaustive...
commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : udpate debug information
 commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : fix DPOR with visited states reduction
 commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : add min and max values for MC_RANDOM...
commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : rename MC_max_depth(int prop) -> MC_cut()
 commit | commitdiff | tree
2013-08-10 Marion Guthmullermodel-checker : fix dot_output with DPOR
 commit | commitdiff | tree
2013-08-05 Marion Guthmullerupdate the other tesh for chord example
 commit | commitdiff | tree
2013-08-05 Marion Guthmullerdisable random lookup in Chord (tesh examples fail)
 commit | commitdiff | tree
2013-08-05 Marion Guthmullerupdate chord.tesh
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : update CMakeLists
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : remove dead file
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : remove duplicated example chord
 commit | commitdiff | tree
2013-08-05 Marion Guthmullerimplement check_predecessor and random_lookup (periodic...
commit | commitdiff | tree
2013-08-05 Marion Guthmullercosmetics
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : remove obsolete examples
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : remove dead code
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : new primitive MC_max_depth, to define...
commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : update tesh files
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : fix DPOR with timeout
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : include simcall number in request_to_string
 commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : snapshot comparison with the types...
commit | commitdiff | tree
2013-08-05 Marion Guthmullermodel-checker : comparison of number of processes and...
commit | commitdiff | tree
2013-06-13 Marion Guthmullermodel-checker : restore while statement for bugged1_liveness...
commit | commitdiff | tree
2013-06-13 Marion Guthmullermodel-checker : update bugged1 and bugged2 tesh (different...
commit | commitdiff | tree
2013-06-13 Marion Guthmullermodel-checker : MC doesn't work with thread context
 commit | commitdiff | tree
next
Clone of SimGrid repository with local patches