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
Cosmetic rename.
[simgrid.git]
/
src
/
mc
/
mc_record.cpp
2021-02-28
Martin Quinson
objectification of MC simcall achieved -- many tests...
blob
|
commitdiff
|
raw
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
2017-05-25
Martin Quinson
cut some more includes
blob
|
commitdiff
|
raw
|
diff to current
2017-05-23
Martin Quinson
please codacy: use long form of negation in C++
blob
|
commitdiff
|
raw
|
diff to current
2017-05-21
Martin Quinson
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2017-05-09
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-05
Martin Quinson
prefix all macro defined in public simgrid_config.h...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-14
Martin Quinson
move the checker algorithms to their own directory
blob
|
commitdiff
|
raw
|
diff to current
2016-11-30
Millian Poquet
Merge branch 'master' of https://github.com/mpoquet...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-14
Martin Quinson
rename smx_process_t to smx_actor_t
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
Martin Quinson
Populate the kernel::context namespace and continue...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
Martin Quinson
Rename smx_process to ActorImpl
blob
|
commitdiff
|
raw
|
diff to current
2016-05-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-05-02
Gabriel Corona
[config] Rewrite the config core
blob
|
commitdiff
|
raw
|
diff to current
2016-04-14
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-12
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-11
Gabriel Corona
[mc] Rename RecordTraceElement as Transition and use...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-06
Gabriel Corona
[mc] Fix #includes
blob
|
commitdiff
|
raw
|
diff to current
2016-04-03
degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-01
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-01
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-01
Gabriel Corona
[mc] Only #include LivenessChecker.hpp in LivenessCheck...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-29
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-29
Gabriel Corona
[mc] -Wredundant-move
blob
|
commitdiff
|
raw
|
diff to current
2016-03-29
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-29
Gabriel Corona
[mc] Let the Checker give us the current record trace
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Gabriel Corona
[mc] Move main liveness code in a LivenessChecker class
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Gabriel Corona
[mc] Fix process_time handling
blob
|
commitdiff
|
raw
|
diff to current
2016-03-13
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2016-03-13
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-11
Gabriel Corona
[mc] Remove useless extern "C" around logging categories
blob
|
commitdiff
|
raw
|
diff to current
2016-03-08
Martin Quinson
use #if instead if #ifdef for the things in the public...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-08
Gabriel Corona
[mc] Move mc_liveness code in simgrid::mc
blob
|
commitdiff
|
raw
|
diff to current
2016-03-08
Gabriel Corona
[mc] Move things in the MC namespace
blob
|
commitdiff
|
raw
|
diff to current
2016-02-27
Martin Quinson
Merge pull request #65 from fabienchaix/master
blob
|
commitdiff
|
raw
|
diff to current
2016-02-26
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-26
Gabriel Corona
Remove/cleanup/fix #include
blob
|
commitdiff
|
raw
|
diff to current
2016-02-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-26
Gabriel Corona
Remove/cleanup/fix some #include
blob
|
commitdiff
|
raw
|
diff to current
2016-02-23
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-23
Martin Quinson
reduce the amount of includes to speed up recompilations
blob
|
commitdiff
|
raw
|
diff to current
2015-12-11
Luka Stanisic
Merging changes done by Steven, Samuel and Luka, regard...
blob
|
commitdiff
|
raw
|
diff to current
2015-11-26
Gabriel Corona
[mc] Better #includes
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Martin Quinson
Merge branch 'S4U'
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Gabriel Corona
[mc] Cleanup #includes
blob
|
commitdiff
|
raw
|
diff to current
next