The Leon system for verification, synthesis, repair
Scala
167
5,297 commits
updated Mar 18, 2024
README
Leon 3.0 
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.
Similar repos
Languages
Scala
98.0%
The Leon system for verification, synthesis, repair
Scala
167
5,297 commits
updated Mar 18, 2024
README
Leon 3.0
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.
Similar repos
Languages
Scala
98.0%