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

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

Annotation to opt into possibly uncountable types feature soundiness
#1375 opened Jan 11, 2023 by vkuncak
1
State capturing closure-like construct enhancement feature imperative need-clarification
#1369 opened Dec 19, 2022 by vkuncak
4
Stainless is slow to check the length of an explicit list
#1368 opened Dec 17, 2022 by pgimalac
Stainless stack overflows when using princess
#1367 opened Dec 17, 2022 by pgimalac
Stainless doesn't finish on polymorphic recursive data types bug
#1363 opened Dec 15, 2022 by pgimalac
@mario-bucev
4
ensuring does not work with return
#1362 opened Dec 14, 2022 by two-heart
1
Output infered measures
#1361 opened Dec 14, 2022 by samuelchassot
Separate timeouts for measure inference
#1360 opened Dec 14, 2022 by samuelchassot
Swap operation on references aliasing Alias and effect analysis for imperative feature imperative
#1356 opened Dec 9, 2022 by vkuncak
6
Sound treatment of non-terminating functions feature
#1348 opened Dec 4, 2022 by vkuncak
5
"Well-formedness check failed after extraction" for irrefutable unapply
#1346 opened Nov 25, 2022 by mario-bucev
Auto applied lemmas feature
#1337 opened Nov 16, 2022 by vkuncak
Crash in princess in code with Scala's Int (signed 32 bit) bug princess Inox issue arising when using Princess solver
#1328 opened Nov 9, 2022 by vkuncak
@mario-bucev
9
Make Stainless understand source depenencies feature
#1314 opened Oct 19, 2022 by vkuncak
JVM-only release of Stainless feature
#1313 opened Oct 19, 2022 by vkuncak
z3 times out on an example program with Strings, succeeds with BigInts
#1310 opened Oct 12, 2022 by drganam
2
Improve list library feature
#1309 opened Oct 12, 2022 by vkuncak
1
Add stainless library jar for standalone deployment to releases feature
#1308 opened Oct 12, 2022 by vkuncak
2
Inner recursive function returning tuple and destructing it yields MatchError: <untyped> need-clarification
#1303 opened Oct 3, 2022 by Ef55
2
ensuring up-to-date documentation documentation
#1300 opened Sep 30, 2022 by mario-bucev
Script-friendly output doable Doable in short time given right understanding feature
#1299 opened Sep 29, 2022 by Ef55
1
Generate Frama-C compatible output feature genc C code generator
#1291 opened Jun 10, 2022 by vkuncak
GenC: incorrect use of copy instead of reference for arrays of mutable elements bug genc C code generator
#1289 opened Jun 8, 2022 by mario-bucev
GenC: replacing a VLA field should be forbidden bug genc C code generator
#1288 opened Jun 7, 2022 by mario-bucev
1
GenC: incorrect update of fixed-size array fields bug genc C code generator
#1287 opened Jun 7, 2022 by mario-bucev
ProTip! What’s not been updated in a month: updated:<2024-11-28.