Merge pull request #2738 from diffblue/remove-memory-models

remove memory-models

Author: Daniel Kroening

CMakeLists.txt

@@ -69,7 +69,6 @@ set_target_properties(
     langapi
     linking
     miniBDD
-    mmcc
     pointer-analysis
     solvers
     test-bigint

src/CMakeLists.txt

@@ -91,7 +91,6 @@ add_subdirectory(jsil)
 add_subdirectory(json)
 add_subdirectory(langapi)
 add_subdirectory(linking)
-add_subdirectory(memory-models)
 add_subdirectory(pointer-analysis)
 add_subdirectory(solvers)
 add_subdirectory(util)

src/Makefile

@@ -14,7 +14,6 @@ DIRS = analyses \
        json \
        langapi \
        linking \
-       memory-models \
        pointer-analysis \
        solvers \
        util \