Skip to content
Snippets Groups Projects
Commit 93c0233e authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

version +dev

parent 20b82e04
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 @ 93c0233e
......@@ -36,7 +36,7 @@ build: [
]
name: "frama-c-metacsl"
synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
version: "0.8~beta"
version: "0.8+dev"
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
+ 1
− 1
View file @ 93c0233e
name: "frama-c-metacsl"
synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
version: "0.8~beta"
version: "0.8+dev"
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
......
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