release: bump version and add history item

whitemech · Aug 14, 2021 · 1139be9 · 1139be9
1 parent d6e4b46
commit 1139be9
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -23,7 +23,7 @@ project (Lydia
          LANGUAGES CXX
          HOMEPAGE_URL https://github.com/whitemech/lydia.git
          DESCRIPTION "Lydia is a tool for LDLf translation to DFA and for LDLf synthesis.")
-set(PROJECT_VERSION "0.1.2")
+set(PROJECT_VERSION "0.1.3")
 set(${PROJECT_NAME}_VERSION ${PROJECT_VERSION})
 add_definitions( -DLYDIA_VERSION="${PROJECT_VERSION}" )
 set_property (GLOBAL PROPERTY USE_FOLDERS ON)

diff --git a/Dockerfile b/Dockerfile
@@ -1,5 +1,5 @@
 FROM ubuntu:20.04
-LABEL version="0.1.2"
+LABEL version="0.1.3"
 LABEL authors="Marco Favorito <[email protected]>"
 LABEL contributors="Francesco Fuggitti <[email protected]>"
 LABEL description="A Docker image to build the Lydia project."

diff --git a/HISTORY.md b/HISTORY.md
@@ -1,5 +1,11 @@
 # History
 
+## 0.1.3 (2021-08-14)
+
+*    Fix building issue: ([#114](https://github.com/whitemech/lydia/issues/114))
+*    Fix translation of Release LTLf-to-LDLf ([https://github.com/whitemech/lydia/commit/2070ec3608c68b7c7099c6eca89f4fde11ca0c95](https://github.com/whitemech/lydia/commit/2070ec3608c68b7c7099c6eca89f4fde11ca0c95))
+*    Update Syft+ dependency version to v0.1.1 ([#119](https://github.com/whitemech/lydia/pull/119))
+
 ## 0.1.2 (2021-06-20)
 
 *   Fix bug in the computation of the concatenation of two DFAs