Update cclyzer++ to v0.5.0

See: - https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.5.0 - https://galoisinc.github.io/cclyzerpp/changelog.html#v0-5-0-2022-10-21
GaloisInc · Oct 29, 2022 · ba73c57 · ba73c57
1 parent f175593
commit ba73c57
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/frontend/mate-common/mate_common/models/builds.py b/frontend/mate-common/mate_common/models/builds.py
@@ -23,7 +23,6 @@ class PointerAnalysis(str, enum.Enum):
     """
 
     DEBUG = "debug"
-    SUBSET_AND_UNIFICATION = "subset-and-unification"
     SUBSET = "subset"
     UNIFICATION = "unification"
 

diff --git a/llvm/CMakeLists.txt b/llvm/CMakeLists.txt
@@ -35,7 +35,10 @@ find_program(
   NAMES "clang-format"
   DOC "Path to clang-format executable.")
 
+# cclyzer++ builds against LLVM 11 by default, override this.
+set(LLVM_MAJOR_VERSION 10)
 add_subdirectory(PointerAnalysis)
+
 add_subdirectory(MATE)
 add_subdirectory(headache)
 add_subdirectory(nomina)
diff --git a/llvm/PointerAnalysis b/llvm/PointerAnalysis