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
Change simcall functions
2012-11-28
Marion Guthmuller
model-checker : init result of simcalls for snapshot...
commit
|
commitdiff
|
tree
2012-11-28
Marion Guthmuller
model-checker : try first to associate each block or...
commit
|
commitdiff
|
tree
2012-11-27
Marion Guthmuller
model-checker : remove unnecessary step
commit
|
commitdiff
|
tree
2012-11-27
Marion Guthmuller
model-checker : equal_to field of blocks/fragments...
commit
|
commitdiff
|
tree
2012-11-27
Marion Guthmuller
modelc-checker : reset list of blocks/fragments pairs...
commit
|
commitdiff
|
tree
2012-11-27
Marion Guthmuller
model-checker : init equal_to field to -1 for each...
commit
|
commitdiff
|
tree
2012-11-27
Marion Guthmuller
model-checker : set size used to 0 when free fragment
commit
|
commitdiff
|
tree
2012-11-22
Marion Guthmuller
model-checker : increase timeout in tesh chord_neverjoin
commit
|
commitdiff
|
tree
2012-11-22
Marion Guthmuller
model-checker : increase timeout in tesh snapshot_comparison...
commit
|
commitdiff
|
tree
2012-11-21
Marion Guthmuller
model-checker: take snapshot if property file set
commit
|
commitdiff
|
tree
2012-11-21
Marion Guthmuller
model-checker : abort if acceptance cycle detected
commit
|
commitdiff
|
tree
2012-11-21
Marion Guthmuller
model-checker : remove automatic activation of MC if...
commit
|
commitdiff
|
tree
2012-11-20
Marion Guthmuller
model-checker : new tesh for snapshot comparison tests
commit
|
commitdiff
|
tree
2012-11-20
Marion Guthmuller
model-checker : rename cfg flag for state comparison...
commit
|
commitdiff
|
tree
2012-11-20
Marion Guthmuller
model-checker : use xbt_cfg_setdefault instead of default_va...
commit
|
commitdiff
|
tree
2012-11-20
Marion Guthmuller
model-checker : ignore coverage variables
commit
|
commitdiff
|
tree
2012-11-20
Marion Guthmuller
model-checker : abort if popen failed
commit
|
commitdiff
|
tree
2012-11-19
Marion Guthmuller
model-checker : fix compilation error (with optimizations...
commit
|
commitdiff
|
tree
2012-11-18
Marion Guthmuller
model-checker : add tesh for bugged1_liveness and chord_neve...
commit
|
commitdiff
|
tree
2012-11-18
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
commit
|
commitdiff
|
tree
2012-11-18
Marion Guthmuller
model-checker : fix insertion in mc_data_bss_comparion
commit
|
commitdiff
|
tree
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
commit
|
commitdiff
|
tree
2012-11-18
Marion Guthmuller
model-checker : improve stack ignore in heap comparison...
commit
|
commitdiff
|
tree
2012-11-18
Marion Guthmuller
model-checker : stateful mode disabled by default
commit
|
commitdiff
|
tree
2012-11-17
Marion Guthmuller
model-checker : stop independance reduction if same...
commit
|
commitdiff
|
tree
2012-11-16
Marion Guthmuller
model-checker : ignore new local variable
commit
|
commitdiff
|
tree
2012-11-16
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
commit
|
commitdiff
|
tree
2012-11-16
Marion Guthmuller
model-checker : MC_init() must be called for initial...
commit
|
commitdiff
|
tree
2012-11-16
Marion Guthmuller
model-checker : fix dpor algorithm
commit
|
commitdiff
|
tree
2012-11-16
Marion Guthmuller
forget to apply cleanups in MC on SMPI (separate MC_modelche...
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : factorize code for safety and liveness...
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : fix dependance theorem according to...
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : warning message if max depth is reached
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : cleanups in verification of current...
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : comparison times are NULL for visited_pair
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : fix segfault in get_local_variables_values()
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : create subdir for chord example with...
commit
|
commitdiff
|
tree
2012-11-15
Marion Guthmuller
model-checker : store last visited states during exploration
commit
|
commitdiff
|
tree
2012-11-13
Marion Guthmuller
model-checker : new cfg command line flag (model-check...
commit
|
commitdiff
|
tree
2012-11-12
Marion Guthmuller
model-checker : cosmetics on log message
commit
|
commitdiff
|
tree
2012-11-12
Marion Guthmuller
model-checker : Add statistics about comparison times...
commit
|
commitdiff
|
tree
2012-11-11
Marion Guthmuller
model-checker : remove chunks used comparison at the...
commit
|
commitdiff
|
tree
2012-11-11
Marion Guthmuller
model-checker : unset raw heap after display of statistics...
commit
|
commitdiff
|
tree
2012-11-11
Marion Guthmuller
model-checker : get times elapsed for snasphot comparison
commit
|
commitdiff
|
tree
2012-11-11
Marion Guthmuller
model-checker : add ignore mechanism for global variables...
commit
|
commitdiff
|
tree
2012-11-11
Marion Guthmuller
model-checker : get start of libsimgrid bss segment...
commit
|
commitdiff
|
tree
2012-11-11
Marion Guthmuller
model-checker : typo
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
Shake up snapshot comparison : apply a new order of...
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
model-checker : remove unnecessary comment
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
model-checker : move creation of initial_state_liveness...
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
model-checker : add size of stack in parameter of the...
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
model-checker : getter function for chunks used in...
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
model-checker : use statistics already included in...
commit
|
commitdiff
|
tree
2012-11-09
Marion Guthmuller
model-checker : initialize global variables
commit
|
commitdiff
|
tree
2012-11-08
Marion Guthmuller
model-checker : enable WaitTimeout requests only if...
commit
|
commitdiff
|
tree
2012-11-08
Marion Guthmuller
model-checker : new command line flag (model-check...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : initialize variables (compilation error...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : add debug information on processes...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker: add chord example for liveness property...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : initialize global variable ignore_done...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : remove backtracking if no more request...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : comment trigger for state equality...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : improve debug information for stacks...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : add local variables from xbt/ex.h in...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : ignore some local variables from xbt...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : update examples for test snapshot comparison
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : verification of current_heap
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : add ignore mechanism for comparison...
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : remove declaration of unused function
commit
|
commitdiff
|
tree
2012-11-07
Marion Guthmuller
model-checker : fix dynar index in algorithm to get...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : update second parameter of mmorecore...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : store initial snapshot in structure...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : don't call exit at the end of MC (segfault...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : update debug information
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : remove the display of promela property
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : test examples for snapshot comparison
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : New public functions to take a snapshot...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : let some debug information with XBT_INFO
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : check current heap
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : update bprintf format for local variables
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : fix memory leaks in heap comparison
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : clean debug information in bugged1_liveness...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : remove files about test_heap_comparison
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : process can be NULL
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : backtracking if there is no request...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : use xbt_abort to exit MC if acceptance...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : init MC for liveness in a separate...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : if get_libsimgrid_plt_section called...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : display debug information with XBT_DEBUG...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : change MC_take_snapshot_liveness declaration...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : remove instruction pointer offset for...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : stack_areas stored in raw_heap instead...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : debug information more concise
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : fix some memory leaks
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : first line of objdump --section-headers...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : fix first parameter for get_stack_pointer...
commit
|
commitdiff
|
tree
2012-10-27
Marion Guthmuller
model-checker : ignore pointers on raw_heap in data...
commit
|
commitdiff
|
tree
2012-10-12
Marion Guthmuller
model-checker : display malloc backtrace according...
commit
|
commitdiff
|
tree
next