v0.4.0

GaloisInc · Oct 21, 2022 · b26c4ac · b26c4ac
1 parent 3de1e39
commit b26c4ac
Show file tree

Hide file tree

Showing 4 changed files with 22 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.3)
+project(cclyzer++ LANGUAGES C CXX VERSION 0.4.0)
 
 # -----------------------------------------------------------------------------
 

diff --git a/doc/changelog.rst b/doc/changelog.rst
@@ -7,6 +7,26 @@ Changelog
 next
 ****
 
+`v0.4.0`_ - 2022-10-21
+********************
+
+`Compare to v0.3 <https://github.com/GaloisInc/cclyzerpp/compare/v0.4.0...v0.3>`_.
+
+Changed
+~~~~~~~
+
+- Improved type-safety in the Datalog code.
+- Several relations were renamed for the sake of consistency between the
+  FactGenerator and the analysis code (Datalog).
+
+Removed
+~~~~~~~
+
+- Removed the unused ``subset-and-unification`` build target.
+- Removed the instantiations of the ``ThrowInstruction`` component in both
+  analyses.
+- Removed a few extraneous relations.
+
 `v0.3`_ - 2022-10-12
 ********************
 

diff --git a/doc/dev.rst b/doc/dev.rst
@@ -19,7 +19,7 @@ Cutting a Release
 
 - Run the extended test suite (see ``EXTRA_TESTS`` above).
 - Ensure that the :doc:`changelog` is up to date.
-- Bump the project version``CMakeLists.txt`` and ``dist.dockerfile``.
+- Bump the project version``CMakeLists.txt``.
 - Push a new tag that starts with ``v``, e.g., ``v0.2``, and the CI build will
   create a draft release on Github.
 

diff --git a/docker/dist.dockerfile b/docker/dist.dockerfile
@@ -3,7 +3,6 @@
 # TODO(#12): Upgrade to 22.04, LLVM 15
 ARG BASE=ubuntu:20.04
 FROM $BASE
-ARG VERSION=0.3
 SHELL ["/bin/bash", "-c", "-o", "pipefail"]
 COPY ./build/cclyzer++*.deb /tmp/cclyzer++.deb
 RUN dpkg -i /tmp/cclyzer++.deb && \