To build Leon you will need JDK, scala, sbt, and some external solver binaries. On Linux, it should already work out of the box.
To get started, see the documentation chapters, such as
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
License
ravimad/Orb2015
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
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published