-
Notifications
You must be signed in to change notification settings - Fork 50
Issues: epfl-lara/stainless
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Add an option to show the full symbol name in the report
feature
reporting
#469
opened Mar 21, 2019 by
romac
Ghost checker should disallow pattern matching on a ghost field
bug
ghost
#460
opened Mar 7, 2019 by
romac
Check @library items against the VC cache but hide result if valid
enhancement
#453
opened Mar 4, 2019 by
romac
Command-line support for running scalac/dotty to completion (variance checks, .class)
feature
#450
opened Mar 1, 2019 by
vkuncak
Decidability/computability of lambda equality hinders reasoning abilities
#432
opened Jan 16, 2019 by
romac
RefinementLifting generates calls to functions without respecting their preconditions
bug
#421
opened Dec 18, 2018 by
jad-hamza
Use user-defined
toString
method in Printer for both debugging and counter-examples
feature
#411
opened Nov 30, 2018 by
romac
Improve mutability analyzer to detect non-mutable instantiation of mutable types
enhancement
#385
opened Oct 24, 2018 by
jad-hamza
Option print-types is unusable due to PrinterOptions being built without symbols
enhancement
#382
opened Oct 22, 2018 by
jad-hamza
Symbol tables are different when using the stainless command-line and the test suite
enhancement
#329
opened Sep 14, 2018 by
jad-hamza
Compilation errors from scalac are not reported in the test suites
bug
#328
opened Sep 14, 2018 by
jad-hamza
ProTip!
Find all open issues with in progress development work with linked:pr.