Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm, because that's what it is
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 8 Mar 2022 16:45:47 +0000 (17:45 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 9 Mar 2022 09:08:51 +0000 (10:08 +0100)
commit3da4469131de2833075237e540984c82d57870fb
tree999f24246ff1eb7b18197ad0eeae9ad7af921514
parente2bc3b5da67548cb7210dbdf6297650a429c8836
Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm, because that's what it is
src/mc/api.cpp
src/mc/api.hpp
src/mc/explo/simgrid_mc.cpp