Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetic to make the code easier to read
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 24 Jul 2019 21:50:55 +0000 (23:50 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 24 Jul 2019 22:26:00 +0000 (00:26 +0200)
commit7cbb44e02a4c28ea278e9b82c9dda3bdff2c3cb9
treecce904ca2f5ec4609881de9aca3716f74cbfcaf9
parent310489f23b42118424a3c374f9b6097e07f48d11
cosmetic to make the code easier to read
include/simgrid/modelchecker.h
src/simix/smx_global.cpp