From b26c4ac42810a928c4db7cabde2799e25a1b7a4f Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Fri, 21 Oct 2022 14:45:26 -0400 Subject: [PATCH] v0.4.0 --- CMakeLists.txt | 2 +- doc/changelog.rst | 20 ++++++++++++++++++++ doc/dev.rst | 2 +- docker/dist.dockerfile | 1 - 4 files changed, 22 insertions(+), 3 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index df4843f..fb1c14a 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.3) +project(cclyzer++ LANGUAGES C CXX VERSION 0.4.0) # ----------------------------------------------------------------------------- diff --git a/doc/changelog.rst b/doc/changelog.rst index 34a4c12..3dad6f3 100644 --- a/doc/changelog.rst +++ b/doc/changelog.rst @@ -7,6 +7,26 @@ Changelog next **** +`v0.4.0`_ - 2022-10-21 +******************** + +`Compare to 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 index 2b18b32..dd708cc 100644 --- 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 index ef903f9..bc3a89c 100644 --- 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 && \