Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
(wip) Move the MCed public API in the same file
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 6 Feb 2015 13:58:15 +0000 (14:58 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 6 Feb 2015 13:58:15 +0000 (14:58 +0100)
commitfe9ec44b78f1d4b5a89db951d025bb33d0cd73d1
tree68932567e816af04bd54b48940bf900f4d0fac0b
parent9c40447cb76e20937a7c2a5acedcd84a22990514
(wip) Move the MCed public API in the same file
buildtools/Cmake/DefinePackages.cmake
include/simgrid/modelchecker.h
src/mc/mc_checkpoint.c
src/mc/mc_client.c
src/mc/mc_client_api.c [new file with mode: 0644]
src/mc/mc_compare.cpp
src/mc/mc_global.c