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 |