Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix lua platform script
[simgrid.git] / src / mc / mc_compare.c
2013-01-01 Marion Guthmullermodel-checker : sorting of visited states according...
2012-12-06 Paul B├ędarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-06 Marion Guthmullermodel-checker : improve debug message if different...
2012-12-04 Marion Guthmullermodel-checker : ignore new variables
2012-12-04 Marion Guthmullermodel-checker : display instruction pointer if differen...
2012-12-02 Marion Guthmullermodel-checker : get global variables with objdump and...
2012-11-30 shensheiMerge ../simgrid
2012-11-28 shensheiChange simcall functions
2012-11-20 Marion Guthmullermodel-checker : ignore coverage variables
2012-11-18 Marion Guthmullermodel-checker : ignore some variables enabled with...
2012-11-15 Marion Guthmullermodel-checker : cleanups in verification of current...
2012-11-15 Marion Guthmullermodel-checker : comparison times are NULL for visited_pair
2012-11-12 Marion Guthmullermodel-checker : cosmetics on log message
2012-11-12 Marion Guthmullermodel-checker : Add statistics about comparison times...
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-11 Marion Guthmullermodel-checker : get times elapsed for snasphot comparison
2012-11-11 Marion Guthmullermodel-checker : add ignore mechanism for global variabl...
2012-11-11 Marion Guthmullermodel-checker : get start of libsimgrid bss segment...
2012-11-11 Marion Guthmullermodel-checker : typo
2012-11-09 Marion GuthmullerShake up snapshot comparison : apply a new order of...
2012-11-07 Marion Guthmullermodel-checker : initialize variables (compilation error...
2012-11-07 Marion Guthmullermodel-checker : improve debug information for stacks...
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison...
2012-10-27 Marion Guthmullermodel-checker : update debug information
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot...
2012-10-27 Marion Guthmullermodel-checker : let some debug information with XBT_INFO
2012-10-27 Marion Guthmullermodel-checker : display debug information with XBT_DEBU...
2012-10-27 Marion Guthmullermodel-checker : change MC_take_snapshot_liveness declar...
2012-10-27 Marion Guthmullermodel-checker : fix some memory leaks
2012-10-27 Marion Guthmullermodel-checker : ignore pointers on raw_heap in data...
2012-10-06 Marion Guthmullermodel-checker : ignore differences in data segment...
2012-10-06 Marion Guthmullermodel-checker : remove maestro stack from stack comparison
2012-10-05 Marion Guthmullermodel-checker : forget to remove unused variables
2012-10-05 Marion GuthmullerGet local variables in binary and libsimgrid.so and...
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global...
2012-10-05 Marion Guthmullermodel-checker : check if a difference detected in stack...
2012-10-05 Marion Guthmullermodel-checker : move functions about snapshot compariso...