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
[mc] Try to DRY in MC main loops
[simgrid.git]
/
src
/
mc
/
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
2014-04-24
Gabriel Corona
Merge "mc"
tree
|
commitdiff
2014-04-24
Gabriel Corona
[mc] Fix DW_AT_start_scope handling in mc_checkpoint
tree
|
commitdiff
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
tree
|
commitdiff
2014-04-15
Stéphane Castelli
Added some work in the creation of links in the fat...
tree
|
commitdiff
2014-04-14
Gabriel Corona
[mc] Protect snapshots against write
tree
|
commitdiff
2014-04-14
Gabriel Corona
[mc] Only enable KSM on snapshots and not on main memory
tree
|
commitdiff
2014-04-08
Gabriel Corona
Merge remote-tracking branch 'origin/mc'
tree
|
commitdiff
2014-04-05
Marion Guthmuller
model-checker : privatization_regions in snapshot may...
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Fix issues with register translation code
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Fix bAd text
tree
|
commitdiff
2014-04-04
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Implement translation of register number
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Fix MC_free_snapshot (NP reading NULL snapshot...
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Make snapshots compatible with SMPI privatization...
tree
|
commitdiff
2014-04-01
Arnaud Giersch
[mc] Initialize expression->ops before calling mc_dwarf...
tree
|
commitdiff
2014-04-01
Arnaud Giersch
Update copyright headers.
tree
|
commitdiff
2014-04-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-31
Martin Quinson
Revert "Remove XBT_INFO call"
tree
|
commitdiff
2014-03-31
Pierre Veyre
Remove XBT_INFO call
tree
|
commitdiff
2014-03-31
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-31
Arnaud Giersch
[mc] Better fix for compatibility with old/broken versi...
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type conversion (once again)
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type conversion
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type conversions
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Change type for type->id
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type of expression resolution methods (uintpt_...
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix compatibility with old/broken version of dwarf.h
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Kernel Samepage Merging support (Linux)
tree
|
commitdiff
2014-03-27
Gabriel Corona
[mc] Comment unhandled rangelistptr class in DW_AT_star...
tree
|
commitdiff
2014-03-27
Gabriel Corona
[mc] Correctly handle the end of the stack unwinding
tree
|
commitdiff
2014-03-27
Gabriel Corona
[mc] Really fix DW_AT_high_pc for DWARF4
tree
|
commitdiff
2014-03-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-25
Gabriel Corona
Merge branch 'mc++'
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix warning on pointer/integer/address conversion
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Handle DW_AT_high_pc as offset for DWARF4
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix DW_OP_addr to translate address into virtual...
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix DW_OP_call_frame_cfa
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix broken DW_OP_call_frame_cfa
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Fix handling of inlined subroutines in MC_ignore_l...
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Attach correct namespaced name in inlined subrouti...
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Replace frame->frame (frame *name*) by frame-...
tree
|
commitdiff
next