Skip to content
The Leon system for verification, synthesis, repair
Scala Standard ML Shell Java SMT Python Other
Branch: master
Clone or download

Latest commit

Fetching latest commit…
Cannot retrieve the latest commit at this time.

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
library/leon
project
results
scripts
src
testcases
travis
unmanaged
.gitignore
.larabot.conf
.sbtopts
.travis.yml
CHANGELOG.md
CLA.txt
CODING_GUIDELINES.md
LICENSE
README.md
Tasks.md
build.sbt

README.md

Leon 3.0 Build Status

Getting Started

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

For change log, see CHANGELOG.md

The Stainless/Inox Stack

Leon verification has recently been split off into

  • Inox a backend solving layer, and
  • Stainless a Scala frontend that supports contract-checking and termination proving.

Leon remains (for now) the main project for synthesis and repair as well as resource bounds inference. However, developpment of verification-related features will most likely be confined to the Stainless/Inox front.

You can’t perform that action at this time.