Bump version to 1.8.2

Author: sim642

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 = "1.8.1"
+version = "1.8.2"
 )
 
 package "all-features" (
 requires="goblint-cil.dataslicing goblint-cil.liveness goblint-cil.pta goblint-cil.makecfg goblint-cil.zrapp goblint-cil.syntacticsearch"
-version = "1.8.1"
+version = "1.8.2"
 )

README.md

@@ -99,7 +99,7 @@ instance in the OCaml toplevel using [Findlib][findlib]:
     # #require "cil";;
     [...]
     # Cil.cilVersion;;
-    - : string = "1.8.1"
+    - : string = "1.8.2"
 
 [findlib]: http://projects.camlcity.org/projects/findlib.html
 

configure

@@ -2531,7 +2531,7 @@ ac_config_files="$ac_config_files stamp-h"
 # Assign here the CIL version numbers
 CIL_VERSION_MAJOR=1
 CIL_VERSION_MINOR=8
-CIL_VERSION_REV=1
+CIL_VERSION_REV=2
 CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
 
 # make sure I haven't forgotten to run autoconf

configure.ac

@@ -33,7 +33,7 @@ AC_PREREQ([2.71])
 # Assign here the CIL version numbers
 CIL_VERSION_MAJOR=1
 CIL_VERSION_MINOR=8
-CIL_VERSION_REV=1
+CIL_VERSION_REV=2
 CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
 
 # make sure I haven't forgotten to run autoconf

dune-project

@@ -2,7 +2,7 @@
 (name goblint-cil)
 (implicit_transitive_deps false)
 (generate_opam_files true)
-(version 1.8.1)
+(version 1.8.2)
 (source (github goblint/cil))
 (homepage "https://cil-project.github.io/cil/")
 ; (documentation "https://goblint.github.io/cil")

goblint-cil.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "1.8.1"
+version: "1.8.2"
 synopsis:
   "A front-end for the C programming language that facilitates program analysis and transformation"
 description: """