Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Actor's ID should be a long, and should be named AID
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 31 Mar 2021 21:08:43 +0000 (23:08 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 1 Apr 2021 07:22:25 +0000 (09:22 +0200)
commit97fed1ab7cb584d61415854ce500f2176679c5ac
tree8a12439309cf8273e0fb374375a00c200cf116e3
parent8961108992d6008467a03531bbb35986aa5cc344
Actor's ID should be a long, and should be named AID
src/mc/ModelChecker.cpp
src/mc/Transition.hpp
src/mc/api.cpp
src/mc/mc_record.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/mc_protocol.h