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

Merge branch 'stable/manganese'

parents 20b6522b 3a6bf467
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
CHANGELOG.md
+ 5
− 1
View file @ 1c2156d4
# 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 warning category `unknown-func` which aborts by default
- add `\func` meta-variables in all contexts - add `\func` meta-variables in all contexts
......
Makefile.in
+ 1
− 1
View file @ 1c2156d4
...@@ -89,7 +89,7 @@ install:: install-sharedir ...@@ -89,7 +89,7 @@ install:: install-sharedir
ifneq ("$(FRAMAC_INTERNAL)","yes") ifneq ("$(FRAMAC_INTERNAL)","yes")
VERSION=0.2 VERSION=0.3
EXTRAVERSION?= EXTRAVERSION?=
OPEN_SOURCE?=yes OPEN_SOURCE?=yes
......
opam
+ 3
− 3
View file @ 1c2156d4
opam-version: "2.0" opam-version: "2.0"
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.2" version: "0.3"
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
...@@ -36,8 +36,8 @@ install: [ ...@@ -36,8 +36,8 @@ install: [
depends: [ depends: [
"ocaml" { >= "4.08.1" } "ocaml" { >= "4.08.1" }
"frama-c" { >= "24.0" & < "25.0" } "frama-c" { >= "25.0" & < "26.0" }
"why3" { >= "1.3.1" } "why3" { >= "1.5.0" }
] ]
depopts: [ "conf-swi-prolog" ] depopts: [ "conf-swi-prolog" ]
......
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