Skip to content

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.

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

Clear current search query, filters, and sorts
275 Open 437 Closed
275 Open 437 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

Merge WebAssembly backend feature
#495 opened May 17, 2019 by romac
Truffle/GraalVM backend standalone
#494 opened May 17, 2019 by romac
Fatal error with GADTs bug type encoding
#493 opened May 16, 2019 by redelmann
Theory encoding issue with strings and --feeling-lucky in MsgQueue benchmark bug
#490 opened May 15, 2019 by romac
Clean up duplicated code in MutabilityAnalyzer and imperative.SymbolOps enhancement
#489 opened May 15, 2019 by romac
Immutable arrays or segments feature
#478 opened Apr 17, 2019 by vkuncak Future Features
3
Extract all types by traversing the type trees recursively dotty
#477 opened Apr 17, 2019 by romac
Eta/Frege front-end experimental feature
#475 opened Apr 15, 2019 by romac Future Features
3
Java facade for Stainless/Inox API experimental
#474 opened Apr 15, 2019 by romac
Provide stack-safe versions of library functions enhancement
#473 opened Apr 8, 2019 by romac
Add an option to show the full symbol name in the report feature reporting
#469 opened Mar 21, 2019 by romac
1
Error with GADTs and function types bug type encoding
#463 opened Mar 14, 2019 by romac
Ghost checker should disallow pattern matching on a ghost field bug ghost
#460 opened Mar 7, 2019 by romac
3
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
1
Allow adding postconditions by mixing in multiple traits feature
#449 opened Mar 1, 2019 by romac Future Features
3
Signing and merging cache contents cache feature
#447 opened Feb 28, 2019 by vkuncak
Type encoding interferes with unapply method bug type encoding
#445 opened Feb 26, 2019 by romac
Document VC caching mechanism documentation
#435 opened Jan 21, 2019 by romac
Decidability/computability of lambda equality hinders reasoning abilities
#432 opened Jan 16, 2019 by romac
2
Setting --debug=solver crashes Princess when printing ADTs bug
#431 opened Jan 14, 2019 by romac
Unbounded recursion in inox.ast.Types$ADTType.hashCode bug
#427 opened Jan 7, 2019 by romac
1
1
RefinementLifting generates calls to functions without respecting their preconditions bug
#421 opened Dec 18, 2018 by jad-hamza
1
??? is extracted as ???[Nothing] enhancement has pr
#416 opened Dec 13, 2018 by jad-hamza
1
1
Reversible pipeline
#412 opened Dec 10, 2018 by romac
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.