Commit 6518a6e6 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

preparing v0.1

parent 0587c4b9
......@@ -77,7 +77,7 @@ install:: install-sharedir
ifneq ("$(FRAMAC_INTERNAL)","yes")
VERSION=0.0
VERSION=0.1
EXTRAVERSION?=
configure: configure.ac
......
opam-version: "2.0"
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.0"
version: "0.1"
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
......@@ -36,6 +36,6 @@ install: [
depends: [
"ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }
"frama-c" { >= "21.1+dev" }
"frama-c" { >= "22.0" & < "23.0" }
"why3" { >= "1.3.1" }
]
Supports Markdown
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