Requires opam, with OCaml >= 4.07.1, and the opam packages dune >= 2.0 and why3 = 1.3.0.
opam install dune why3
The command make compiles and installs the plugin (with dune).
why3 extract -D scala file.mlw
-
Notifications
You must be signed in to change notification settings - Fork 0
Why3 plugin allowing the extraction of WhyML code to Scala
License
JBakouny/scalafromwhy3
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Why3 plugin allowing the extraction of WhyML code to Scala
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published