Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move mc:api::get_remote_heap_bytes() to RemoteProcess
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 23:05:56 +0000 (01:05 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 23:05:56 +0000 (01:05 +0200)
commit77385a2b4bc1518d701cbf33acc04d16ae3b640b
tree8703aeda2098568f72a3c61ef83206b3679ba59d
parenta2b07e1db97dbd4d8acb6c83de13d2e9449520e1
Move mc:api::get_remote_heap_bytes() to RemoteProcess
src/mc/VisitedState.cpp
src/mc/api.cpp [deleted file]
src/mc/api.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/remote/RemoteProcess.cpp
src/mc/remote/RemoteProcess.hpp
tools/cmake/DefinePackages.cmake