Commit 3a6bf467 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Preparing release 0.3 (for Manganese)

parent 1a25f9ef
# Current development
# Version 0.3
- compatibility with Frama-C 25.0 Manganese
# Version 0.2
- add warning category `unknown-func` which aborts by default
- add `\func` meta-variables in all contexts
......
......@@ -89,7 +89,7 @@ install:: install-sharedir
ifneq ("$(FRAMAC_INTERNAL)","yes")
VERSION=0.2
VERSION=0.3
EXTRAVERSION?=
OPEN_SOURCE?=yes
......
opam-version: "2.0"
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.2"
version: "0.3"
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,8 +36,8 @@ install: [
depends: [
"ocaml" { >= "4.08.1" }
"frama-c" { >= "24.0" & < "25.0" }
"why3" { >= "1.3.1" }
"frama-c" { >= "25.0" & < "26.0" }
"why3" { >= "1.5.0" }
]
depopts: [ "conf-swi-prolog" ]
......
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