Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
leon [2015/02/05 10:44] vkuncak |
leon [2015/04/26 20:37] vkuncak |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| **[[https://github.com/epfl-lara/leon]]** | **[[https://github.com/epfl-lara/leon]]** | ||
| + | The github repository contains the **documentation** that can be built in various formats, including in particular HTML. | ||
| - | To get an overview, check out these papers: | + | 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 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/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 | * [[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 | ||