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
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional...
[simgrid.git]
/
src
/
mc
/
mc_config.cpp
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
blob
|
commitdiff
|
raw
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
blob
|
commitdiff
|
raw
|
diff to current
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-03-30
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-30
mlaurent
Rename guide as strategy and fix counter-example displa...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-28
mlaurent
Change opened states for a priority queue
blob
|
commitdiff
|
raw
|
diff to current
2023-03-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-18
mlaurent
Bases for wait distance guide
blob
|
commitdiff
|
raw
|
diff to current
2023-03-15
Martin Quinson
Sanitize how we know the current MC mode
blob
|
commitdiff
|
raw
|
diff to current
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-03-02
Martin Quinson
Move the dot_output from ModelChecker to Exploration
blob
|
commitdiff
|
raw
|
diff to current
2023-02-26
Martin Quinson
Merge branch 'master' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-22
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-18
Martin Quinson
Kill src/include
blob
|
commitdiff
|
raw
|
diff to current
2023-02-17
mlaurent
Default is not to use sleep-set to agree with existing...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-17
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-15
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-14
mlaurent
adding option for sleep set
blob
|
commitdiff
|
raw
|
diff to current
2023-01-01
Arnaud Giersch
Update copyright lines for 2023.
blob
|
commitdiff
|
raw
|
diff to current
2022-11-05
Martin Quinson
Allow the MC replay to use the 'zero' buffering
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Fred Suter
Merge branch 'fluidio' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-10-27
Arnaud Giersch
Use true/false for boolean variable (Sonar).
blob
|
commitdiff
|
raw
|
diff to current
2022-10-16
Martin Quinson
Don't include simgrid/config.h from simgrid/modelchecke...
blob
|
commitdiff
|
raw
|
diff to current
2022-10-06
Arnaud Giersch
Merge branch 'wifi_clean' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-08-25
Arnaud Giersch
Misc cosmetics for sonar.
blob
|
commitdiff
|
raw
|
diff to current
2022-08-08
Martin Quinson
Correctly disable DPOR when StateEq reduction is enabled
blob
|
commitdiff
|
raw
|
diff to current
2022-08-07
Martin Quinson
Merge mc_safety.hpp into DFSExplorer class
blob
|
commitdiff
|
raw
|
diff to current
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
blob
|
commitdiff
|
raw
|
diff to current
2022-05-09
Arnaud Giersch
Replace const reference to std::string by std::string_v...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-10-13
Arnaud Giersch
Kill trailing whitespaces in source code files.
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-02-24
agougeon
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-02-10
Martin Quinson
Merge branch 'local changes'
blob
|
commitdiff
|
raw
|
diff to current
2021-02-08
eazimi
a flag for udpor in the simgrid config
blob
|
commitdiff
|
raw
|
diff to current
2021-02-03
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-20
eazimi
Merge branch 'master' of github.com:eazimi/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-01-19
Arnaud Giersch
One more static initialization order fiasco.
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-15
Augustin Degomme
Merge branch 'Adrien.Gougeon/simgrid-master'
blob
|
commitdiff
|
raw
|
diff to current
2020-12-11
Ehsan Azimi
Merge with simgrid/master
blob
|
commitdiff
|
raw
|
diff to current
2020-12-08
Arnaud Giersch
Remove old deprecated aliases for runtime options.
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
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-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-11-19
Martin Quinson
Merge branch 'xbt_random' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2019-11-10
Arnaud Giersch
Slightly reorganize log categories; remove unused ones.
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-09-01
Martin Quinson
Don't name the unused parameter of this callback
blob
|
commitdiff
|
raw
|
diff to current
2019-08-18
Martin Quinson
switch to infty buffering for now as some tests are...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-18
Martin Quinson
Apply the default settings of 'smpi/buffering' too
blob
|
commitdiff
|
raw
|
diff to current
2019-08-17
Martin Quinson
New MC option: smpi/buffering, to control MPI buffering
blob
|
commitdiff
|
raw
|
diff to current
2019-08-17
Martin Quinson
fix non-MC builds
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-07-10
Martin Quinson
Remove option model-checker/hash; This is always activa...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Martin Quinson
Merge branch 'tracemgrsplit' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2019-05-30
Martin Quinson
MC: remove support for flat storage of regions
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Martin Quinson
further tidy the includes in MC
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-16
Martin Quinson
mc: kill model-check/ksm option. Was not activated...
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-05-15
Martin Quinson
[mc] enable model-check/record by default, and cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2019-05-03
Arnaud Giersch
Kill never implemented option "model-check/snapshot_fds".
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-04-19
Arnaud Giersch
Convert last bits from the xbt/config C interface.
blob
|
commitdiff
|
raw
|
diff to current
2018-04-19
Arnaud Giersch
Remove redundant variable.
blob
|
commitdiff
|
raw
|
diff to current
2018-04-18
Arnaud Giersch
Convert MC config parameters to C++ API, and move their...
blob
|
commitdiff
|
raw
|
diff to current
2018-04-18
Arnaud Giersch
Factorize code (and fix message).
blob
|
commitdiff
|
raw
|
diff to current
2018-03-30
Martin Quinson
Merge pull request #259 from simgrid/configfix
blob
|
commitdiff
|
raw
|
diff to current
2018-03-28
Arnaud Giersch
Rename sg_config.h -> sg_config.hpp.
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-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-10-04
Arnaud Giersch
Remove useless includes for xbt/str.h.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-04
Martin Quinson
fix non-MC builds
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-26
Martin Quinson
more than 100 codacy treats, not bad
blob
|
commitdiff
|
raw
|
diff to current
2017-05-26
Martin Quinson
chop, chop, chop includes
blob
|
commitdiff
|
raw
|
diff to current
2017-05-25
Martin Quinson
cut some more includes
blob
|
commitdiff
|
raw
|
diff to current
next