Commit 41189bee authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Update version number to 0.3+dev

parent 483e620d
......@@ -89,7 +89,7 @@ install:: install-sharedir
ifneq ("$(FRAMAC_INTERNAL)","yes")
VERSION=0.3
VERSION=0.3+dev
EXTRAVERSION?=
OPEN_SOURCE?=yes
......
opam-version: "2.0"
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.3"
version: "0.3+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
......
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