Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7aa303) | patch
Model-checking is robust now that it's stateless MC only -- remove precautionous...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 5 Nov 2023 15:30:34 +0000 (16:30 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 5 Nov 2023 15:30:34 +0000 (16:30 +0100)
commit50724cb500bddb551877bf058171d22d34adc27a
tree7614aed8fe74eb06ea28326d86898ec229e92d14tree | snapshot
parentf7aa303edbab9661d7054dcf1a795a88332ab3a6commit | diff
Model-checking is robust now that it's stateless MC only -- remove precautionous compiler flags
tools/cmake/Flags.cmake diff | blob | history
Clone of SimGrid repository with local patches