diff --git a/BreakingChanges.md b/BreakingChanges.md index 08d3388003..f113d64b3c 100644 --- a/BreakingChanges.md +++ b/BreakingChanges.md @@ -2,6 +2,10 @@ ## development HEAD +*None* + +## v2604 + - The function `HelperAnalyses::getAliasInfo()` no longer returns a `LLVMAliasSet &`, but a `LLVMAliasInfoRef`. - The location of the library summary `FunctionDataFlowFacts` and `LLVMFunctionDataFlowFacts` has moved to `phasar/Utils/` and `phasar/PhasarLLVM/Utils`, respectively. - `IDESolver::initialize()` does no longer return a `bool`. Now, you are always allowed to call `next()` at least once. diff --git a/CMakeLists.txt b/CMakeLists.txt index 1610e9ad57..0bb9701c17 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -23,7 +23,7 @@ if (DEFINED LLVM_MAIN_SRC_DIR) set(PHASAR_IN_TREE 1) endif() -set(PHASAR_VERSION 2510) +set(PHASAR_VERSION 2604) if (NOT PHASAR_IN_TREE) project (phasar LANGUAGES C CXX diff --git a/examples/use-phasar-with-fetch-content/CMakeLists.txt b/examples/use-phasar-with-fetch-content/CMakeLists.txt index 5ca0881e05..026e29fcee 100644 --- a/examples/use-phasar-with-fetch-content/CMakeLists.txt +++ b/examples/use-phasar-with-fetch-content/CMakeLists.txt @@ -11,7 +11,7 @@ include(FetchContent) FetchContent_Declare( phasar GIT_REPOSITORY https://github.com/secure-software-engineering/phasar.git - GIT_TAG development # At best, use a tagged version, such as v2510 + GIT_TAG development # At best, use a tagged version, such as v2604 EXCLUDE_FROM_ALL OVERRIDE_FIND_PACKAGE )