A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model-checker : MC_ignore_init in MSG for ucontext
2012-08-08
Marion Guthmuller
model-checker : MC_ignore_init in MSG for ucontext
commit
|
commitdiff
|
tree
2012-08-02
Marion Guthmuller
model-checker : add block and fragment number in mc_ignore_r...
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : count ignore done in heap comparison...
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : sort ignore list and dichotomic search
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : ignore stack_top of maestro context...
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : init list of irrelevant differences...
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : forget case of comparison in heap comparison...
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : ignore irrelevant differences for heap...
commit
|
commitdiff
|
tree
2012-08-01
Marion Guthmuller
model-checker : remove unused function
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : add debug information about pointers...
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : free memory
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : use bprintf instead of sprintf
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : ignore differences of pointers in ...
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : cleanup for heap comparison
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : update tests for snapshot comparison
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : remove core dump for each reached pair
commit
|
commitdiff
|
tree
2012-07-30
Marion Guthmuller
model-checker : cleanup on mc_checkpoint
commit
|
commitdiff
|
tree
2012-07-25
Marion Guthmuller
model-checker : cleanups for liveness property model...
commit
|
commitdiff
|
tree
2012-07-25
Marion Guthmuller
model-checker : new heap comparison algorithm
commit
|
commitdiff
|
tree
2012-07-16
Marion Guthmuller
model-checker : #ifdef instead of #if (found by Cristian...
commit
|
commitdiff
|
tree
2012-07-16
Marion Guthmuller
model-checker : add new pair reached in raw_heap
commit
|
commitdiff
|
tree
2012-07-16
Marion Guthmuller
model-checker : add new pair reached even if compare==0
commit
|
commitdiff
|
tree
2012-07-12
Marion Guthmuller
model-checker : remove unnecessary memset on free fragments...
commit
|
commitdiff
|
tree
2012-07-12
Marion Guthmuller
model-checker : comment MC_compare
commit
|
commitdiff
|
tree
2012-07-11
Marion Guthmuller
model-checker : application alert for state equality...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : new recursive function for comparison...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : malloc_backtrace_display functions...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : heapinfo adresses refer to saved heap...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : remove header of unused function
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : heapinfo address in parameter of malloc_back...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : update example bugged1_liveness (variable...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : memset 0 on free block/fragment
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : factorization of set_pair_reached and...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : remove useless code
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : update backtrace display
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : remove unused function
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : remove unnecessary take_snapshot for...
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : initialize variables
commit
|
commitdiff
|
tree
2012-07-10
Marion Guthmuller
model-checker : remove useless code
commit
|
commitdiff
|
tree
2012-07-04
Marion Guthmuller
model-checker : use rename() instead of system(mv ..)
commit
|
commitdiff
|
tree
2012-07-03
Marion Guthmuller
model-checker : use abort() instead of a hack for core...
commit
|
commitdiff
|
tree
2012-07-03
Marion Guthmuller
model-checker : typo
commit
|
commitdiff
|
tree
2012-07-03
Marion Guthmuller
model-checker : create core dump without termination...
commit
|
commitdiff
|
tree
2012-07-03
Marion Guthmuller
model-checker : pointer detection fixed
commit
|
commitdiff
|
tree
2012-07-03
Marion Guthmuller
model-checker : copyright header for safety properties...
commit
|
commitdiff
|
tree
2012-07-02
Marion Guthmuller
model-checker: sed 's/m_task_t/msg_task_t/g' on MC...
commit
|
commitdiff
|
tree
2012-07-02
Marion Guthmuller
model-checker : extend pointer detection in heap comparison...
commit
|
commitdiff
|
tree
2012-07-02
Marion Guthmuller
model-checker : remove unnecessary test
commit
|
commitdiff
|
tree
2012-06-29
Marion Guthmuller
model-checker : tests for snapshot comparison
commit
|
commitdiff
|
tree
2012-06-29
Marion Guthmuller
model-checker : test unit removed
commit
|
commitdiff
|
tree
2012-06-29
Marion Guthmuller
model-checker : move functions about snapshot comparison...
commit
|
commitdiff
|
tree
2012-06-29
Marion Guthmuller
model-checker : get fragment number like in realloc...
commit
|
commitdiff
|
tree
2012-06-27
Marion Guthmuller
model-checker : update supernovae files (automaton_create...
commit
|
commitdiff
|
tree
2012-06-27
Marion Guthmuller
model-checker : detect valid block or fragment pointer...
commit
|
commitdiff
|
tree
2012-06-27
Marion Guthmuller
model-checker : check current_heap before SET_RAW_MEM...
commit
|
commitdiff
|
tree
2012-06-26
Marion Guthmuller
model-checker : keep one bugged1 example for liveness...
commit
|
commitdiff
|
tree
2012-06-26
Marion Guthmuller
model-checker : update list of examples in CMakeLists
commit
|
commitdiff
|
tree
2012-06-26
Marion Guthmuller
model-checker : remove unused examples
commit
|
commitdiff
|
tree
2012-06-26
Marion Guthmuller
model-checker : cosmetics reindent
commit
|
commitdiff
|
tree
2012-06-22
Marion Guthmuller
model-checker : keep MC_request_to_string in std heap
commit
|
commitdiff
|
tree
2012-06-22
Marion Guthmuller
model-checker : detect pointers on valid fragment in...
commit
|
commitdiff
|
tree
2012-06-22
Marion Guthmuller
model-checker : update tesh with new cleanups done...
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : update name of generated_files
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : comment storage of visited pairs
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : fix debug message
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : end of cleanup for stateful and stateless...
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : update examples with new function MSG_init
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : unused variable
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker : factorization of code for model-checking...
commit
|
commitdiff
|
tree
2012-06-21
Marion Guthmuller
model-checker: remove unused examples
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : remove unused example
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : new surf configuration mc-checkpoint
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
Revert "model-checker : add new surf configuration...
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : add new surf configuration mc-checkpoint
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : cosmetics, tab forgotten
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : cosmetics reindent
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : cosmetics reindent
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : cosmectics reindent and unnecessary...
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : detect pointers on valid blocks in...
commit
|
commitdiff
|
tree
2012-06-20
Marion Guthmuller
model-checker : memset 0 on block/fragment allocated...
commit
|
commitdiff
|
tree
2012-06-19
Marion Guthmuller
model-checker : fixme about initialization
commit
|
commitdiff
|
tree
2012-06-19
Marion Guthmuller
model-checker : remove unused code and update debug...
commit
|
commitdiff
|
tree
2012-06-19
Marion Guthmuller
model-checker : add stats in mmalloc
commit
|
commitdiff
|
tree
2012-06-19
Marion Guthmuller
model-checker : cosmetics reindent
commit
|
commitdiff
|
tree
2012-06-18
Marion Guthmuller
model-checker : update tesh examples with last modifications...
commit
|
commitdiff
|
tree
2012-06-18
Marion Guthmuller
model-checker : add debug messages
commit
|
commitdiff
|
tree
2012-06-18
Marion Guthmuller
model-checker : assert on block/fragment address in...
commit
|
commitdiff
|
tree
2012-06-18
Marion Guthmuller
model-checker : unnecessary comments removed
commit
|
commitdiff
|
tree
2012-06-15
Marion Guthmuller
model-checker : remove clone file
commit
|
commitdiff
|
tree
2012-06-15
Marion Guthmuller
model-checker : remove unused files in examples/ms/mc
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
resolve merge conflict
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : examples updated with new lex and yacc...
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : lex and yacc parsing moved in src/xbt...
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : remove unused files
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : remove unnecessary include in lex file
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : add header (description, copyright...
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : add header (description, copyright...
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : comment unused variable
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : get end heap with field breakval in...
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : move print statistics if property is...
commit
|
commitdiff
|
tree
next