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
We never supported this one, but it was doing nothing without MPI2.2
[simgrid.git]
/
src
/
mc
/
2016-06-23
Gabriel Corona
Fix compilation of MC
tree
|
commitdiff
2016-06-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-22
Gabriel Corona
Merge get-pid
tree
|
commitdiff
2016-06-22
Gabriel Corona
[simix] Fix extern 'C' error from clang
tree
|
commitdiff
2016-06-22
Gabriel Corona
[simix] More generic mapping between function name...
tree
|
commitdiff
2016-06-17
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-17
Christian Heinrich
[SMPI/MC] Use std::strlen() instead of manual counting.
tree
|
commitdiff
2016-06-16
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-06-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-14
degomme
fix build with MC but without SMPI
tree
|
commitdiff
2016-06-14
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-14
Gabriel Corona
[simix] Make Mutex a C++ class (kind-of)
tree
|
commitdiff
2016-06-12
Martin Quinson
spellcheck mc. Don't ask why
tree
|
commitdiff
2016-05-31
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-05-31
Gabriel Corona
Use boost::range algorithms
tree
|
commitdiff
2016-05-31
Gabriel Corona
Use boost::range algorithms
tree
|
commitdiff
2016-05-31
Gabriel Corona
[simix] DeXFTification of Synchro: use std::list<>...
tree
|
commitdiff
2016-05-30
Gabriel Corona
Make some constructors explicit
tree
|
commitdiff
2016-05-30
Gabriel Corona
Avoid multiple declaration on the same line/statement
tree
|
commitdiff
2016-05-26
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-26
Gabriel Corona
[simix] Use C++ templates for generating the marshaling...
tree
|
commitdiff
2016-05-23
Gabriel Corona
[mc] Fix remote access to the new Process structure
tree
|
commitdiff
2016-05-12
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-11
Gabriel Corona
[mc] Generalize AddressSpace::read<T>() to return a...
tree
|
commitdiff
2016-05-11
Gabriel Corona
[mc] Fix MC with the class-hierarchification of simgrid...
tree
|
commitdiff
2016-05-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-06
Martin Quinson
split smx_synchro_t into a hierarchy of C++ classes
tree
|
commitdiff
2016-05-06
Gabriel Corona
[mc] Use bool instead of int for match_pairs
tree
|
commitdiff
2016-05-06
Gabriel Corona
[mc] Don't use new/delete for HeapLocationPairs
tree
|
commitdiff
2016-05-06
Gabriel Corona
[mc] Use std::set for the list-of-heap-location-pairs
tree
|
commitdiff
2016-05-05
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Merge StateComparator with ComparisonState
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Move s_heap_area in compare.cpp
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Remove useless bits in compare.cpp
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Remove useless header file
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Merge mc_diff.cpp and mc_compare.cpp
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Remove __STDC_FORMAT_MACROS
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Simplified control flow
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Move some functions as methods of StateComparator
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Refactoring of the state comparison code
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Better documentation of weird-DWARF-issue workaround
tree
|
commitdiff
2016-05-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-02
Gabriel Corona
[config] Rewrite the config core
tree
|
commitdiff
2016-04-28
Gabriel Corona
[mc] Fix compilation when MC id disabled
tree
|
commitdiff
2016-04-28
Gabriel Corona
[mc] Remove redundant 'mc_mode' global variable
tree
|
commitdiff
2016-04-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-04-25
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-25
Martin Quinson
kebab-case some smpi options
tree
|
commitdiff
2016-04-25
Gabriel Corona
Use our own minimal signal implementation
tree
|
commitdiff
2016-04-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-21
Martin Quinson
useless global variable, hindering MC equality
tree
|
commitdiff
2016-04-21
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-21
Martin Quinson
refactor rdv to mailbox for consistency
tree
|
commitdiff
2016-04-20
Martin Quinson
spellchecking instead of sleeping
tree
|
commitdiff
2016-04-19
Gabriel Corona
[mc] Fix error in computation of Frame range when DW_AT...
tree
|
commitdiff
2016-04-19
Gabriel Corona
[mc] Fix ObjectInformation address computation
tree
|
commitdiff
2016-04-18
Gabriel Corona
[mc] Fix loop bound checking using heaplimit
tree
|
commitdiff
2016-04-18
Gabriel Corona
Clear errno when throwing an errno exception
tree
|
commitdiff
2016-04-15
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-04-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-14
degomme
gcc 6 warning --
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Fix this != nullptr remaining from previous refact...
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Remove unused declarations
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Remove spurious declaration (remaining from previo...
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Move the remaining restoreState() into Commuinicat...
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Duplicate restoreState() as a method of SafetyChecker
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mv] Remove soft-darty tracking
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Rename replay() function to restoreState()
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Move mc_global stuff into CommunicationDeterminism...
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Move mc_global stuff into LivenessChecker
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Move initial state into Session
tree
|
commitdiff
2016-04-14
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-04-13
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Remove useless bits
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Move MC_report() functions as static functions...
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Remove mc_stats and move remaining stats in ModelC...
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Remove mc_stats.state_size (not used)
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Move mc_stats.expanded_states into the Checkers
tree
|
commitdiff
2016-04-13
Gabriel Corona
Remove useless #includes
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Livenesschecker, make private stuff private
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Move liveness stats out of mc_stats into LivenessC...
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Delegate some part of Session::logState() to Check...
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Move MC_print_statistics() as Session::logState()
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Remove old dual-stack-related comment
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Use Session::execute() in LivenessChecker as well
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Remove useless model-checker/model-checked round...
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] Add methods to Session
tree
|
commitdiff
2016-04-13
Gabriel Corona
[mc] s/getRecordElement/getTransition/
tree
|
commitdiff
2016-04-12
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-11
Gabriel Corona
[mc] Rename RecordTraceElement as Transition and use...
tree
|
commitdiff
2016-04-11
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-10
Martin Quinson
kill an unused layer of code
tree
|
commitdiff
2016-04-08
Gabriel Corona
[mc] Remove the ugly is_in_vector() hack
tree
|
commitdiff
2016-04-08
Gabriel Corona
[mc] Move resolve_process...() as methods of Process
tree
|
commitdiff
2016-04-08
Gabriel Corona
[mc] Remove old commented-out code
tree
|
commitdiff
2016-04-08
Gabriel Corona
[mc] Remove useless MC_MODE_CLIENT paths
tree
|
commitdiff
2016-04-08
Gabriel Corona
[mc] Mark some remote pointers as such
tree
|
commitdiff
2016-04-08
Gabriel Corona
[mc] Misc. comments
tree
|
commitdiff
2016-04-07
Martin Quinson
oups, forgot to adapt MC to my last change in config
tree
|
commitdiff
2016-04-07
Gabriel Corona
[mc] Remove orphaned declaration
tree
|
commitdiff
next