Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add missing copyright notices (and update)
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 17 Apr 2015 12:41:36 +0000 (14:41 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 17 Apr 2015 12:41:36 +0000 (14:41 +0200)
commitb61e4656c43c76b402a84cc138032a9f0126d951
tree7e092509473c5df132cd22d7733248cd671471b2
parent0ef1caaf350ac106b3431e8afb4246aace1b44d2
[mc] Add missing copyright notices (and update)
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/PageStore.cpp
src/mc/PageStore.hpp
src/mc/mc_object_info.cpp
src/mc/mc_process.cpp
src/mc/mc_unw_vmread.cpp