v0.6.0

GaloisInc · Oct 28, 2022 · 705a16c · 705a16c
1 parent e816b4c
commit 705a16c
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 3 deletions.
diff --git 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
@@ -7,11 +7,24 @@ Changelog
 next
 ****
 
+`v0.6.0`_ - 2022-10-27
+**********************
+
+`Compare to v0.5.0 <https://github.com/GaloisInc/cclyzerpp/compare/v0.5.0...v0.6.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