Differences

This shows you the differences between two versions of the page.

--- leon [2015/01/11 09:02]
vkuncak
+++ leon [2015/04/26 20:36]
vkuncak
@@ Line 1: / Line 1: @@
-====== The Leon Synthesis and Verification System ======
+====== Leon System for Verification, Synthesis and Repair ======
 {{1leonway.jpg?480|The One, Leon Way}}
-Leon is an automated system for synthesizing and verifying functional Scala programs.
+Leon is an automated system for verifying, repairing, and synthesizing functional Scala programs.
 The system can be tried out online, with no installation required, at the following link:
@@ Line 13: / Line 13: @@
 **[[https://github.com/epfl-lara/leon]]**
+The github repository contains the **documentation** that can be built in various formats, including in particular HTML. A snapshot of this documentation is also available from http://leon.epfl.ch, check http://leon.epfl.ch/doc/ .  (The rest of this page may be largely subsumed by that documentation.)
-To get an overview, check out these papers:
+----
+To get an overview of Leon, check out these papers:
   * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL11SatisfiabilityModuloRecursivePrograms.pdf|Satisfiability Modulo Recursive Programs]], by P. Suter, A.S. Köksal, V. Kuncak, Static Analysis Symposium (SAS), 2011
   * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL10DecisionProceduresforAlgebraicDataTypesAbstractions.pdf|Decision Procedures for Algebraic Data Types with Abstractions]], by P. Suter, M. Dotta, V. Kuncak. Principles of Programming Languages (POPL), 2010