Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
further cleanups of the MC protocol (and fix its build :)
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 16 Jul 2017 16:22:42 +0000 (18:22 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 16 Jul 2017 16:24:38 +0000 (18:24 +0200)
commit9f56ed220cda230775eba337d021346c01ae37b8
tree6c01c19f0907f9087be6202991a4ec2f595f2e8b
parent35d84011da1f114490d6eb4d77e214edf56c810f
further cleanups of the MC protocol (and fix its build :)
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/mc_unw.h
src/mc/remote/Client.cpp
src/mc/remote/Client.hpp