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 new entry in Release_Notes.
[simgrid.git]
/
src
/
mc
/
remote
/
2023-11-08
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-11-07
Martin Quinson
Add an assert that the checker don't try to exec disabl...
tree
|
commitdiff
2023-11-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-11-05
Martin Quinson
Remove the stateful model-checking from the archive...
tree
|
commitdiff
2023-11-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
tree
|
commitdiff
2023-11-02
Martin Quinson
MC: add an observer to sleep simcalls
tree
|
commitdiff
2023-07-10
Fred Suter
Merge remote-tracking branch 'origin/master' into jbod
tree
|
commitdiff
2023-07-10
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-07-10
Arnaud Giersch
Missing includes (for gcc-14?)
tree
|
commitdiff
2023-07-01
Martin Quinson
More verbose error and debug messages
tree
|
commitdiff
2023-06-28
Martin Quinson
Merge branch 'master' into 'python_bindings_host_load_p...
tree
|
commitdiff
2023-06-20
Fred Suter
Merge branch 'master' into 'task-token'
tree
|
commitdiff
2023-06-16
Arnaud Giersch
Merge branch 'fix-wakeup-tree-iterator' into 'master'
tree
|
commitdiff
2023-06-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-15
Martin Quinson
Fix the liveness tests by ignoring the Comm ID memory...
tree
|
commitdiff
2023-06-06
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-06
Arnaud Giersch
Clang-tidy: readability-qualified-auto.
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'simgrid-fork-plugin-photovoltaic'
tree
|
commitdiff
2023-05-23
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-05-23
Arnaud Giersch
Use the "_t" and "_v" version of type traits.
tree
|
commitdiff
2023-05-15
Arnaud Giersch
Define master_socket_name only once, and embed it with...
tree
|
commitdiff
2023-05-15
Arnaud Giersch
Try harder not to fail with stale sockets after several...
tree
|
commitdiff
2023-04-27
Arnaud Giersch
Whitespace cleanup (codefactor.io).
tree
|
commitdiff
2023-04-27
Martin Quinson
MC: give each state an incoming transition too
tree
|
commitdiff
2023-04-26
Martin Quinson
Merge branch 'operation-plugin' into 'master'
tree
|
commitdiff
2023-04-18
Martin Quinson
Merge branch 'udpor-phase7' into 'master'
tree
|
commitdiff
2023-04-15
Martin Quinson
Also send the disabled transitions over: UDPOR needs it
tree
|
commitdiff
2023-04-15
Martin Quinson
More informative message on system error
tree
|
commitdiff
2023-04-11
Arnaud Giersch
Mark functions as "const" (sonar).
tree
|
commitdiff
2023-04-11
Arnaud Giersch
Misc sonar issues.
tree
|
commitdiff
2023-04-11
Arnaud Giersch
Whitespace cleanup (codefactor.io).
tree
|
commitdiff
2023-04-10
Arnaud Giersch
Less low-level operations to manage receive buffer.
tree
|
commitdiff
2023-04-07
Martin Quinson
Please don't fix this error reported by clang-static...
tree
|
commitdiff
2023-04-06
Martin Quinson
MC: Reap all zombie childs to avoid them to accumulate
tree
|
commitdiff
2023-04-05
Martin Quinson
Improve the logging level of that message that is relat...
tree
|
commitdiff
2023-04-05
Arnaud Giersch
Centralize definitions for the name of environment...
tree
|
commitdiff
2023-04-04
Martin Quinson
Use the fast SOCK_SEQPACKET where available
tree
|
commitdiff
2023-04-04
Martin Quinson
Make the MC protocol work on top of STREAM sockets
tree
|
commitdiff
2023-04-03
Martin Quinson
Don't die at compilation when activating stateless...
tree
|
commitdiff
2023-04-03
Arnaud Giersch
Revert "Treat ECONNRESET like a normal connection close."
tree
|
commitdiff
2023-04-03
Arnaud Giersch
Treat ECONNRESET like a normal connection close.
tree
|
commitdiff
2023-04-02
Martin Quinson
Don't use ucontextes on Apple hosts
tree
|
commitdiff
2023-04-02
Martin Quinson
Cast a printf parameter to please MacOS X
tree
|
commitdiff
2023-04-02
Martin Quinson
Don't use CLOEXEC
tree
|
commitdiff
2023-04-01
Martin Quinson
Ignore empty replay path + hide a global (to avoid...
tree
|
commitdiff
2023-04-01
Martin Quinson
Fix an initialization race around the AppSide
tree
|
commitdiff
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
tree
|
commitdiff
2023-03-31
Martin Quinson
Fix non-MC builds when MC-only dependencies are missing
tree
|
commitdiff
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
tree
|
commitdiff
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-30
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-26
Martin Quinson
Implement reforks by forking the application, to save...
tree
|
commitdiff
2023-03-25
Martin Quinson
memset 0 the memory that is sent over the network
tree
|
commitdiff
2023-03-25
Martin Quinson
MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO
tree
|
commitdiff
2023-03-25
Martin Quinson
Actually, now that the appside is not ptraced, there...
tree
|
commitdiff
2023-03-25
Martin Quinson
Invert another logic error: we need ptrace when we...
tree
|
commitdiff
2023-03-25
Martin Quinson
This test is always false, as we asserted so just above
tree
|
commitdiff
2023-03-24
Martin Quinson
MC: disable personality() as it fails on CI and is...
tree
|
commitdiff
2023-03-24
Martin Quinson
Fix the refork feature by not ptracing App so that...
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Strengthen debug messages on channel send/recv.
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Simplify loop.
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Determine n_transitions on receiving side (and remove...
tree
|
commitdiff
2023-03-24
Arnaud Giersch
There's no need to compute the total transition count...
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Remove superfluous test, and reduce depth of nested...
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Merge loops and get rid of the "probes" temporary vector.
tree
|
commitdiff
2023-03-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-23
Martin Quinson
Dont use handle_waitpid after we killed the App, as...
tree
|
commitdiff
2023-03-23
Martin Quinson
Actually, read()=0 is not an issue in the AppSide
tree
|
commitdiff
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-22
Martin Quinson
Fix some easy sonar smells
tree
|
commitdiff
2023-03-22
Martin Quinson
Fix two sonar bugs
tree
|
commitdiff
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
tree
|
commitdiff
2023-03-21
Martin Quinson
Make sure that the dtor of CheckerSide actually kills...
tree
|
commitdiff
2023-03-21
Martin Quinson
Fix the liveness tests when the reforks are compiled...
tree
|
commitdiff
2023-03-20
Martin Quinson
Manually handle the memory associated to the libevent...
tree
|
commitdiff
2023-03-20
Martin Quinson
Do not initialize the App's memory introspection if...
tree
|
commitdiff
2023-03-20
Martin Quinson
Put everything in position to re-fork the verified App
tree
|
commitdiff
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-19
Martin Quinson
cosmetics
tree
|
commitdiff
2023-03-19
Martin Quinson
Move more of the CheckerSide creation logic to the...
tree
|
commitdiff
2023-03-19
Martin Quinson
Differ the creation of the RemoteProcessMemory to when...
tree
|
commitdiff
2023-03-19
Martin Quinson
Better responsabilities splitup between CheckerSide...
tree
|
commitdiff
2023-03-19
Martin Quinson
Move methods not related to Memory out of RemoteProcess...
tree
|
commitdiff
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
tree
|
commitdiff
2023-03-19
Martin Quinson
Move the memory handling of RemoteProcessMemory singlet...
tree
|
commitdiff
2023-03-19
Martin Quinson
Move handle_message from ModelChecker to RemoteProcessM...
tree
|
commitdiff
2023-03-19
Martin Quinson
Move handle_waitpid from ModelChecker to RemoteProcessM...
tree
|
commitdiff
2023-03-19
Martin Quinson
another mc_model_checker call location disappears
tree
|
commitdiff
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-18
Martin Quinson
Reduce a bit the adherance of handle_waitpid to ModelCh...
tree
|
commitdiff
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-18
Martin Quinson
Merge CheckerSide::start() intp the constructor
tree
|
commitdiff
2023-03-18
Martin Quinson
Better split of responsabilities between CheckerSide...
tree
|
commitdiff
2023-03-18
Martin Quinson
Move the checker_side_ from the ModelChecker to the...
tree
|
commitdiff
2023-03-17
Martin Quinson
Simplify Channel::receive by handling non-blocking...
tree
|
commitdiff
2023-03-15
Martin Quinson
Sanitize how we know the current MC mode
tree
|
commitdiff
next