Commit 27c5ac8f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'feature/0.4-release' into 'stable/iron'

Prepare beta release

See merge request frama-c/meta!75
parents 9a883500 1444fe29
......@@ -24,6 +24,8 @@
FRAMAC_SHARE:=$(shell frama-c-config -print-share-path)
include $(FRAMAC_SHARE)/Makefile.common
##########################################################################
# Build
......
......@@ -30,7 +30,7 @@
(package (name frama-c-metacsl)
(depends
(ocaml (>= 4.08.1))
(frama-c (and (>= 24.0) (< 25.0)))
(frama-c (and (>= 26.0~) (< 27.0~)))
)
(depopts
conf-swi-prolog ; for the deduction features of MetAcsl
......
......@@ -11,7 +11,7 @@ tags: [
depends: [
"dune" {>= "3.2"}
"ocaml" {>= "4.08.1"}
"frama-c" {>= "24.0" & < "25.0"}
"frama-c" {>= "26.0~" & < "27.0~"}
"odoc" {with-doc}
]
depopts: [
......@@ -35,10 +35,10 @@ build: [
["dune" "install" "-p" name "--create-install-files" name]
]
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.3+dev"
synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
version: "0.4~beta"
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
of functions). It will then generate all the corresponding ACSL
annotations, leaving it to analysis plug-ins (e.g. WP) to prove the
......
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.3+dev"
synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
version: "0.4~beta"
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
of functions). It will then generate all the corresponding ACSL
annotations, leaving it to analysis plug-ins (e.g. WP) to prove the
......
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