A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
reduce the amount of cruft loaded in the jarfile (don't include doxygen sources)
[simgrid.git]
/
src
/
mc
/
2014-07-03
Marion Guthmuller
model-checker : check dict content before removing...
tree
|
commitdiff
2014-07-03
Marion Guthmuller
model-checker : remove useless condition
tree
|
commitdiff
2014-07-03
Gabriel Corona
[mc] Fast path when comparing NULL against non-NULL...
tree
|
commitdiff
2014-07-03
Gabriel Corona
[mc] Bug: MC was reading from the wrong region
tree
|
commitdiff
2014-07-01
Gabriel Corona
[mc] Remove useless question in assert
tree
|
commitdiff
2014-06-27
Marion Guthmuller
model-checker : fix visited states reduction with comm...
tree
|
commitdiff
2014-06-27
Marion Guthmuller
model-checker : if no inttypes found in c++
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
tree
|
commitdiff
2014-06-26
Marion Guthmuller
model-checker : minor fix in comments
tree
|
commitdiff
2014-06-26
Marion Guthmuller
model-checker : visited states reduction available...
tree
|
commitdiff
2014-06-26
Gabriel Corona
[mc] Inline mc_snapshot_read_region()
tree
|
commitdiff
2014-06-26
Gabriel Corona
[mc] Inline mc_translate_address() and mc_translate_add...
tree
|
commitdiff
2014-06-26
Gabriel Corona
[mc] Forgot to decrease the page refcounts when freeing...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Add support of privatized global variables in...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Avoid loosing meaningful bits ot pair.p2 when...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Use an unordered_set for compared_pointers instead...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Remove declaration of mc_read_pagemap() in mc_page...
tree
|
commitdiff
2014-06-23
Gabriel Corona
[mc] Always inline mc_page_store_get_page (C version...
tree
|
commitdiff
2014-06-23
Marion Guthmuller
model-checker : clarify comments
tree
|
commitdiff
2014-06-23
Gabriel Corona
[mc] Move method definition out of class declaratio...
tree
|
commitdiff
2014-06-20
Gabriel Corona
[mc] Reset the softdirty bits *before* restoring the...
tree
|
commitdiff
2014-06-20
Gabriel Corona
[mc] Always inline 'inline' functions
tree
|
commitdiff
2014-06-20
Gabriel Corona
[mc] Fix compilation warnings/errors when optimizing
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Documentation of mc_page_snapshot
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Config to disable soft-dirty page tracking --cfg...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid big alloca in mc_snapshot_region_memcp and...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Poor man's TCO in compare_heap_area_with_type()
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Do not allocate pagemap buffer on the heap
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] pread_whole must restart in cas of EINTR, not...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Documentation about per-page snapshots
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Add some documentation
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid region lookup when we know we are in the...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix bug mc_snapshot_read_fragmented
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Replace test-and-die with assert
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid looking up region in mc_diff (we are in...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix mc_snapshot_read_fragmented
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Remove heap{base,info}{1,2} field in struct s_mc_d...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix inverted test on page soft-dirtiness
tree
|
commitdiff
2014-06-18
Paul Bédaride
Merge branch 'v3_11_x'
tree
|
commitdiff
2014-06-18
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Do not use offsetof() in mc_snapshot_get_heap_end
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix mc_translate_address_region() for per-page...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Remove mc_untranslate_address() and mc_member_snap...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in snapshot_compare (compatib...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Add option --cfg=model-check/sparse-checkpoint...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix bugs in mc_page_snapshot
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in mc_diff (compatibility...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in dwarf expression evaluatio...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix bug in mc_snapshot_read
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Remove useless bits
tree
|
commitdiff
2014-06-17
Gabriel Corona
Add some informations/help for the user on SIGSEGV
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Remove useless parameters in compare_local_variables
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Group MC_ignore_global_variable("mc_diff_info...
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Remove useless parts in mmalloc_compare_heap,...
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Use process addresses in mc_compare
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Partial integration of per-page snapshot address...
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Simplify s_mc_snapshot_stack
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] Update doc for page_store
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] In MC_ignore, keep the zeroed data out of the...
tree
|
commitdiff
2014-06-04
scastelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-06-04
degomme
Kill f2c. Finally. I hope.
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : use new variable _sg_mc_liveness instea...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : remove useless debug message and add...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : fix backtracking with comm determinism...
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : comment erroneous ignore (not completel...
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : use the right heap
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : reword debug message
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : mc_dpor.c -> mc_safety.c
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : remove useless ignore
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : fix comm determinism detection mechanisms
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : forget file
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : cleanups, refactoring and apply indent...
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : cosmetics in log message
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : improve error message
tree
|
commitdiff
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
tree
|
commitdiff
2014-05-16
Gabriel Corona
Merge branch 'mc_without_ksm' into mc
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Avoid memsetting twice
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Move mm_diff in mc/
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
tree
|
commitdiff
2014-05-13
Marion Guthmuller
model-checker : handle waitany simcall
tree
|
commitdiff
2014-05-13
Gabriel Corona
[mc] Rename raw_heap into mc_heap
tree
|
commitdiff
2014-05-12
Henri Casanova
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-05-12
Marion Guthmuller
model-checker : complete comm pattern only after a...
tree
|
commitdiff
2014-05-12
Arnaud Giersch
Fix dead assignments.
tree
|
commitdiff
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-05-05
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-04-30
Marion Guthmuller
model-checker : disable mprotect on snapshots
tree
|
commitdiff
2014-04-30
Marion Guthmuller
model-checker : remove KSM work -> doesn't work currently
tree
|
commitdiff
2014-04-29
Marion Guthmuller
model-checker : deal with the soundness of DPOR only...
tree
|
commitdiff
2014-04-29
Marion Guthmuller
model-checker : fix the detection of determinism
tree
|
commitdiff
2014-04-25
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-04-24
Gabriel Corona
[mc] Check error in MAP_FAILED
tree
|
commitdiff
2014-04-24
Gabriel Corona
[mc] mprotect the region *after* zero-ing ignored parts:
tree
|
commitdiff
next