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
set value -1 in unsigned short cannot work fine ...
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
2012-06-14
Marion Guthmuller
model-checker : fix std_heap address for heap comparison...
commit
|
commitdiff
|
tree
2012-06-14
Marion Guthmuller
model-checker : in second test unit, snapshot comparison...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : get std_heap with mmalloc_get_current_heap...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : new test unit for snapshot comparison
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : remove unused argument in functions...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : add total hamming distance for heap...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : test unit for snapshot comparison
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : unused variables deleted
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : remove unnecessary get_memory_map_addr...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : update include file
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : remove binary name as argument of some...
commit
|
commitdiff
|
tree
2012-06-13
Marion Guthmuller
model-checker : print statistics in all cases (property...
commit
|
commitdiff
|
tree
2012-06-12
Marion Guthmuller
model-checker : comment unused statistics information
commit
|
commitdiff
|
tree
2012-06-12
Marion Guthmuller
model-checker : warnings compilation fixed
commit
|
commitdiff
|
tree
2012-06-12
Marion Guthmuller
fix merge conflict
commit
|
commitdiff
|
tree
2012-06-12
Marion Guthmuller
model-checker : fix number and address of blocks in...
commit
|
commitdiff
|
tree
2012-06-11
Marion Guthmuller
model-checker : remove useless memcmp in heap comparison...
commit
|
commitdiff
|
tree
2012-06-09
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-06-09
Marion Guthmuller
model-checker : heap comparison algorithm rewrited
commit
|
commitdiff
|
tree
2012-06-08
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-06-06
Marion Guthmuller
typos in message of backtrace display (where malloced...
commit
|
commitdiff
|
tree
2012-06-03
Marion Guthmuller
model-checker : XBT_DEBUG replaced by XBT_INFO
commit
|
commitdiff
|
tree
2012-06-03
Marion Guthmuller
model-checker : new properties in promela for centralized_li...
commit
|
commitdiff
|
tree
2012-06-03
Marion Guthmuller
model-checker : new examples
commit
|
commitdiff
|
tree
2012-06-03
Marion Guthmuller
model-checker : free pointers
commit
|
commitdiff
|
tree
2012-06-03
Marion Guthmuller
model-checker : free pointers
commit
|
commitdiff
|
tree
2012-06-03
Marion Guthmuller
model-checker : initialize pointer and update indice...
commit
|
commitdiff
|
tree
2012-06-02
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-06-02
Marion Guthmuller
model-checker : free pointer
commit
|
commitdiff
|
tree
2012-06-02
Marion Guthmuller
model-checker : initialize pointers (segfault with...
commit
|
commitdiff
|
tree
2012-06-02
Marion Guthmuller
model-checker : add pair's number in struct mc_pair_reached...
commit
|
commitdiff
|
tree
2012-06-02
Marion Guthmuller
model-checker : free pointers
commit
|
commitdiff
|
tree
2012-06-01
Marion Guthmuller
model-checker : oops, about 3000 blocks unchecked in...
commit
|
commitdiff
|
tree
2012-06-01
Marion Guthmuller
model-checker : first work for canonicalisation (get...
commit
|
commitdiff
|
tree
2012-05-30
Marion Guthmuller
model-checker : remove unused variable CS_PER_PROCESS
commit
|
commitdiff
|
tree
2012-05-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-05-29
Marion Guthmuller
model-checker : replace all XBT_DEBUG by XBT_INFO
commit
|
commitdiff
|
tree
2012-05-24
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-05-24
Marion Guthmuller
model-checker : reindent, no change
commit
|
commitdiff
|
tree
2012-05-24
Marion Guthmuller
model-checker : switch between data program and data...
commit
|
commitdiff
|
tree
2012-05-24
Marion Guthmuller
model-checker : fclose forgotten in get_memory_map_addr
commit
|
commitdiff
|
tree
2012-05-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-05-23
Marion Guthmuller
model-checker : function get_addr_memory_map rewrited...
commit
|
commitdiff
|
tree
2012-05-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-05-23
Marion Guthmuller
compilation errors (optimizations and model checking...
commit
|
commitdiff
|
tree
2012-05-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-05-21
Marion Guthmuller
model-checker : get location of pointed address in...
commit
|
commitdiff
|
tree
2012-05-11
Marion Guthmuller
model-checker : parser for dwarf file (to complete...
commit
|
commitdiff
|
tree
2012-05-03
Marion Guthmuller
add SIMIX_host_get/set_data declaration in simix.h...
commit
|
commitdiff
|
tree
2012-05-03
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-05-03
Marion Guthmuller
model-checker : new comparison of region (program data...
commit
|
commitdiff
|
tree
2012-04-27
Marion Guthmuller
model-checker : remove meta-data of heap in comparison...
commit
|
commitdiff
|
tree
2012-04-20
Marion Guthmuller
model-checker : get pointer address for bytes detected...
commit
|
commitdiff
|
tree
2012-04-20
Marion Guthmuller
model-checker : change XBT_DEBUG for fprintf
commit
|
commitdiff
|
tree
2012-04-20
Marion Guthmuller
model-checker : reindent, no change
commit
|
commitdiff
|
tree
next