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
fix bug still happening with dash
[simgrid.git]
/
src
/
mc
/
mc_private.h
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
2014-07-25
Gabriel Corona
[mc] Make state/snapshot comparison work with SMPI...
blob
|
commitdiff
|
raw
2014-07-25
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
[mc] Change the signature of mc_restore_page_snapshot_r...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
Merge remote-tracking branch 'origin/mc-fastsnapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
[mc] Use mc_region_contain where it could be used
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
[mc] Udpate doxygen comments
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Gabriel Corona
[mc] Fix name of mc_snapshot_memcmp()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Gabriel Corona
[mc] Add unit test for mc_snapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
[mc] Avoid memory allocation for flat snapshots in...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
[mc] Fix name of mc_snapshot_region_memcmp
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
Merge branch 'mc-fix' into mc-fastsnapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Gabriel Corona
[mc] Fix bound check in mc_snapshot_read_region
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Gabriel Corona
[mc] Add mc_snapshot_read_pointer()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Marion Guthmuller
model-checker : visited states reduction available...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Gabriel Corona
[mc] Inline mc_snapshot_read_region()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Gabriel Corona
[mc] Inline mc_translate_address() and mc_translate_add...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-24
Gabriel Corona
[mc] Use an unordered_set for compared_pointers instead...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-23
Gabriel Corona
[mc] Always inline mc_page_store_get_page (C version...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-23
Gabriel Corona
[mc] Move method definition out of class declaratio...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-20
Gabriel Corona
[mc] Always inline 'inline' functions
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Gabriel Corona
[mc] Avoid region lookup when we know we are in the...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Do not use offsetof() in mc_snapshot_get_heap_end
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Fix mc_translate_address_region() for per-page...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Remove mc_untranslate_address() and mc_member_snap...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in mc_diff (compatibility...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Use process addresses in mc_compare
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Partial integration of per-page snapshot address...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Simplify s_mc_snapshot_stack
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] In MC_ignore, keep the zeroed data out of the...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-30
Marion Guthmuller
model-checker : fix comm determinism detection mechanisms
blob
|
commitdiff
|
raw
|
diff to current
2014-05-30
Marion Guthmuller
model-checker : forget file
blob
|
commitdiff
|
raw
|
diff to current
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Gabriel Corona
Merge branch 'mc_without_ksm' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-13
Gabriel Corona
[mc] Rename raw_heap into mc_heap
blob
|
commitdiff
|
raw
|
diff to current
2014-05-12
Marion Guthmuller
model-checker : complete comm pattern only after a...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-05
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-29
Marion Guthmuller
model-checker : fix the detection of determinism
blob
|
commitdiff
|
raw
|
diff to current
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
[mc] Make snapshots compatible with SMPI privatization...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Martin Quinson
Revert "Remove XBT_INFO call"
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Pierre Veyre
Remove XBT_INFO call
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-28
Gabriel Corona
[mc] Change type for type->id
blob
|
commitdiff
|
raw
|
diff to current
2014-03-28
Gabriel Corona
[mc] Fix type of expression resolution methods (uintpt_...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-25
Gabriel Corona
Merge branch 'mc++'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-25
Gabriel Corona
[mc] Fix DW_OP_addr to translate address into virtual...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Attach correct namespaced name in inlined subrouti...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Replace frame->frame (frame *name*) by frame-...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Rename frame->start into frame->id
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Remove frame->end field which was not used anymore
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Process nested scopes DWARF informations
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Documentation
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Gabriel Corona
Merge branch 'mc++'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Gabriel Corona
[mc] Efficient lookup of subprogram by offset
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Gabriel Corona
[mc] Fix documentation of the field 'full_type'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Fix compile_warnings
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Use reference to types intead of type IDs
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Fix type name handling
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Add location field in struct/class-members
blob
|
commitdiff
|
raw
|
diff to current
2014-03-10
Gabriel Corona
[mc] DW_OP_deref
blob
|
commitdiff
|
raw
|
diff to current
2014-03-07
Gabriel Corona
[mc] Remove old code (mc_location_t)
blob
|
commitdiff
|
raw
|
diff to current
2014-03-07
Gabriel Corona
[mc] Use new expression evaluation code frame_base
blob
|
commitdiff
|
raw
|
diff to current
2014-03-07
Gabriel Corona
[mc] Use new DWARF expression code for variables
blob
|
commitdiff
|
raw
|
diff to current
2014-03-06
Gabriel Corona
[mc] Partial implementation of DWARF expression evaluator
blob
|
commitdiff
|
raw
|
diff to current
2014-03-06
Gabriel Corona
Merge branch 'mc' into mc++
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Gabriel Corona
Merge branch 'mc++' into mc-merge
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge branch 'mc' into mc++
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge bugfix from branch mc-refactor
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge branches 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge bugfix
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
[mc] Handle DW_AT_start_scope (for constants)
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Marion Guthmuller
model-checker : print comm pattern
blob
|
commitdiff
|
raw
|
diff to current
2014-02-24
Gabriel Corona
[mc] Use dynar instead of dict for storing functions
blob
|
commitdiff
|
raw
|
diff to current
2014-02-24
Gabriel Corona
Merge 'master' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-02-24
Gabriel Corona
Merge branch 'mc-perf' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-02-20
Gabriel Corona
[mc] Avoid (slow) type lookups by name or ID (xbt_dict_...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-20
Gabriel Corona
[mc] Use resolved addresses in entry.low_pc and entry...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-18
Gabriel Corona
[mc] Do not waste time calling libunwind get_proc_name...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-18
Marion Guthmuller
model-checker : conflit
blob
|
commitdiff
|
raw
|
diff to current
2014-02-14
Gabriel Corona
[mc] Disable MC_DEBUG (enabled by mistake)
blob
|
commitdiff
|
raw
|
diff to current
2014-02-11
Gabriel Corona
[mc] Make usage of state hash a runtime parameter ...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-11
Gabriel Corona
[mc] Code for evaluation of the impact of the hash
blob
|
commitdiff
|
raw
|
diff to current
2014-02-10
Gabriel Corona
[mc] Cache stack unwindinwg
blob
|
commitdiff
|
raw
|
diff to current
2014-02-10
Gabriel Corona
Merge branch 'mc' into mc-perf
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
Merge branch mc into mc-perf
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Split address/location in dw_variable_t (which...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Remove dead code for ignoring variables
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Remove old hash code
blob
|
commitdiff
|
raw
|
diff to current
next