Skip to content

Issues: epfl-lara/inox

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

11 Open 48 Closed
11 Open 48 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

Provision timeout in unrolling solver enhancement
#223 opened Sep 6, 2024 by samuelchassot
2
Add a sequence type: finitary arrays from natural numbers to some type feature
#213 opened Jul 23, 2024 by vkuncak
@vkuncak
CVC4/5 unsupported feature shows an error even though another solver is verifying the VC
#208 opened Oct 13, 2023 by samuelchassot
2
Enable reading smt-lib files with dependent types for future text interface from Stainless feature
#182 opened Jun 10, 2022 by vkuncak
@sankalpgambhir
StackOverflowError on an equivalence checking example
#180 opened Apr 3, 2022 by drganam
Underapproximate unfolding feature
#169 opened Nov 1, 2021 by vkuncak
ChooseEncoder doesn't transform all the trees
#167 opened Oct 1, 2021 by jad-hamza
Type error in tip printed from Stainless
#153 opened May 12, 2021 by jad-hamza
2
Choose under lamba bug soundness
#139 opened Apr 25, 2021 by jad-hamza
13
BitVector <-> Integer conversions
#108 opened Sep 4, 2019 by romac
Add mode where lambda equality is considered undecidable
#87 opened Jan 16, 2019 by romac
ProTip! Type g i on any issue or pull request to go back to the issue listing page.