Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Working on an interface between a model-checking session and a model-checking...
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 18 Mar 2016 16:00:55 +0000 (17:00 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commit33aec8491c4c337352f570c24f8a76298e3a319c
treefcd1f4369b7cffccf4b75be8ead00d01e3092c77
parentc67fa2b51e1d608113457720eb9292cd75c0941c
[mc] Working on an interface between a model-checking session and a model-checking algorithm
include/xbt/system_error.hpp
src/mc/Checker.cpp [new file with mode: 0644]
src/mc/Checker.hpp [new file with mode: 0644]
src/mc/Session.cpp [new file with mode: 0644]
src/mc/Session.hpp [new file with mode: 0644]
src/mc/mc_forward.hpp
src/mc/simgrid_mc.cpp
tools/cmake/DefinePackages.cmake