set(SURF_SRC
src/kernel/lmm/fair_bottleneck.cpp
- src/kernel/lmm/lagrange.cpp
src/kernel/lmm/maxmin.hpp
src/kernel/lmm/maxmin.cpp
src/mc/sosp/PageStore.cpp
src/mc/sosp/ChunkedData.hpp
src/mc/sosp/ChunkedData.cpp
- src/mc/sosp/RegionSnapshot.cpp
- src/mc/sosp/RegionSnapshot.hpp
- src/mc/sosp/mc_checkpoint.cpp
- src/mc/sosp/mc_snapshot.hpp
- src/mc/sosp/mc_snapshot.cpp
+ src/mc/sosp/Region.cpp
+ src/mc/sosp/Region.hpp
+ src/mc/sosp/Snapshot.hpp
+ src/mc/sosp/Snapshot.cpp
src/mc/AddressSpace.hpp
src/mc/ModelChecker.hpp
tools/stack-cleaner/clean-stack-filter
tools/stack-cleaner/compiler-wrapper
tools/stack-cleaner/README
+
+ setup.py
+ MANIFEST.in.in
)
set(PLATFORMS_EXAMPLES