diff --git a/CMakeLists.txt b/CMakeLists.txt index 4571367..d977181 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,7 +1,7 @@ # minimum version: 3.12 for CMAKE_PROJECT_VERSION cmake_minimum_required(VERSION 3.12 FATAL_ERROR) -project(cclyzer++ LANGUAGES C CXX VERSION 0.6.0) +project(cclyzer++ LANGUAGES C CXX VERSION 0.7.0) # ----------------------------------------------------------------------------- diff --git a/doc/changelog.rst b/doc/changelog.rst index a1f111d..9e9f408 100644 --- a/doc/changelog.rst +++ b/doc/changelog.rst @@ -4,8 +4,31 @@ Changelog .. See https://keepachangelog.com/en/1.0.0/ for a helpful reference. -next -**** +`v0.7.0`_ - 2022-11-02 +********************** + +`Compare to v0.6.0 `_. + +Added +~~~~~ + +- Add limited support for LLVM 15 and nightly (16). +- Add support for ``fadd``, ``fsub``, ``fmin``, ``fmax`` atomic operations to + the FactGenerator and Datalog. + +Changed +~~~~~~~ + +- Changed look and feel of the documentation. +- Refactorings and small improvements to the FactGenerator. +- The FactGenerator fails more aggressively on malformed LLVM modules. + +Removed +~~~~~~~ + +- Removed C pre-processor directives concerning LLVM versions less than 10. This + may cause failures to build against very old versions of LLVM that were never + officially supported. `v0.6.0`_ - 2022-10-27 **********************