A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model-checker : free memory for stacks comparison
[simgrid.git]
/
src
/
mc
/
mc_compare.c
2013-01-10
Marion Guthmuller
model-checker : free memory for stacks comparison
blob
|
commitdiff
|
raw
2013-01-01
Marion Guthmuller
model-checker : sorting of visited states according...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-06
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-06
Marion Guthmuller
model-checker : improve debug message if different...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Marion Guthmuller
model-checker : ignore new variables
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Marion Guthmuller
model-checker : display instruction pointer if differen...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-02
Marion Guthmuller
model-checker : get global variables with objdump and...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-30
shenshei
Merge ../simgrid
blob
|
commitdiff
|
raw
|
diff to current
2012-11-28
shenshei
Change simcall functions
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Marion Guthmuller
model-checker : ignore coverage variables
blob
|
commitdiff
|
raw
|
diff to current
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-15
Marion Guthmuller
model-checker : cleanups in verification of current...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-15
Marion Guthmuller
model-checker : comparison times are NULL for visited_pair
blob
|
commitdiff
|
raw
|
diff to current
2012-11-12
Marion Guthmuller
model-checker : cosmetics on log message
blob
|
commitdiff
|
raw
|
diff to current
2012-11-12
Marion Guthmuller
model-checker : Add statistics about comparison times...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-12
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-11
Marion Guthmuller
model-checker : get times elapsed for snasphot comparison
blob
|
commitdiff
|
raw
|
diff to current
2012-11-11
Marion Guthmuller
model-checker : add ignore mechanism for global variabl...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-11
Marion Guthmuller
model-checker : get start of libsimgrid bss segment...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-11
Marion Guthmuller
model-checker : typo
blob
|
commitdiff
|
raw
|
diff to current
2012-11-09
Marion Guthmuller
Shake up snapshot comparison : apply a new order of...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-07
Marion Guthmuller
model-checker : initialize variables (compilation error...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-07
Marion Guthmuller
model-checker : improve debug information for stacks...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-07
Marion Guthmuller
model-checker : add ignore mechanism for comparison...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : update debug information
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : New public functions to take a snapshot...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : let some debug information with XBT_INFO
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : display debug information with XBT_DEBU...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : change MC_take_snapshot_liveness declar...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : fix some memory leaks
blob
|
commitdiff
|
raw
|
diff to current
2012-10-27
Marion Guthmuller
model-checker : ignore pointers on raw_heap in data...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Marion Guthmuller
model-checker : ignore differences in data segment...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Marion Guthmuller
model-checker : remove maestro stack from stack comparison
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
Marion Guthmuller
model-checker : forget to remove unused variables
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
Marion Guthmuller
Get local variables in binary and libsimgrid.so and...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
Marion Guthmuller
model-checker : extend MC_ignore mechanism for global...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
Marion Guthmuller
model-checker : check if a difference detected in stack...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
Marion Guthmuller
model-checker : move functions about snapshot compariso...
blob
|
commitdiff
|
raw
|
diff to current