Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get start of libsimgrid bss segment for MC_ignore mechanism
[simgrid.git] / src / mc / mc_compare.c
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...