Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Mar 2016 12:18:19 +0000 (13:18 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Mar 2016 12:31:35 +0000 (13:31 +0100)
commit5954f11308de69ea37c6f6fdd993925f90749984
treed8314f6b1143ccf163683059beea12405e908726
parent4667db33a753d88cbcd186f191fb1e65f49f4bd6
[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
21 files changed:
include/xbt/mmalloc.h
src/mc/Frame.hpp
src/mc/ModelChecker.hpp
src/mc/ObjectInformation.hpp
src/mc/Type.hpp
src/mc/Variable.hpp
src/mc/mc_checkpoint.cpp
src/mc/mc_compare.cpp
src/mc/mc_diff.cpp
src/mc/mc_forward.h [deleted file]
src/mc/mc_private.h
src/mc/mc_safety.h
src/mc/mc_snapshot.cpp
src/mc/mc_snapshot.h
src/mc/mc_state.h
src/simix/libsmx.cpp
src/simix/popping_bodies.cpp
src/simix/popping_generated.cpp
src/simix/popping_private.h
src/simix/simcalls.py
tools/cmake/DefinePackages.cmake