[release] bump version

CHANGELOG.md

+# Version 0.8
+
+- compatibility with Frama-C 30.0 Zinc
+
+# Version 0.7
+
+- compatibility with Frama-C 29.0 Copper
+
 # Version 0.6
 
 - compatibility with Frama-C 28.x Nickel
@@ -7,6 +15,7 @@
 
 - compatibility with Frama-C 27.x Cobalt
 - added `-meta-check-callee-assigns` option (contributed by Thales Research & Technology)
+- added `\lhost_written` and `\lhost_read` meta-variables
 
 # Version 0.4
 

frama-c-metacsl.opam

@@ -36,7 +36,7 @@ build: [
 ]
 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.7"
+version: "0.8~beta"
 description:"""
 MetAcsl let users write properties that need to be checked at particular
 contexts (e.g. each time a location is written to inside a given set

frama-c-metacsl.opam.template

 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.7"
+version: "0.8~beta"
 description:"""
 MetAcsl let users write properties that need to be checked at particular
 contexts (e.g. each time a location is written to inside a given set