epfl-lara / leon Public

Notifications You must be signed in to change notification settings
Fork 49
Star 162

The Leon system for verification, synthesis, repair

162 stars 49 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5,369 Commits
examples		examples
library/leon		library/leon
project		project
results		results
scripts		scripts
src		src
testcases		testcases
travis		travis
unmanaged		unmanaged
.gitignore		.gitignore
.larabot.conf		.larabot.conf
.sbtopts		.sbtopts
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
CLA.txt		CLA.txt
CODING_GUIDELINES.md		CODING_GUIDELINES.md
LICENSE		LICENSE
README.md		README.md
Tasks.md		Tasks.md
build.sbt		build.sbt

Repository files navigation

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

About

The Leon system for verification, synthesis, repair

Custom properties

Report repository

Releases

Packages

No packages published

Contributors 18

+ 4 contributors

Languages