Skip to content
Snippets Groups Projects
Commit 368ff9b4 authored by Thibault Martin's avatar Thibault Martin
Browse files

[release] Bump version to 0.7

parent 6d47cddf
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
frama-c-metacsl.opam
+ 1
− 1
View file @ 368ff9b4
...@@ -36,7 +36,7 @@ build: [ ...@@ -36,7 +36,7 @@ build: [
] ]
name: "frama-c-metacsl" name: "frama-c-metacsl"
synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties" synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
version: "0.6+dev" version: "0.7"
description:""" description:"""
MetAcsl let users write properties that need to be checked at particular 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 contexts (e.g. each time a location is written to inside a given set
......
frama-c-metacsl.opam.template
+ 1
− 1
View file @ 368ff9b4
name: "frama-c-metacsl" name: "frama-c-metacsl"
synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties" synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
version: "0.6+dev" version: "0.7"
description:""" description:"""
MetAcsl let users write properties that need to be checked at particular 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 contexts (e.g. each time a location is written to inside a given set
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment