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
Add what's missing to obey the deprecation warning on add_route with 4 parameters...
[simgrid.git]
/
src
/
mc
/
mc_record.cpp
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
blob
|
commitdiff
|
raw
2023-05-10
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
2023-05-03
Martin Quinson
Factorize more code between DFSExplo and LivenessExplo...
blob
|
commitdiff
|
raw
2023-04-26
Martin Quinson
Merge branch 'operation-plugin' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-04-18
Martin Quinson
Merge branch 'udpor-phase7' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-04-15
Martin Quinson
Make sure that we never have a 0 transition at the...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
blob
|
commitdiff
|
raw
|
diff to current
2023-01-01
Arnaud Giersch
Update copyright lines for 2023.
blob
|
commitdiff
|
raw
|
diff to current
2022-11-07
Arnaud Giersch
Use boolean value.
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Martin Quinson
Display the stack of each actor during a MC replay...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-31
Martin Quinson
MC replay: check whether there is a deadlock after...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-31
Martin Quinson
Align the behavior of MC and MC_replay in SMPI, so...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-31
Martin Quinson
Be more verbose on the blocking transition when display...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-30
Martin Quinson
MC_replay: Ensure that times_considered is always set
blob
|
commitdiff
|
raw
|
diff to current
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
blob
|
commitdiff
|
raw
|
diff to current
2022-05-06
Arnaud Giersch
Reduce scope for temporary variables.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Martin Quinson
Merge branch 'add_missing_comm_python_bindings' into...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Martin Quinson
Merge branch 'dev-mailbox-clear' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Bruno Donassolo
Merge branch 'issue105' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Arnaud Giersch
Cosmetics: don't talk about ActorIDTrait if it's not...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-24
Arnaud Giersch
Make maxpid a static member of ActorIDTrait.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-13
Martin Quinson
Merge branch 'fix_bindings_mistakenly_set_as_member_fun...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-13
Martin Quinson
Kill a useless static function
blob
|
commitdiff
|
raw
|
diff to current
2022-03-13
Martin Quinson
Move the actor lifecycle markers from Context to ActorImpl
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Martin Quinson
Merge branch 'add_remaining_comm_sync_bindings' into...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-08
Arnaud Giersch
Move Simcall from namespace simix to kernel::actor.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-08
Arnaud Giersch
Make Simcall a real class.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Arnaud Giersch
Minor sonar smells, and other cosmetics.
blob
|
commitdiff
|
raw
|
diff to current
2022-02-21
Martin Quinson
Rename mc::Checker to mc::Exploration as it defines...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
Martin Quinson
Split TransitionAny and TransitionRandom to their own...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Move dot_label() from Observer to Transition (+ some...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline another stupid function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Objectification of mc::RecordTrace
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Stop copying transitions around since that would shorte...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Start moving classes into the mc/api directory
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Fix builds with/without MC and with/without clang ...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Big bang in MC: app's observers are serialized, to...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-03
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-04-02
Arnaud Giersch
Change "if(...) xbt_die(...)" to "xbt_assert(...)".
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Martin Quinson
Actor's ID should be a long, and should be named AID
blob
|
commitdiff
|
raw
|
diff to current
2021-03-20
Martin Quinson
some symbol renamings to make MC easier to understand...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-17
Arnaud Giersch
Lowercase PID in function name (1/2 - private part).
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Kill a file that was almost empty
blob
|
commitdiff
|
raw
|
diff to current
2021-03-06
Martin Quinson
MC: inline a function, kill a file
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Rename mc_base.h -> .hpp (it's C++ only anyway).
blob
|
commitdiff
|
raw
|
diff to current
2021-02-28
Martin Quinson
objectification of MC simcall achieved -- many tests...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-13
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-12
Arnaud Giersch
Update copyright lines.
blob
|
commitdiff
|
raw
|
diff to current
2020-12-20
Martin Quinson
Deprecate a SIMIX function that was badly named anyway
blob
|
commitdiff
|
raw
|
diff to current
2020-12-15
Augustin Degomme
Merge branch 'Adrien.Gougeon/simgrid-master'
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Arnaud Giersch
[pvs] A part of conditional expression is always false...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Arnaud Giersch
Enum class for MC call types, and MC comm pattern diffe...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
blob
|
commitdiff
|
raw
|
diff to current
2020-05-10
Martin Quinson
stick to our coding standards: fields must have a trail...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-06
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-xbt_random'
blob
|
commitdiff
|
raw
|
diff to current
2020-01-31
Arnaud Giersch
Cosmetics: fix "Malformed whitespace in C++" spotted...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-24
Frederic Suter
Merge branch 'depencencies' of https://framagit.org...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-01
Arnaud Giersch
Update copyright lines with new year.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-28
Arnaud Giersch
[sonar] Constify pointer and reference parameters in...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-08-17
Martin Quinson
use assignment to non-trivial class rather than artific...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-15
Martin Quinson
obey our coding standards, and snake_case some parts...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-09
Martin Quinson
change SIMIX_simcall_handle() into ActorImpl::simcall_h...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-08
Martin Quinson
namespacify a global function of SIMIX
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Martin Quinson
Merge branch 'tracemgrsplit' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Martin Quinson
mc: snake_case the checkers
blob
|
commitdiff
|
raw
|
diff to current
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-15
Martin Quinson
Remove option 'model-check/record': paths are recorded...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-12
Frederic Suter
mv ActorImpl where it belongs
blob
|
commitdiff
|
raw
|
diff to current
2019-03-11
Arnaud Giersch
Pass std::string parameters by reference too.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-08
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2019-01-07
Arnaud Giersch
Update copyright lines with new year.
blob
|
commitdiff
|
raw
|
diff to current
2018-10-11
jed56 ( Jean-Emile...
Merge branch 'master' into v3.20-expose-simgrid-jni
blob
|
commitdiff
|
raw
|
diff to current
2018-07-04
Martin Quinson
Merge branch 'master' of https://github.com/Onesphore...
blob
|
commitdiff
|
raw
|
diff to current
2018-07-02
Martin Quinson
kill some include directives
blob
|
commitdiff
|
raw
|
diff to current
2018-04-19
Arnaud Giersch
Remove redundant variable.
blob
|
commitdiff
|
raw
|
diff to current
2018-04-08
Arnaud Giersch
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-11-27
Tom Cornebize
Merge branch 'master' into fix/execute_benched
blob
|
commitdiff
|
raw
|
diff to current
2017-11-23
Takishipp
Merge branch 'actor-yield' of github.com:Takishipp...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-23
Zitagcc
Merge branch 'master' into actor-yield
blob
|
commitdiff
|
raw
|
diff to current
2017-11-21
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-08
Arnaud Giersch
Use a more specific exception.
blob
|
commitdiff
|
raw
|
diff to current
2017-11-05
Martin Quinson
convert src/mc/mc_replay.h into mc_replay.hpp (+ don...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-04
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-04
Frederic Suter
stringify (a lot)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-15
Martin Quinson
Merge branch 'actor-startkilltime' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-15
Martin Quinson
Merge pull request #228 from Takishipp/actor-execute
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Arnaud Giersch
Sort include lists according to clang-format.
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Arnaud Giersch
Rename C++ only header files from .h to .hpp.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-27
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-27
Arnaud Giersch
Fix signedness errors in format strings.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Martin Quinson
Merge pull request #200 from Takishipp/clear_fct
blob
|
commitdiff
|
raw
|
diff to current
2017-07-16
Martin Quinson
remove one layer of calls
blob
|
commitdiff
|
raw
|
diff to current
2017-05-29
Takishipp
Merge branches 'master' and 'master' of github.com...
blob
|
commitdiff
|
raw
|
diff to current
next