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
/
mc_protocol.h
2023-11-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
2023-11-05
Martin Quinson
Remove the stateful model-checking from the archive...
blob
|
commitdiff
|
raw
2023-06-28
Martin Quinson
Merge branch 'master' into 'python_bindings_host_load_p...
blob
|
commitdiff
|
raw
|
diff to current
2023-06-20
Fred Suter
Merge branch 'master' into 'task-token'
blob
|
commitdiff
|
raw
|
diff to current
2023-06-16
Arnaud Giersch
Merge branch 'fix-wakeup-tree-iterator' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-06-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-06-15
Martin Quinson
Fix the liveness tests by ignoring the Comm ID memory...
blob
|
commitdiff
|
raw
|
diff to current
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
blob
|
commitdiff
|
raw
|
diff to current
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-05-15
Arnaud Giersch
Define master_socket_name only once, and embed it with...
blob
|
commitdiff
|
raw
|
diff to current
2023-04-04
Martin Quinson
Make the MC protocol work on top of STREAM sockets
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-25
Martin Quinson
MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO
blob
|
commitdiff
|
raw
|
diff to current
2023-03-24
Arnaud Giersch
Determine n_transitions on receiving side (and remove...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-24
Arnaud Giersch
There's no need to compute the total transition count...
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-20
Martin Quinson
Do not initialize the App's memory introspection if...
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: stop reading maxpid in memory, but ask it over...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-23
Arnaud Giersch
Merge branch 'simgrid-udpor-integration' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-02-23
Arnaud Giersch
Various cleanups.
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-02-18
Martin Quinson
reduce the amount of header includes in headers, to...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-02-15
Martin Quinson
Merge branch 'actor-comms' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2023-02-10
Maxwell Pirtle
Add intial steps to transfer transitions to the MC
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-31
Martin Quinson
sanitize things around FINALIZE_REPLY despite my lazine...
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-07-30
Martin Quinson
Finally kill mc::RemoteProcess::actors(). We now commun...
blob
|
commitdiff
|
raw
|
diff to current
2022-07-22
Augustin Degomme
Merge branch 'support-sendrecv-ti' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-07-21
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2022-07-21
Martin Quinson
Separate mmalloc from xbt
blob
|
commitdiff
|
raw
|
diff to current
2022-05-10
Arnaud Giersch
Concatenate nested namespaces (sonar).
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-02-19
Martin Quinson
kill ModelChecker::simcall_is_visible()
blob
|
commitdiff
|
raw
|
diff to current
2022-02-16
Arnaud Giersch
Use C++ std::array (sonar).
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Simplify the serialization protocol to implement TestAn...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Move dot_label() from Observer to Transition (+ some...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Better fix for the security warning from sonar: hide...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
Martin Quinson
Fix the security hotspots of sonar
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Big bang in MC: app's observers are serialized, to...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
Don't compute the dependencies locally in the checker...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-22
Arnaud Giersch
Use type aid_t for actor ids.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-19
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-04-07
Arnaud Giersch
Replace void* used for RemoteProcess pointers.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-07
Arnaud Giersch
Stop using void* for xbt_mheap_t.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Martin Quinson
Actor's ID should be a long, and should be named AID
blob
|
commitdiff
|
raw
|
diff to current
2021-03-20
Martin Quinson
Add ModelChecker::finalize_app(), but don't use it...
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-02-28
Martin Quinson
Split inspector::is_pending() in two logical parts
blob
|
commitdiff
|
raw
|
diff to current
2021-02-28
Martin Quinson
objectification of MC simcall achieved -- many tests...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-24
agougeon
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-02-05
eazimi
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-02-05
Arnaud Giersch
Use XBT_DECLARE_ENUM_CLASS for mc::MessageType.
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-26
Ehsan Azimi
Merge with simgrid/master
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-26
Arnaud Giersch
std::array...
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-05-05
Martin Quinson
simplify the MC initialization by using only one env...
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-11-19
Martin Quinson
Merge branch 'xbt_random' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2019-11-02
Martin Quinson
The parenthesis of SG_BEGIN_DECL fools doxygen. Get...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-08-27
Augustin Degomme
fix mc build with gcc10
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Martin Quinson
Merge branch 'tracemgrsplit' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2019-05-29
Martin Quinson
Kill the support for privatized SMPI in MC mode
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-06-27
onesphore
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2018-06-23
Martin Quinson
Merge pull request #272 from mpoquet/SMPI_convert
blob
|
commitdiff
|
raw
|
diff to current
2018-06-23
Martin Quinson
untangle a bit mc header files
blob
|
commitdiff
|
raw
|
diff to current
2018-06-23
Martin Quinson
cut some includes in MC
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-11-01
Arnaud Giersch
Remove useless typedefs.
blob
|
commitdiff
|
raw
|
diff to current
2017-10-02
Zitagcc
Merge branch 'master' into async-wait
blob
|
commitdiff
|
raw
|
diff to current
2017-09-22
Arnaud Giersch
mc/remote: switch to socket type SOCK_SEQPACKET to...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-18
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-18
Martin Quinson
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2017-07-18
Martin Quinson
MC: checker kindly ask the app whether an actor is...
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
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2017-07-16
Martin Quinson
cleanups in the MC protocol
blob
|
commitdiff
|
raw
|
diff to current
2017-03-08
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-08
Martin Quinson
fix copyright years and other psychotic cleanups
blob
|
commitdiff
|
raw
|
diff to current
next