Merge branch 'stable/cobalt'

dune-project

@@ -29,8 +29,8 @@
 
 (package (name frama-c-metacsl)
  (depends
-  (ocaml (>= 4.08.1))
-  (frama-c (and (>= 26.0~) (< 27.0~)))
+  (ocaml (>= 4.11.1))
+  (frama-c (and (>= 27.0~) (< 28.0~)))
  )
  (depopts
    conf-swi-prolog  ; for the deduction features of MetAcsl

frama-c-metacsl.opam

@@ -10,8 +10,8 @@ tags: [
 ]
 depends: [
   "dune" {>= "3.2"}
-  "ocaml" {>= "4.08.1"}
-  "frama-c" {>= "26.0~" & < "27.0~"}
+  "ocaml" {>= "4.11.1"}
+  "frama-c" {>= "27.0~" & < "28.0~"}
   "odoc" {with-doc}
 ]
 depopts: [
@@ -36,7 +36,7 @@ build: [
 ]
 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.4+dev"
+version: "0.5~beta"
 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

frama-c-metacsl.opam.template

 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.4+dev"
+version: "0.5~beta"
 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

tests/wp-cache/cache/02ec56fcf1c1a815b7db564e0b1f8eed.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0047,
+  "steps": 29 }

tests/wp-cache/cache/243a414ad350253fcde34ef28d4b0805.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0126,
+  "steps": 158 }

tests/wp-cache/cache/29fae1b03ae769dd9d5227abcf97e182.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0124,
+  "steps": 47 }

tests/wp-cache/cache/3cc18422e0c163603d7aff88afcb9de5.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/60c47cb034783c49959264a81c38fb59.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/662be506be96b93077371c9197816490.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/704114ccfd125f30e51abb279169d8ab.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/73c1837214ac1fd111f9e883fc89a9c2.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0125,
+  "steps": 157 }

tests/wp-cache/cache/a8e6337cb512c10286c6e1b2f0b2513c.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0057,
+  "steps": 20 }

tests/wp-cache/cache/c4706d26672432bc13ae0b4acac5a31b.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/fb37747238b7860c303daac9b3d1f842.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0047,
+  "steps": 20 }