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
Have the application execute its transition before returning SIMCALL_EXECUTE_ANSWER
[simgrid.git]
/
src
/
mc
/
checker
/
CommunicationDeterminismChecker.hpp
2022-02-17
Martin Quinson
CommDet shall become an extension of the SafetyChecker
blob
|
commitdiff
|
raw
2022-02-07
Martin Quinson
Unify the way we count expended states between checkers
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Let's use bool for booleans
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
The checker now have a reference to the session
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-27
eazimi
RemotePtr in complete_comm_pattern()
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
Martin Quinson
Merge pull request #371 from eazimi/master
blob
|
commitdiff
|
raw
|
diff to current
2020-12-11
Ehsan Azimi
constructor without Session argument
blob
|
commitdiff
|
raw
|
diff to current
2020-12-11
Ehsan Azimi
Merge with simgrid/master
blob
|
commitdiff
|
raw
|
diff to current
2020-12-10
Arnaud Giersch
More conversions int -> aid_t.
blob
|
commitdiff
|
raw
|
diff to current
2020-12-09
Arnaud Giersch
Fix type for parameter 'issuer'.
blob
|
commitdiff
|
raw
|
diff to current
2020-12-01
Arnaud Giersch
Merge remote-tracking branch 'github/master'
blob
|
commitdiff
|
raw
|
diff to current
2020-12-01
Martin Quinson
Merge pull request #369 from eazimi/master
blob
|
commitdiff
|
raw
|
diff to current
2020-11-30
Ehsan Azimi
CommunicationDeterminismChecker class doesn't use Remot...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-30
Ehsan Azimi
handle_comm_pattern() defined in CommunicationDetermini...
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
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-10-08
Martin Quinson
Merge branch 'klement/simgrid-klement' into master
blob
|
commitdiff
|
raw
|
diff to current
2020-10-06
Arnaud Giersch
Modernize method declarations.
blob
|
commitdiff
|
raw
|
diff to current
2020-04-27
Yann Duplouy
Merge branch 'random_readwritestate' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2020-04-25
Frederic Suter
namespacing cosmetics
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-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-26
Martin Quinson
further tidy the includes in MC
blob
|
commitdiff
|
raw
|
diff to current
2019-03-01
Arnaud Giersch
Kill unused parameter and please Sonar.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-10
Arnaud Giersch
[sonar] Rename method (don't use "main").
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-08
Arnaud Giersch
Update copyright headers.
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
this is a hpp header
blob
|
commitdiff
|
raw
|
diff to current
2017-06-30
Martin Quinson
Merge pull request #193 from Takishipp/signals
blob
|
commitdiff
|
raw
|
diff to current
2017-06-19
Martin Quinson
Merge pull request #190 from Takishipp/clean_events
blob
|
commitdiff
|
raw
|
diff to current
2017-06-17
Martin Quinson
Merge pull request #188 from Takishipp/clean_events
blob
|
commitdiff
|
raw
|
diff to current
2017-06-15
Martin Quinson
Merge pull request #181 from bcamus/master
blob
|
commitdiff
|
raw
|
diff to current
2017-06-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2017-06-14
Frederic Suter
please both sonar and codacy
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-27
Martin Quinson
Rename some activity/SynchroBlah into activity/BlahImpl...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-16
Martin Quinson
clang-format broke my commit
blob
|
commitdiff
|
raw
|
diff to current
2017-01-15
Martin Quinson
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2017-01-14
Martin Quinson
MC: use exceptions to report errors, not integer return...
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