Repository navigation

Orb2015

Public

About

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

assertion-checking leon perfomance-verification performance-analysis scala verification verification-methodologies

2 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
RuntimeEvaluation		RuntimeEvaluation
examples		examples
library/leon		library/leon
project		project
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
artifact.md		artifact.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

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

assertion-checking leon perfomance-verification performance-analysis scala verification verification-methodologies

2 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages