diff --git a/CMakeLists.txt b/CMakeLists.txt index b4ac1f6..63d6efa 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.5.0) +project(cclyzer++ LANGUAGES C CXX VERSION 0.6.0) # ----------------------------------------------------------------------------- diff --git a/doc/changelog.rst b/doc/changelog.rst index a220f59..a1f111d 100644 --- a/doc/changelog.rst +++ b/doc/changelog.rst @@ -7,11 +7,24 @@ Changelog next **** +`v0.6.0`_ - 2022-10-27 +********************** + +`Compare to v0.5.0 `_. + Changed ~~~~~~~ -- cclyzer++ now builds against (and requires) LLVM 14. See :doc:`build` for how - to build against other versions of LLVM. +- cclyzer++ now builds against LLVM 14. See :doc:`build` for how to build + against other versions of LLVM. +- Considerable documentation improvements. +- The Docker images now use Ubuntu 22.04. +- Release artifacts are now built with optimizations. + +Removed +~~~~~~~ + +- Removed handling of function attributes in Datalog and FactGenerator code. `v0.5.0`_ - 2022-10-21 ********************** @@ -122,5 +135,6 @@ Known Issues .. _v0.3: https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.3 .. _v0.4.0: https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.4.0 .. _v0.5.0: https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.5.0 +.. _v0.6.0: https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.6.0 .. _#69: https://github.com/GaloisInc/cclyzerpp/issues/69 .. _#98: https://github.com/GaloisInc/cclyzerpp/issues/98