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
[mc] Making a State a class
2015-11-26
Gabriel Corona
[java] Sync code generation with generated source code
commit
|
commitdiff
|
tree
2015-11-26
Gabriel Corona
[mc] Remove .. in #includes
commit
|
commitdiff
|
tree
2015-11-26
Gabriel Corona
[ns3] Fix ns3 compilation
commit
|
commitdiff
|
tree
2015-11-25
Gabriel Corona
[surf] Hardcode some of the sg_platf_host callbacks
commit
|
commitdiff
|
tree
2015-11-25
Gabriel Corona
[surf] Switch sg_platf to C++
commit
|
commitdiff
|
tree
2015-11-25
Gabriel Corona
[surf] Don't free power_peak from the caller
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[java] Don't strip SOs in JARs
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[xbt] C++ support for RngStream.h
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Move VMCreatedCallbacks outside of constructor
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Move storageCreatedCallbacks outside of constructor
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Move networkLinkCreatedCallbacks outside of...
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Factorize some CPU registration code in sg_host_surfc...
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Change CPU initialization
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Move the hostCreatedCallbacks after the constructor
commit
|
commitdiff
|
tree
2015-11-24
Gabriel Corona
[surf] Move network_constant host callback from sg_platf_hos...
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[mc] Remove mcer_ignore.cpp
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[mc] Move ignore_local_variable() into Process
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[mc] Move heap_ignore to Process
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[mc] Move stacks_areas into Process
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[mc] Remove MCer_ignore_global_variable
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[mc] Remove useless bits
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[surf] Wrap the sigc++ API to provide the same API...
commit
|
commitdiff
|
tree
2015-11-23
Gabriel Corona
[surf] Fix build with sigc++
commit
|
commitdiff
|
tree
2015-11-17
Gabriel Corona
[mc] Move MC-related out of simix and into mc where...
commit
|
commitdiff
|
tree
2015-11-16
Gabriel Corona
[mc] Better explanation for DW_OP_call_frame_cfa
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Make mc_diff_info static
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Simplification, remove profiling code
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Move the MCer wait_for_requests logic outside...
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Merge Server class into ModelChecker
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Remove Process:status_
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Replace some exit() calls by return
commit
|
commitdiff
|
tree
2015-11-12
Gabriel Corona
[mc] Move privatization flag initialization
commit
|
commitdiff
|
tree
2015-11-10
Gabriel Corona
[mc] Fix exit status naming convention
commit
|
commitdiff
|
tree
2015-11-10
Gabriel Corona
[mc] Move Server in simgrid::mc
commit
|
commitdiff
|
tree
2015-11-10
Gabriel Corona
[mc] Simplify mc_server
commit
|
commitdiff
|
tree
2015-11-10
Gabriel Corona
[mc] Fix privatisation support
commit
|
commitdiff
|
tree
2015-11-10
Gabriel Corona
[mc] Remove MC code in sigsegvhandler
commit
|
commitdiff
|
tree
2015-11-10
Gabriel Corona
[mc] Generate a message showing the path on crash of...
commit
|
commitdiff
|
tree
2015-11-09
Gabriel Corona
[mc] Move model-checker message processing logic in...
commit
|
commitdiff
|
tree
2015-11-09
Gabriel Corona
[mc] ptrace the model-checker application
commit
|
commitdiff
|
tree
2015-11-05
Gabriel Corona
[smpi] Use virtual memory layout to find the data segment
commit
|
commitdiff
|
tree
2015-11-02
Gabriel Corona
[mc] Fix error in dependency checking
commit
|
commitdiff
|
tree
2015-11-02
Gabriel Corona
[mc] DRY in MC_request_depend()
commit
|
commitdiff
|
tree
2015-11-02
Gabriel Corona
[mc] Use std::vector for Process::heap_info
commit
|
commitdiff
|
tree
2015-11-02
Gabriel Corona
[mc] Use std::unique_ptr for Process::heap
commit
|
commitdiff
|
tree
2015-10-16
Gabriel Corona
Fix build without lua
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Add std:: namespace for some types
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Use std::unordered* instead of boost:: ones
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Fix ModelChecker::is_important_snapshot(), do...
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Use std::pair and std::unordered_set in mc_compare
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Remove BOOST_FOREACH usage
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Rename PerPageCopy to ChunkedData (and move in...
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Documentation
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Remove useless *_free_voidp functions
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Cleanup in DwarfExpression
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Move mc_dwarf_location_list_init() into namespace
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] OOify mc_find_frame_base()
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] OOify LocationLists, Location
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Fix Snapshot::read_bytes
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] OOify DWARF stack/evaluation expression
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Simplify MC_find_object_info
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Remove useless declarations
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Remove useless declarations
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
commit
|
commitdiff
|
tree
2015-10-15
Gabriel Corona
[mc] Move some code into simgrid::dwarf namespace
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
Fix ISP test classification
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Move MC_important_snapshot() as a method of ModelChecker
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Move some code out of is_visited_state()
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Reduce the scope of some variables in mc_visited.cpp
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Factorisation in mc_visited.cpp
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Create a Member for for structure/class/union...
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Add AddressSpace::process() method
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Make Process and Snapshot classes final
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Remove Process.is_self()
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Move typedef in correct header
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Cleanup mc_hash.cpp
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Remove commented-out code in mc_diff.cpp
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Cleanup #includes
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Fix location expression initialization
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Fix memory leak in MC_get_memory_regions()
commit
|
commitdiff
|
tree
2015-10-09
Gabriel Corona
[mc] Fix loop bound checking using heaplimit
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
[mc] Really remove mc_libdw for now
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
Revert "[mc] Move libdw binding code in its own file"
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
Revert "[mc] Fix initialisation of dwarf expression"
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
Revert "[mc] Remove remaining bits of libdw outside...
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
[mc] Bring back soft-dirty tracking from the dead 💀
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
[mc] Quick hack to display system memory information...
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
[mc] Bring back KSM (MADV_MERGEABLE) support
commit
|
commitdiff
|
tree
2015-10-02
Gabriel Corona
[mc] Support for mmap-able snapthots
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Fix unintialized variables
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Hide more symbols
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Hide more mc symbols
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Detect/fix conflicting visibility and fix visibility...
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Mark some internal symbols as hidden on ELF in instr
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
[mc] Mark some internal symbols as hidden on ELF in mc
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Mark some internal symbols as hidden on ELF in msg
commit
|
commitdiff
|
tree
2015-10-01
Gabriel Corona
Mark some internal symbols as hidden on ELF in simdag
commit
|
commitdiff
|
tree
next