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
256 Open 433 Closed
256 Open 433 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

Auto externalization for uncrecognized methods enhancement
#156 opened Dec 20, 2017 by vkuncak
@gsps
sbt-stainless dotty support dotty sbt plugin
#178 opened Feb 28, 2018 by dotta
Instance-of pattern matching limitations
#185 opened Mar 1, 2018 by dragos
Move VC cache before extraction pipeline
#282 opened Jul 17, 2018 by romac
Support for extending function types feature
#315 opened Aug 31, 2018 by romac
More tests enhancement
#334 opened Sep 20, 2018 by jad-hamza
10 tasks
Port Isabelle solver from Leon feature
#350 opened Sep 27, 2018 by romac Future Features
Use user-defined toString method in Printer for both debugging and counter-examples feature
#411 opened Nov 30, 2018 by romac
Reversible pipeline
#412 opened Dec 10, 2018 by romac
Setting --debug=solver crashes Princess when printing ADTs bug
#431 opened Jan 14, 2019 by romac
Document VC caching mechanism documentation
#435 opened Jan 21, 2019 by romac
Type encoding interferes with unapply method bug type encoding
#445 opened Feb 26, 2019 by romac
Signing and merging cache contents feature
#447 opened Feb 28, 2019 by vkuncak
Check @library items against the VC cache but hide result if valid enhancement
#453 opened Mar 4, 2019 by romac
Error with GADTs and function types bug type encoding
#463 opened Mar 14, 2019 by romac
Provide stack-safe versions of library functions enhancement
#473 opened Apr 8, 2019 by romac
Java facade for Stainless/Inox API experimental
#474 opened Apr 15, 2019 by romac
Extract all types by traversing the type trees recursively dotty
#477 opened Apr 17, 2019 by romac
Clean up duplicated code in MutabilityAnalyzer and imperative.SymbolOps enhancement
#489 opened May 15, 2019 by romac
Theory encoding issue with strings and --feeling-lucky in MsgQueue benchmark bug
#490 opened May 15, 2019 by romac
Fatal error with GADTs bug type encoding
#493 opened May 16, 2019 by redelmann
Truffle/GraalVM backend standalone
#494 opened May 17, 2019 by romac
Merge WebAssembly backend feature
#495 opened May 17, 2019 by romac
Improve reporting of VCs reporting
#508 opened May 22, 2019 by romac
6 tasks
@jad-hamza @vkuncak
Use swoval's PathWatcher for better watch performance (esp. on OS X) watch mode issues related with the --watch mode
#512 opened May 27, 2019 by romac
ProTip! Type g i on any issue or pull request to go back to the issue listing page.