Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC further cleanups (let it compile, this time)
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 23:37:40 +0000 (01:37 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 23:37:40 +0000 (01:37 +0200)
commit7b4766bf670b8042a39700c3f27e61b82db3d6cd
tree5b18efdf557cb4e10c1cee1408dfe6b90784e589
parentd8303a57360023593881a8c45c37709b4941f431
MC further cleanups (let it compile, this time)
MANIFEST.in
include/simgrid/modelchecker.h
src/kernel/context/ContextUnix.cpp
src/mc/Session.hpp
src/mc/api.cpp
src/mc/api/State.hpp
src/mc/mc_client_api.cpp
src/mc/mc_ignore.hpp [deleted file]
src/mc/remote/AppSide.cpp
tools/cmake/DefinePackages.cmake