Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rework the doc of model-check/replay, and add an example with sthread
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 Nov 2023 21:13:25 +0000 (22:13 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 Nov 2023 21:13:25 +0000 (22:13 +0100)
commitabf3b21ad3f4a19475431076e6e2b26f76d2e7d6
tree7a44ab79ffe4fc250d6da84c50c93b8d6bca2e68
parentc4c82977e0a105cdf7b04010ddd21bbf15dced4d
Rework the doc of model-check/replay, and add an example with sthread
docs/source/Configuring_SimGrid.rst