Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
meta
Commits
d01ef8d4
Commit
d01ef8d4
authored
Jan 04, 2022
by
Virgile Prevosto
Browse files
version bump and update opam file
parent
dae7a09e
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile.in
View file @
d01ef8d4
...
...
@@ -89,7 +89,7 @@ install:: install-sharedir
ifneq
("$(FRAMAC_INTERNAL)","yes")
VERSION
=
0.
0
VERSION
=
0.
2
EXTRAVERSION
?=
OPEN_SOURCE
?=
yes
...
...
opam
View file @
d01ef8d4
opam-version: "2.0"
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.
0
"
version: "0.
2
"
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
...
...
@@ -9,12 +9,12 @@ of functions). It will then generate all the corresponding ACSL
annotations, leaving it to analysis plug-ins (e.g. WP) to prove the
resulting clauses.
"""
maintainer: "virgile.
robles
@cea.fr"
maintainer: "virgile.
prevosto
@cea.fr"
authors: [
"Virgile Robles"
]
homepage: "http://frama-c.com/"
license: "LGPL
v
2.1"
homepage: "http
s
://frama-c.com/"
license: "LGPL
-
2.1
-only
"
dev-repo: "git+https://git.frama-c.com/pub/meta.git"
bug-reports: "https://git.frama-c.com/pub/meta/-/issues"
tags: [
...
...
@@ -25,7 +25,7 @@ tags: [
]
build: [
["autoconf"] {
pinned
}
["autoconf"] {
dev
}
["./configure"]
[make "-j%{jobs}%"]
]
...
...
@@ -35,7 +35,11 @@ install: [
]
depends: [
"ocaml" { >=
"4.05.0" & ( < "4.08.0~" | >=
"4.08.1"
)
}
"frama-c" { >= "2
2.0+dev
" }
"why3" { >= "1.
4.0
" }
"ocaml" { >= "4.08.1" }
"frama-c" { >= "2
4.0" & < "25.0
" }
"why3" { >= "1.
3.1
" }
]
depopts: [ "conf-swi-prolog" ]
messages: [ "Note that if you wish to use the deduction features of MetAcsl, you must install the conf-swi-prolog package (and swi-prolog itself)" {!conf-swi-prolog:installed} ]
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment