Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : snapshot comparison with the types of variables and cleanup
[simgrid.git] / src / mc / mc_compare.c
2013-08-05 Marion Guthmullermodel-checker : snapshot comparison with the types...
2013-08-05 Marion Guthmullermodel-checker : comparison of number of processes and...
2013-07-01 acarpenaMerge branch 'dvfs'
2013-06-14 Guillaume SerrièreChange xbt_os_timer interface to handle cpu time, threa...
2013-04-15 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-04-01 Marion Guthmullermodel-checker : update state equality detection
2013-03-19 Marion Guthmullermodel-checker : cleanups
2013-03-16 Marion Guthmullermodel-checker : code refactoring
2013-03-16 Marion Guthmullermodel-checker : improve debug message
2013-03-16 Marion Guthmullermodel-checker : remove static function
2013-03-16 Marion Guthmullermodel-checker : get hash of local and global variables...
2013-03-16 Marion Guthmullermodel-checker : fix memory leak
2013-03-16 Marion Guthmullermodel-checker : cosmetics
2013-03-16 Marion Guthmullermodel-checker : cleanups in mc_snapshot structure
2013-03-16 Marion Guthmullermodel-checker : get instruction pointer and frame name...
2013-02-21 Arnaud GierschRemove useless statements.
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-05 Arnaud GierschMerge branch 'v3_9_x'
2013-02-02 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2013-01-31 Marion Guthmullermodel-checker : variable used ifdef MC_VERBOSE
2013-01-31 Marion Guthmullermodel-checker : start heap comparison from local variables
2013-01-31 Marion Guthmullermodel-checker : get bytes used in std_heap instead...
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-28 Marion Guthmullerunnecessary loop for the reset of the simcall args
2013-01-28 Marion Guthmullermodel-checker : reset args and result of simcalls in...
2013-01-25 Marion Guthmullermodel-checker : compare directly local variables found...
2013-01-25 Marion Guthmullermodel-checker : start canonicalizatipn in heap comparis...
2013-01-25 Marion Guthmullermodel-checker : cleanups for heap comparison from globa...
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2013-01-14 Marion Guthmullermodel-checker : use a global timer for snapshot compari...
2013-01-14 Marion Guthmullermodel-checker : add nb_processes in snapshot
2013-01-11 Marion Guthmullermodel-checker : free memory
2013-01-11 Marion Guthmullermodel-checker : add chunks used into snapshot structure...
2013-01-11 Marion Guthmullermodel-checker : free memory
2013-01-10 Marion Guthmullermodel-checker : fix memory free
2013-01-10 Marion Guthmullermodel-checker : free memory for stacks comparison
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-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
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-24 alebreMerge branch 'master' into vmtrace
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...