GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → epfl-lara → Leon

epfl-lara / Leon

Licence: gpl-3.0
The Leon system for verification, synthesis, repair

Programming Languages

scala
5932 projects

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].