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
snake_case some surviving camels
[simgrid.git]
/
src
/
mc
/
VisitedState.hpp
2021-03-08
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
2021-03-08
Arnaud Giersch
Remove useless declaration of default destructor.
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-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-12-23
Arnaud Giersch
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2019-12-23
Arnaud Giersch
[sonar] Initialize data members with class initializers...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Arnaud Giersch
Cosmetics.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Martin Quinson
MC: rename some files
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-04
Martin Quinson
move libsosp into its own directory
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-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
Rename C++ only header files from .h to .hpp.
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-09
Arnaud Giersch
Change some struct to class.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-24
Martin Quinson
Merge pull request #202 from Takishipp/clear_fct
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Frederic Suter
please sonar (initialization lists) + reindent
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-01-21
Martin Quinson
try to make SafetyChecker a bit easier to read
blob
|
commitdiff
|
raw
|
diff to current
2017-01-16
Martin Quinson
clang-format broke my commit
blob
|
commitdiff
|
raw
|
diff to current
2017-01-08
Martin Quinson
smx processes are now called actors, avoiding confusion...
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-04-14
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-13
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-13
Gabriel Corona
[mc] Move mc_stats.expanded_states into the Checkers
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Gabriel Corona
[mc] Make Checker implementation private
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Gabriel Corona
[mc] Get rid of the global simgrid::mc::visited_states...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Gabriel Corona
[mc] Move VisitedState stuffs in their own .c file
blob
|
commitdiff
|
raw
|
diff to current