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
Mark functions as "const" (sonar).
[simgrid.git]
/
src
/
mc
/
remote
/
CheckerSide.hpp
2023-04-11
Arnaud Giersch
Mark functions as "const" (sonar).
blob
|
commitdiff
|
raw
2023-04-04
Martin Quinson
Make the MC protocol work on top of STREAM sockets
blob
|
commitdiff
|
raw
|
diff to current
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-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-26
Martin Quinson
Implement reforks by forking the application, to save...
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-21
Martin Quinson
Make sure that the dtor of CheckerSide actually kills...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-20
Martin Quinson
Manually handle the memory associated to the libevent...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-20
Martin Quinson
Do not initialize the App's memory introspection if...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-20
Martin Quinson
Put everything in position to re-fork the verified App
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
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2023-03-19
Martin Quinson
Move more of the CheckerSide creation logic to the...
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
Better responsabilities splitup between CheckerSide...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-19
Martin Quinson
Move methods not related to Memory out of RemoteProcess...
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
another mc_model_checker call location disappears
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
Merge CheckerSide::start() intp the constructor
blob
|
commitdiff
|
raw
|
diff to current
2023-03-18
Martin Quinson
Better split of responsabilities between CheckerSide...
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-01-01
Arnaud Giersch
Update copyright lines for 2023.
blob
|
commitdiff
|
raw
|
diff to current
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-09-14
SUTER Frederic
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-06-25
Arnaud Giersch
Two more const methods spotted by sonar.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-24
Arnaud Giersch
Use std::unique_ptr and remove explicit destructor.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-24
Arnaud Giersch
Pass the real pointer to the englobing MC class for...
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-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
blob
|
commitdiff
|
raw
|
diff to current
2020-05-10
Martin Quinson
MC: obey to the rule of 5 to please sonar
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/EventLoop into remote/CheckerSide
blob
|
commitdiff
|
raw
|
diff to current