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
STFU you dawn VM - The lovingly handmade tests
[simgrid.git]
/
src
/
mc
/
2015-11-12
Gabriel Corona
[mc] Remove Process:status_
tree
|
commitdiff
2015-11-12
Gabriel Corona
[mc] Replace some exit() calls by return
tree
|
commitdiff
2015-11-12
Gabriel Corona
[mc] Move privatization flag initialization
tree
|
commitdiff
2015-11-10
Gabriel Corona
[mc] Fix exit status naming convention
tree
|
commitdiff
2015-11-10
Gabriel Corona
[mc] Move Server in simgrid::mc
tree
|
commitdiff
2015-11-10
Gabriel Corona
[mc] Simplify mc_server
tree
|
commitdiff
2015-11-10
Gabriel Corona
[mc] Fix privatisation support
tree
|
commitdiff
2015-11-10
Gabriel Corona
[mc] Generate a message showing the path on crash of...
tree
|
commitdiff
2015-11-09
Gabriel Corona
[mc] Move model-checker message processing logic in...
tree
|
commitdiff
2015-11-09
Gabriel Corona
[mc] ptrace the model-checker application
tree
|
commitdiff
2015-11-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-11-05
Gabriel Corona
[smpi] Use virtual memory layout to find the data segment
tree
|
commitdiff
2015-11-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-11-02
Gabriel Corona
[mc] Fix error in dependency checking
tree
|
commitdiff
2015-11-02
Gabriel Corona
[mc] DRY in MC_request_depend()
tree
|
commitdiff
2015-11-02
Gabriel Corona
[mc] Use std::vector for Process::heap_info
tree
|
commitdiff
2015-11-02
Gabriel Corona
[mc] Use std::unique_ptr for Process::heap
tree
|
commitdiff
2015-11-01
Martin Quinson
add another library to the whitelist of ignored debuggi...
tree
|
commitdiff
2015-10-25
Martin Quinson
Reduce the amount of implicit include directories
tree
|
commitdiff
2015-10-25
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-10-24
degomme
forgot this one
tree
|
commitdiff
2015-10-24
degomme
try to fix some compilation erros
tree
|
commitdiff
2015-10-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Add std:: namespace for some types
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Use std::unordered* instead of boost:: ones
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Fix ModelChecker::is_important_snapshot(), do...
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Use std::pair and std::unordered_set in mc_compare
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Remove BOOST_FOREACH usage
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Rename PerPageCopy to ChunkedData (and move in...
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Documentation
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Remove useless *_free_voidp functions
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Cleanup in DwarfExpression
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Move mc_dwarf_location_list_init() into namespace
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] OOify mc_find_frame_base()
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] OOify LocationLists, Location
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Fix Snapshot::read_bytes
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] OOify DWARF stack/evaluation expression
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Simplify MC_find_object_info
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Remove useless declarations
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Remove useless declarations
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
tree
|
commitdiff
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
tree
|
commitdiff
2015-10-13
Martin Quinson
Merge branch 'S4U'
tree
|
commitdiff
2015-10-09
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
tree
|
commitdiff
2015-10-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Move MC_important_snapshot() as a method of ModelC...
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Move some code out of is_visited_state()
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Reduce the scope of some variables in mc_visited.cpp
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Factorisation in mc_visited.cpp
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Create a Member for for structure/class/union...
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Add AddressSpace::process() method
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Make Process and Snapshot classes final
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Remove Process.is_self()
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Move typedef in correct header
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Cleanup mc_hash.cpp
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Remove commented-out code in mc_diff.cpp
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Cleanup #includes
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Fix location expression initialization
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Fix memory leak in MC_get_memory_regions()
tree
|
commitdiff
2015-10-09
Gabriel Corona
[mc] Fix loop bound checking using heaplimit
tree
|
commitdiff
2015-10-02
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
tree
|
commitdiff
2015-10-02
Gabriel Corona
[mc] Really remove mc_libdw for now
tree
|
commitdiff
2015-10-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-10-02
Gabriel Corona
Revert "[mc] Move libdw binding code in its own file"
tree
|
commitdiff
2015-10-02
Gabriel Corona
Revert "[mc] Fix initialisation of dwarf expression"
tree
|
commitdiff
2015-10-02
Gabriel Corona
Revert "[mc] Remove remaining bits of libdw outside...
tree
|
commitdiff
2015-10-02
Gabriel Corona
[mc] Bring back soft-dirty tracking from the dead 💀
tree
|
commitdiff
2015-10-02
Gabriel Corona
[mc] Quick hack to display system memory information...
tree
|
commitdiff
2015-10-02
Gabriel Corona
[mc] Bring back KSM (MADV_MERGEABLE) support
tree
|
commitdiff
2015-10-02
Gabriel Corona
[mc] Support for mmap-able snapthots
tree
|
commitdiff
2015-10-01
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-10-01
Gabriel Corona
Hide more mc symbols
tree
|
commitdiff
2015-10-01
Gabriel Corona
Detect/fix conflicting visibility and fix visibility...
tree
|
commitdiff
2015-10-01
Gabriel Corona
[mc] Mark some internal symbols as hidden on ELF in mc
tree
|
commitdiff
2015-09-21
Gabriel Corona
[mc] Add missing #include
tree
|
commitdiff
2015-09-18
Gabriel Corona
[mc] Fix missing #include in Windows
tree
|
commitdiff
2015-09-18
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
tree
|
commitdiff
2015-09-17
Gabriel Corona
[mc] Fix missing #include
tree
|
commitdiff
2015-09-17
Gabriel Corona
[mc] Remove remaining bits of libdw outside of mc_libdw...
tree
|
commitdiff
2015-09-17
Gabriel Corona
[mc] Use string::compare instead of strcmp
tree
|
commitdiff
2015-09-17
Gabriel Corona
[mc] Fix initialisation of dwarf expression
tree
|
commitdiff
2015-09-17
Gabriel Corona
[mc] Move libdw binding code in its own file
tree
|
commitdiff
2015-09-17
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
tree
|
commitdiff
2015-09-14
Gabriel Corona
[mc] Fix SimGridMC when SMPI is disabled
tree
|
commitdiff
2015-09-10
Martin Quinson
[MC] add a lib to the whitelist of libs that are not...
tree
|
commitdiff
2015-09-10
Gabriel Corona
[mc] Better explanation when complaining about the...
tree
|
commitdiff
2015-09-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-09-08
Martin Quinson
Fix a misleading output
tree
|
commitdiff
2015-09-07
Gabriel Corona
[mc] Add some boost libs to our debugging whitelisting
tree
|
commitdiff
2015-09-07
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-09-07
Gabriel Corona
[mc] Stylistic changes in mc_dwarf.cpp
tree
|
commitdiff
2015-09-07
Gabriel Corona
[mc] Simplify MC_dwarf_get_variables()
tree
|
commitdiff
2015-09-07
Gabriel Corona
[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP
tree
|
commitdiff
2015-09-07
Gabriel Corona
[mc] Use target preprocessor symbol instead of UNW_TARG...
tree
|
commitdiff
2015-09-07
Gabriel Corona
Merge remote-tracking branch 'origin2/master'
tree
|
commitdiff
2015-09-07
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-09-07
Gabriel Corona
[mc] Display region type name
tree
|
commitdiff
next