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 skeleton implementation for ex(C) for CommSend
[simgrid.git]
/
src
/
mc
/
sosp
/
Snapshot_test.cpp
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
2023-03-22
Martin Quinson
Fix some easy sonar smells
blob
|
commitdiff
|
raw
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-19
Martin Quinson
Differ the creation of the RemoteProcessMemory to when...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
blob
|
commitdiff
|
raw
|
diff to current
2023-03-19
Martin Quinson
Move the memory handling of RemoteProcessMemory singlet...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-19
Martin Quinson
Remove some more usage of mc_model_checker in Region...
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
Martin Quinson
Move the checker_side_ from the ModelChecker to the...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
blob
|
commitdiff
|
raw
|
diff to current
2023-03-12
Martin Quinson
MC: stop reading maxpid in memory, but ask it over...
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-03
Martin Quinson
Move the PageStore from ModelChecker to RemoteApp
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-01-01
Arnaud Giersch
Update copyright lines for 2023.
blob
|
commitdiff
|
raw
|
diff to current
2022-10-06
Arnaud Giersch
Merge branch 'wifi_clean' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-07-30
Martin Quinson
And now cleanup the App-side of cruft that was needed...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-27
Martin Quinson
MC: after all, checker does not need the list of dead...
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
MC gets the addresses of variables it needs from the...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Rename mc::RemoteSimulation into mc::RemoteProcess
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-11-25
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-22
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-21
Arnaud Giersch
Fix test requirement (and add missing semicolon).
blob
|
commitdiff
|
raw
|
diff to current
2020-11-21
Arnaud Giersch
Remove useless new/delete (please sonar).
blob
|
commitdiff
|
raw
|
diff to current
2020-11-19
Ehsan Azimi
Merge branch 'master' of github.com:simgrid/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-18
Arnaud Giersch
Useless std::move.
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
blob
|
commitdiff
|
raw
|
diff to current
2020-10-13
Arnaud Giersch
Remove useless type aliases.
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-05
Arnaud Giersch
More uses of std::make_unique.
blob
|
commitdiff
|
raw
|
diff to current
2020-10-04
Arnaud Giersch
[sonar] Replace redundant type with "auto" (src/mc/).
blob
|
commitdiff
|
raw
|
diff to current
2020-05-09
Martin Quinson
MC: Further renamings
blob
|
commitdiff
|
raw
|
diff to current
2020-05-06
Martin Quinson
MC: actually remove the comm channel from RemoteClientM...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-06
Martin Quinson
MC: rename remote/RemoteClient -> remote/RemoteClientMe...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-06
Arnaud Giersch
Replace usage of <random> with <xbt/random.hpp>.
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-29
Arnaud Giersch
Sonar consts of the day.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-18
Frederic Suter
codefactor: a few more annoying spaces
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-06-03
Martin Quinson
Simplify mc::Region::read()
blob
|
commitdiff
|
raw
|
diff to current
2019-06-03
Martin Quinson
Cleanups in class mc::Region
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Martin Quinson
MC: rename some files
blob
|
commitdiff
|
raw
|
diff to current