Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f5a10d) | patch
Remove some restrictions on enable_model-checking now that it's only for the stateless MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 5 Nov 2023 02:27:48 +0000 (03:27 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 5 Nov 2023 02:27:48 +0000 (03:27 +0100)
commit06fc953f22826925328daae2030ef04465e927b7
tree4cee736a1224e484146855a955b09730843ae8c9tree | snapshot
parent5f5a10db6fc4552782638abb4817041223e17775commit | diff
Remove some restrictions on enable_model-checking now that it's only for the stateless MC
CMakeLists.txt diff | blob | history
Clone of SimGrid repository with local patches