Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove mc_interface.h
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 17 Apr 2015 10:58:42 +0000 (12:58 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 17 Apr 2015 10:58:42 +0000 (12:58 +0200)
commit4afde5a12341a68569e8c15d06a799d3b26338e9
tree9745b4cf147ab8c8b7133ea91557790efaaed7ba
parent38bbe7c67eeccb4b8fa60a3f6982a33e6497c4ea
[mc] Remove mc_interface.h
buildtools/Cmake/DefinePackages.cmake
src/mc/mc_base.cpp
src/mc/mc_forward.h
src/mc/mc_interface.h [deleted file]
src/mc/mc_location.h
src/mc/mc_process.h
src/mc/mc_safety.h
src/simix/libsmx.c
src/simix/popping_bodies.c
src/simix/popping_private.h
src/simix/simcalls.py