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
SMPI finally works ;)
2012-10-12
Marion Guthmuller
model-checker : display malloc backtrace according...
commit
|
commitdiff
|
tree
2012-10-11
Marion Guthmuller
model-checker : forget regions corresponding to libsimgrid...
commit
|
commitdiff
|
tree
2012-10-10
Marion Guthmuller
function check_fraghead to detect mmalloc metadata...
commit
|
commitdiff
|
tree
2012-10-09
Marion Guthmuller
set size to -1 for free fragments in new fragmented...
commit
|
commitdiff
|
tree
2012-10-09
Marion Guthmuller
set value -1 in unsigned short cannot work fine ...
commit
|
commitdiff
|
tree
2012-10-08
Marion Guthmuller
set size_used negative for free fragment/block
commit
|
commitdiff
|
tree
2012-10-08
Marion Guthmuller
UNLOCK forgotten before THROWF
commit
|
commitdiff
|
tree
2012-10-08
Marion Guthmuller
check if free on fragment already free
commit
|
commitdiff
|
tree
2012-10-08
Marion Guthmuller
add executable chord_before_dsend in CMakeLists
commit
|
commitdiff
|
tree
2012-10-08
Marion Guthmuller
version of chord before use MSG_task_dsend
commit
|
commitdiff
|
tree
2012-10-08
Marion Guthmuller
model-checker : restore struct smx_ctx_sysv in smx_context_s...
commit
|
commitdiff
|
tree
2012-10-07
Marion Guthmuller
model-checker : forget include ucontext.h for struct...
commit
|
commitdiff
|
tree
2012-10-07
Marion Guthmuller
model-checker : test if variable is initialized (warning...
commit
|
commitdiff
|
tree
2012-10-06
Marion Guthmuller
model-checker : ignore differences in data segment...
commit
|
commitdiff
|
tree
2012-10-06
Marion Guthmuller
model-checker : remove maestro stack from stack comparison
commit
|
commitdiff
|
tree
2012-10-06
Marion Guthmuller
model-checker : cleanup in mc examples
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : forget to remove unused variables
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
Get local variables in binary and libsimgrid.so and...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : remove unused variable with debug mode...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : extend MC_ignore mechanism for global...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : display information about variables...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
cosmetics
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : check if a difference detected in stack...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : functions only used in mc_global declared...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : store local variables in raw heap
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : double free memory fixed
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : cosmetics reindent
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : move functions about snapshot comparison...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : take snapshot of stacks (local variables...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : store equality detected in heap comparison...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : move struct s_smx_ctx_sysv in smx_private...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : detect if binary program has been compiled...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : ignore stack areas in heap comparison...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : add libunwind in simgrid dependencies
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : previous algorithm for heap comparison...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : print local variables only with debug...
commit
|
commitdiff
|
tree
2012-10-05
Marion Guthmuller
model-checker : memset forgotten in mmalloc
commit
|
commitdiff
|
tree
2012-09-18
Marion Guthmuller
model-checker : first part to retrieve local variables...
commit
|
commitdiff
|
tree
2012-09-18
Marion Guthmuller
model-checker : remove unused variable
commit
|
commitdiff
|
tree
2012-08-18
Marion Guthmuller
model-checker : init result of simcalls for snapshot...
commit
|
commitdiff
|
tree
2012-08-17
Marion Guthmuller
model-checker : try first to associate each block or...
commit
|
commitdiff
|
tree
2012-08-16
Marion Guthmuller
model-checker : remove unnecessary step
commit
|
commitdiff
|
tree
2012-08-16
Marion Guthmuller
model-checker : equal_to field of blocks/fragments...
commit
|
commitdiff
|
tree
2012-08-16
Marion Guthmuller
modelc-checker : reset list of blocks/fragments pairs...
commit
|
commitdiff
|
tree
2012-08-16
Marion Guthmuller
model-checker : init equal_to field to -1 for each...
commit
|
commitdiff
|
tree
2012-08-16
Marion Guthmuller
model-checker : set size used to 0 when free fragment
commit
|
commitdiff
|
tree
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
next