Bump goblint-cil to 1.7.7

michael-schwarz · michael-schwarz · commit 1481c4d0f3d7 · 2020-10-23T09:49:45.000+02:00
diff --git a/META.goblint-cil.template b/META.goblint-cil.template
@@ -2,10 +2,10 @@
 
 package "default-features" (
 requires="goblint-cil.simplemem goblint-cil.canonicalize goblint-cil.dataslicing goblint-cil.liveness goblint-cil.heapify goblint-cil.oneret goblint-cil.logcalls goblint-cil.pta goblint-cil.partial goblint-cil.sfi goblint-cil.simplify goblint-cil.callgraph goblint-cil.logwrites goblint-cil.epicenter"
-version = "1.7.6"
+version = "1.7.7"
 )
 
 package "all-features" (
 requires="goblint-cil.simplemem goblint-cil.canonicalize goblint-cil.dataslicing goblint-cil.liveness goblint-cil.llvm goblint-cil.heapify goblint-cil.oneret goblint-cil.logcalls goblint-cil.pta goblint-cil.inliner goblint-cil.partial goblint-cil.blockinggraph goblint-cil.sfi goblint-cil.simplify goblint-cil.cqualann goblint-cil.callgraph goblint-cil.zrapp goblint-cil.logwrites goblint-cil.epicenter goblint-cil.ccl"
-version = "1.7.6"
+version = "1.7.7"
 )
diff --git a/dune-project b/dune-project
@@ -2,7 +2,7 @@
 (name goblint-cil)
 (implicit_transitive_deps false)
 (generate_opam_files true)
-(version 1.7.6)
+(version 1.7.7)
 (source (github goblint/cil))
 (homepage "https://cil-project.github.io/cil/")
 ; (documentation "https://goblint.github.io/cil")
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: "1.7.6"
+version: "1.7.7"
 synopsis:
   "A front-end for the C programming language that facilitates program analysis and transformation"
 description: """

Original file line number	Diff line number	Diff line change
`@@ -2,10 +2,10 @@`
`2`	`2`
`3`	`3`	`package "default-features" (`
`4`	`4`	`requires="goblint-cil.simplemem goblint-cil.canonicalize goblint-cil.dataslicing goblint-cil.liveness goblint-cil.heapify goblint-cil.oneret goblint-cil.logcalls goblint-cil.pta goblint-cil.partial goblint-cil.sfi goblint-cil.simplify goblint-cil.callgraph goblint-cil.logwrites goblint-cil.epicenter"`
`5`		`-version = "1.7.6"`
	`5`	`+version = "1.7.7"`
`6`	`6`	`)`
`7`	`7`
`8`	`8`	`package "all-features" (`
`9`	`9`	`requires="goblint-cil.simplemem goblint-cil.canonicalize goblint-cil.dataslicing goblint-cil.liveness goblint-cil.llvm goblint-cil.heapify goblint-cil.oneret goblint-cil.logcalls goblint-cil.pta goblint-cil.inliner goblint-cil.partial goblint-cil.blockinggraph goblint-cil.sfi goblint-cil.simplify goblint-cil.cqualann goblint-cil.callgraph goblint-cil.zrapp goblint-cil.logwrites goblint-cil.epicenter goblint-cil.ccl"`
`10`		`-version = "1.7.6"`
	`10`	`+version = "1.7.7"`
`11`	`11`	`)`