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
document the this_actor namespace in the new way
[simgrid.git]
/
src
/
mc
/
2019-07-11
Arnaud Giersch
[sonar] Handle default case in switch statements.
tree
|
commitdiff
2019-07-11
Arnaud Giersch
Move extended hash to xbt/utility.
tree
|
commitdiff
2019-07-11
Martin Quinson
mc/compare: another round of tiny cleanups
tree
|
commitdiff
2019-07-11
Arnaud Giersch
mc/compare: dead stores.
tree
|
commitdiff
2019-07-10
Martin Quinson
mc/compare: fix another copy/paste error
tree
|
commitdiff
2019-07-10
Martin Quinson
mc: reduce the visibility of <dwarf.h> by a tiny bit
tree
|
commitdiff
2019-07-10
Martin Quinson
mc/compare: some more tiny cleanups
tree
|
commitdiff
2019-07-10
Arnaud Giersch
MC/compare: compare_heap_area_without_type becomes...
tree
|
commitdiff
2019-07-10
Arnaud Giersch
Cosmetics.
tree
|
commitdiff
2019-07-10
Arnaud Giersch
Reindent.
tree
|
commitdiff
2019-07-10
Arnaud Giersch
Kill Poor man's TCO.
tree
|
commitdiff
2019-07-10
Arnaud Giersch
MC/compare: mmalloc_compare_heap becomes mmalloc_heap_e...
tree
|
commitdiff
2019-07-10
Arnaud Giersch
MC/compare: cleanup++
tree
|
commitdiff
2019-07-10
Arnaud Giersch
MC/compare: first round of cleanups.
tree
|
commitdiff
2019-07-10
Martin Quinson
Remove option model-checker/hash; This is always activa...
tree
|
commitdiff
2019-07-10
Martin Quinson
mc/compare: kill dead code
tree
|
commitdiff
2019-07-10
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-07-10
Arnaud Giersch
Improve crash detection; still not working correctly.
tree
|
commitdiff
2019-07-09
Martin Quinson
load the header needed by this file
tree
|
commitdiff
2019-07-09
Arnaud Giersch
Hide system-dependent message.
tree
|
commitdiff
2019-07-09
Martin Quinson
improve verification of crashing programs
tree
|
commitdiff
2019-07-09
Arnaud Giersch
Revert "Reduce dependency on ptrace."
tree
|
commitdiff
2019-07-09
Arnaud Giersch
Reduce dependency on ptrace.
tree
|
commitdiff
2019-07-09
Arnaud Giersch
Specify visibility (hide warning).
tree
|
commitdiff
2019-07-03
Arnaud Giersch
[sonar] Inherit from std::exception.
tree
|
commitdiff
2019-07-02
Arnaud Giersch
Kill unused static functions (dead code).
tree
|
commitdiff
2019-06-15
Martin Quinson
sonar: ignore more issues, hide commented code, add...
tree
|
commitdiff
2019-06-14
Arnaud Giersch
Merge remote-tracking branch 'github/master'
tree
|
commitdiff
2019-06-11
Martin Quinson
MC: cosmetics
tree
|
commitdiff
2019-06-11
Martin Quinson
further simplify the MC initialization
tree
|
commitdiff
2019-06-11
Martin Quinson
mc: don't catch exceptions we cannot deal with
tree
|
commitdiff
2019-06-10
Martin Quinson
code simplification in MC start sequence
tree
|
commitdiff
2019-06-04
Martin Quinson
sonar: kill unused parameter
tree
|
commitdiff
2019-06-03
Martin Quinson
MC: kill an unused field and a useless method
tree
|
commitdiff
2019-06-03
Martin Quinson
MC: kill an unused field
tree
|
commitdiff
2019-06-03
Martin Quinson
Simplify mc::Region::read()
tree
|
commitdiff
2019-06-03
Martin Quinson
Cleanups in class mc::Region
tree
|
commitdiff
2019-06-01
Martin Quinson
fix MC builds on gcc
tree
|
commitdiff
2019-06-01
Martin Quinson
fix lua builds
tree
|
commitdiff
2019-05-31
Martin Quinson
MC: rename some files
tree
|
commitdiff
2019-05-31
Martin Quinson
MC: finish emptying an old C file
tree
|
commitdiff
2019-05-31
Martin Quinson
MC: inline a function that is now trivial
tree
|
commitdiff
2019-05-31
Martin Quinson
MC::Region: Also remove the permanent_addr thingy
tree
|
commitdiff
2019-05-31
Martin Quinson
mc: cosmetics
tree
|
commitdiff
2019-05-31
Martin Quinson
Merge branch 'tracemgrsplit' into 'master'
tree
|
commitdiff
2019-05-30
Martin Quinson
inline a function
tree
|
commitdiff
2019-05-30
Martin Quinson
kill the RegionSparse subclass now that there is no...
tree
|
commitdiff
2019-05-30
Martin Quinson
MC: cosmetics (fight the mc_model_checker singleton)
tree
|
commitdiff
2019-05-30
Martin Quinson
MC: remove support for flat storage of regions
tree
|
commitdiff
2019-05-30
Martin Quinson
MC::remote: snake case
tree
|
commitdiff
2019-05-29
Martin Quinson
mc: Also remove the process_index
tree
|
commitdiff
2019-05-29
Martin Quinson
Kill the support for privatized SMPI in MC mode
tree
|
commitdiff
2019-05-28
Martin Quinson
mc: snake_case the checkers
tree
|
commitdiff
2019-05-28
Martin Quinson
mc: snake_case a class
tree
|
commitdiff
2019-05-28
Martin Quinson
mc: change 3 static functions into private methods
tree
|
commitdiff
2019-05-28
Martin Quinson
mc: move code around in the hope that it will sort...
tree
|
commitdiff
2019-05-28
Arnaud Giersch
Missing include (HAVE_MREMAP).
tree
|
commitdiff
2019-05-27
Martin Quinson
mc: tricks to improve the coverage
tree
|
commitdiff
2019-05-26
Martin Quinson
fix non-MC builds when libevent is not found
tree
|
commitdiff
2019-05-26
Martin Quinson
further tidy the includes in MC
tree
|
commitdiff
2019-05-25
Martin Quinson
mc: kill some useless includes
tree
|
commitdiff
2019-05-24
Martin Quinson
nope sonar, that's not some commented code
tree
|
commitdiff
2019-05-23
Martin Quinson
fix some typo in the comments, just to launch a rebuild...
tree
|
commitdiff
2019-05-23
Martin Quinson
Plug a memleak
tree
|
commitdiff
2019-05-22
Martin Quinson
mc: create RegionSparse, RegionDense and RegionPrivatiz...
tree
|
commitdiff
2019-05-22
Martin Quinson
RegionSnap: only use pointers to regions for sake of...
tree
|
commitdiff
2019-05-22
Martin Quinson
mc: privatized regions now use a vector of pointers...
tree
|
commitdiff
2019-05-22
Martin Quinson
mc: some snake_casing on the way
tree
|
commitdiff
2019-05-22
Martin Quinson
mc: that FIXME was easy to fix :)
tree
|
commitdiff
2019-05-20
Martin Quinson
g++ needs this include but not clang
tree
|
commitdiff
2019-05-20
Martin Quinson
Ahem. You mean I need to actually compile with MC after...
tree
|
commitdiff
2019-05-20
Martin Quinson
mc: move some files related to ELF, DWARF or unwind...
tree
|
commitdiff
2019-05-18
Martin Quinson
mc::Snapshot: various cleanups and refactoring
tree
|
commitdiff
2019-05-18
Martin Quinson
sosp: cosmetics
tree
|
commitdiff
2019-05-17
Martin Quinson
sonar: explict
tree
|
commitdiff
2019-05-17
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-05-16
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2019-05-16
Martin Quinson
Use addr2line as a fallback for stacktraces when backtr...
tree
|
commitdiff
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2019-05-16
Martin Quinson
mc: tiny simplifications and cosmetics (even some snake...
tree
|
commitdiff
2019-05-16
Martin Quinson
mc: inline two functions
tree
|
commitdiff
2019-05-16
Martin Quinson
mc: useless cleanups
tree
|
commitdiff
2019-05-16
Martin Quinson
mc::Buffer: no need for mmap type now that KSM is gone
tree
|
commitdiff
2019-05-16
Martin Quinson
mc: kill model-check/ksm option. Was not activated...
tree
|
commitdiff
2019-05-15
Martin Quinson
mc: simplification: do not repeat information in parameters
tree
|
commitdiff
2019-05-15
Martin Quinson
mc: Kill a C type and use the C++ one
tree
|
commitdiff
2019-05-15
Martin Quinson
mc/compare: reduce the scope of some variables
tree
|
commitdiff
2019-05-15
Martin Quinson
Remove option 'model-check/record': paths are recorded...
tree
|
commitdiff
2019-05-15
Martin Quinson
[mc] enable model-check/record by default, and cosmetics
tree
|
commitdiff
2019-05-14
Millian Poquet
[mc] do not ignore MC_ASSERT in replay mode
tree
|
commitdiff
2019-05-07
Frederic Suter
cosmetics: make more fields private
tree
|
commitdiff
2019-05-06
Arnaud Giersch
Missing explicit.
tree
|
commitdiff
2019-05-06
Arnaud Giersch
Kill useless hack (and its union).
tree
|
commitdiff
2019-05-06
Arnaud Giersch
Use aligned storage and remove usage of union.
tree
|
commitdiff
2019-05-06
Arnaud Giersch
Fix a FIXME.
tree
|
commitdiff
2019-05-06
Arnaud Giersch
Change two dynars (maybe more).
tree
|
commitdiff
next