Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: finish emptying an old C file
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 May 2019 21:47:30 +0000 (23:47 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 May 2019 21:47:34 +0000 (23:47 +0200)
commit61cb4e2573cc8a606e2e09cfb97a8546db50530d
tree3cbdc369a9b03c7d94913fdf0ffe67728bab2c62
parent394c1a744abaf32ddcc2c594c2208c30932f885a
MC: finish emptying an old C file

Its content was dispatched to classes (that's still a bit cheatty in
inspect/ but that's in progress)
src/mc/inspect/ObjectInformation.cpp
src/mc/sosp/mc_checkpoint.cpp [deleted file]
tools/cmake/DefinePackages.cmake