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
Update doc for install section.
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
2012-04-20
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-04-20
Marion Guthmuller
model-checker : separate bugged1_liveness (deleted...
commit
|
commitdiff
|
tree
2012-04-03
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-04-02
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-03-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-03-27
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-03-27
Marion Guthmuller
model-checker : new example test_snapshot to check...
commit
|
commitdiff
|
tree
2012-03-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-03-15
Marion Guthmuller
model-checker : change log category name
commit
|
commitdiff
|
tree
2012-03-15
Marion Guthmuller
model-checker : get offset for each different byte...
commit
|
commitdiff
|
tree
2012-03-15
Marion Guthmuller
model-checker : hamming distance computed for each...
commit
|
commitdiff
|
tree
2012-03-07
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-03-07
Marion Guthmuller
model-checker : display backtrace for busy fragments...
commit
|
commitdiff
|
tree
2012-03-07
Marion Guthmuller
model-checker : SMALLEST_POSSIBLE_MALLOC increased
commit
|
commitdiff
|
tree
2012-02-28
Marion Guthmuller
model-checker : add backtrace for each fragment allocated...
commit
|
commitdiff
|
tree
2012-02-28
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-02-28
Marion Guthmuller
model-checker : only reindent, no real change (safe...
commit
|
commitdiff
|
tree
2012-02-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-02-23
Marion Guthmuller
model-checker : example bugged2_liveness modified
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
model-checker : memcmp on space really used in fragment
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
model-checker : remove arg std_heap_addr in mmalloc_compare_...
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
model-checker : add backtrace when large block(s) mallocated...
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
model-checker : function mmalloc_compare_mdesc rewritten...
commit
|
commitdiff
|
tree
2012-02-21
Marion Guthmuller
model-checker: remove subcategory log unused
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
model-checker : merge conflict resolved
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
remove function MC_take_snapshot_to_restore_liveness
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
.
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
model-checker : fix compilation error
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
merge conflict resolved
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
model-checker : new function (rdv_points_compare) to...
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
model-checker : more debug information
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
model-checker : add address of std_heap into debug...
commit
|
commitdiff
|
tree
2012-01-30
Marion Guthmuller
model-checker : get rdv_points in simix for comparison...
commit
|
commitdiff
|
tree
2012-01-29
Marion Guthmuller
model-checker : more debug informations in function...
commit
|
commitdiff
|
tree
2012-01-19
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-01-19
Marion Guthmuller
unused example chord_stateful removed
commit
|
commitdiff
|
tree
2012-01-13
Marion Guthmuller
Merge branch 'MC_LTL'
commit
|
commitdiff
|
tree
2012-01-13
Marion Guthmuller
model-checker : new function MC_diff to display all...
commit
|
commitdiff
|
tree
2012-01-13
Marion Guthmuller
model-checker : break forgotten in switch
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : add informations when log debug enabled
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : prototypes of static functions moved
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : prototypes of unused functions removed
commit
|
commitdiff
|
tree
2012-01-12
Marion Guthmuller
model-checker : %zu instead of %Zu in printf
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
merge conflicts resolved
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
model-checker : more informations if log enabled for...
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
model-checker : add example centralized_liveness in...
commit
|
commitdiff
|
tree
2012-01-11
Marion Guthmuller
model-checker : new example for liveness properties
commit
|
commitdiff
|
tree
2012-01-10
Marion Guthmuller
model-checker : bugged2_liveness with promela of LTL...
commit
|
commitdiff
|
tree
2012-01-10
Marion Guthmuller
model-checker : new LTL property for bugged2_liveness...
commit
|
commitdiff
|
tree
2012-01-09
Marion Guthmuller
model-checker : add comments for the example bugged2_liveness
commit
|
commitdiff
|
tree
2012-01-09
Marion Guthmuller
model-checker : new examples for verification of liveness...
commit
|
commitdiff
|
tree
2012-01-05
Marion Guthmuller
model-checker : warnings fixed
commit
|
commitdiff
|
tree
2011-12-13
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-12-13
Marion Guthmuller
model-checker : clean code
commit
|
commitdiff
|
tree
2011-12-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-12-07
Marion Guthmuller
model-checker : hash of regions in snapshot for reached...
commit
|
commitdiff
|
tree
2011-12-07
Marion Guthmuller
model-checker : more requests of CS per process in...
commit
|
commitdiff
|
tree
2011-12-06
Marion Guthmuller
model-checker : block 0 (mdp->heapinfo[0]) removed...
commit
|
commitdiff
|
tree
2011-12-06
Marion Guthmuller
model-checker : reached_pairs changed to dynar
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
model-checker : visited_pairs and visited_pairs_hash...
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
model-checker : comparison between two hash of regions...
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
commit
|
commitdiff
|
tree
2011-12-05
Marion Guthmuller
model-checker : hash of regions in snapshot stored...
commit
|
commitdiff
|
tree
2011-12-01
Marion Guthmuller
model-checker : args prgm and automaton changed in...
commit
|
commitdiff
|
tree
next