Bump version to 2.0.2

goblint · Sep 11, 2023 · 98598d9 · 98598d9
1 parent 9e93238
commit 98598d9
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/META.goblint-cil.template b/META.goblint-cil.template
@@ -2,10 +2,10 @@
 
 package "default-features" (
 requires="goblint-cil.dataslicing goblint-cil.liveness goblint-cil.pta goblint-cil.makecfg goblint-cil.syntacticsearch"
-version = "2.0.1"
+version = "2.0.2"
 )
 
 package "all-features" (
 requires="goblint-cil.dataslicing goblint-cil.liveness goblint-cil.pta goblint-cil.makecfg goblint-cil.zrapp goblint-cil.syntacticsearch"
-version = "2.0.1"
+version = "2.0.2"
 )
diff --git a/README.md b/README.md
@@ -84,7 +84,7 @@ instance in the OCaml toplevel using [Findlib][findlib]:
     # #require "goblint-cil";;
     [...]
     # GoblintCil.cilVersion;;
-    - : string = "2.0.1"
+    - : string = "2.0.2"
 
 [findlib]: http://projects.camlcity.org/projects/findlib.html
 

diff --git a/dune-project b/dune-project
@@ -2,7 +2,7 @@
 (name goblint-cil)
 (implicit_transitive_deps false)
 (generate_opam_files true)
-(version 2.0.1)
+(version 2.0.2)
 (source (github goblint/cil))
 ; (documentation "https://goblint.github.io/cil")
 (authors "George Necula" "Scott McPeak" "Westley Weimer" "Gabriel Kerneis" "Ralf Vogler" "Michael Schwarz" "Simmo Saan")

diff --git a/goblint-cil.opam b/goblint-cil.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "2.0.1"
+version: "2.0.2"
 synopsis:
   "A front-end for the C programming language that facilitates program analysis and transformation"
 description: """