Skip to content

Issues: epfl-lara/leon

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 38 Closed
24 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Invalid methods actually compiles
#312 opened Jul 3, 2017 by Atry
Organization of the leon library
#304 opened Mar 25, 2017 by NicolasRouquette
Can the leon library be published as a maven artifact?
#303 opened Mar 25, 2017 by NicolasRouquette
1
Support for generic copy() method
#302 opened Mar 23, 2017 by pjmkrpg
Z3 exception
#296 opened Feb 14, 2017 by BLepers
3
Bug in RecursionCountInstrumenter(?) bug
#289 opened Dec 15, 2016 by mantognini
Bug in ImperativeCodeElimination bug
#288 opened Dec 15, 2016 by mantognini
Bug in program evaluation/verification bug
#287 opened Dec 15, 2016 by mantognini
Bug in proofs
#279 opened Dec 9, 2016 by BLepers
10
Problem with preprocessing?
#261 opened Oct 22, 2016 by jad-hamza
3
Add doc for @traceInduct
#249 opened Sep 2, 2016 by ravimad
Termination checker is unsound in handling streams
#248 opened Sep 2, 2016 by ravimad
Adding ensuring(rec < ...) in a function prevents other functions from being verified
#243 opened Aug 23, 2016 by BLepers
TODO exception with Map's and class Invariants
#226 opened Jul 8, 2016 by jad-hamza
Simple use of lemmas for preconditions (feature request?)
#218 opened Jun 2, 2016 by BLepers
4
ensuring(rec <= ...) -- big verification time variation
#214 opened May 25, 2016 by BLepers
21
Improving the code for declaring ADTs.
#206 opened May 1, 2016 by ravimad
Missing import statement in documentation example
#199 opened Apr 20, 2016 by nunomota
2
Evaluation of passes fails to record positions of patterns, guards, scrutinees bug
#161 opened Dec 8, 2015 by colder
1
PortfolioSolver with incremental smtlib solvers bug
#156 opened Oct 8, 2015 by colder
Pretty printing doesn't print annotation (arguments)
#146 opened Sep 16, 2015 by larsrh
Using TailRecursive printer in scala-smtlib
#112 opened May 29, 2015 by samarion
Counterexample does not violate precondition of lambda passed to HOF enhancement
#109 opened May 26, 2015 by samuelgruetter
1
java.lang.UnsatisfiedLinkError: no scalaz3 in java.library.path enhancement
#93 opened Apr 28, 2015 by NicolasRouquette
6
ProTip! Add no:assignee to see everything that’s not assigned.