Giters
ocaml-gospel
/
cameleer
A Deductive Verification Tool for OCaml Programs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
60
Watchers:
5
Issues:
14
Forks:
8
ocaml-gospel/cameleer Issues
Failing to build under newer version of Why3
Closed
9 months ago
Support for floating-point theory in Cameleer
Updated
9 months ago
Release on opam
Updated
a year ago
Use of [] to access a List element
Updated
2 years ago
anomaly: "Assert_failure src/expression.ml:599:18"
Closed
3 years ago
Comments count
1
Missing modifies clause is not detected
Updated
3 years ago
Comments count
4
Surprising warnings about unused variables
Updated
3 years ago
Troubles getting cameleer to parse a file
Closed
3 years ago
Comments count
8
Dynlink error
Updated
3 years ago
Array.get not found
Closed
3 years ago
Error on empty array declaration
Closed
3 years ago
Compilation failure
Closed
3 years ago
Comments count
2
Dynlink error: The module `Sexplib0__Raw_grammar' is already loaded
Closed
3 years ago
Comments count
4
Fails to install: The constructor Dcloneexport expects 2 argument(s)
Closed
3 years ago
Comments count
1