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
238 Open 383 Closed
238 Open 383 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

Stainless Actors aliasing Alias and effect analysis for imperative imperative
#970 opened Apr 6, 2021 by jad-hamza updated Jan 11, 2023
5
GenC: Type aliases crash genc bug genc C code generator
#1230 opened Jan 20, 2022 by vkuncak updated Jan 11, 2023
Stainless is slow to check the length of an explicit list
#1368 opened Dec 17, 2022 by pgimalac updated Dec 17, 2022
Stainless stack overflows when using princess
#1367 opened Dec 17, 2022 by pgimalac updated Dec 17, 2022
Unsoundness with quantifiers (choose nothing and always succeed) bug soundiness
#1180 opened Sep 29, 2021 by jad-hamza updated Dec 16, 2022
3
ensuring does not work with return
#1362 opened Dec 14, 2022 by two-heart updated Dec 15, 2022
1
Output infered measures
#1361 opened Dec 14, 2022 by samuelchassot updated Dec 14, 2022
Separate timeouts for measure inference
#1360 opened Dec 14, 2022 by samuelchassot updated Dec 14, 2022
Unicode symbols in a string constant crash stainless (inox) bug enhancement
#812 opened Jul 24, 2020 by vkuncak updated Dec 9, 2022
4
"Well-formedness check failed after extraction" for irrefutable unapply
#1346 opened Nov 25, 2022 by mario-bucev updated Nov 25, 2022
Auto applied lemmas feature
#1337 opened Nov 16, 2022 by vkuncak updated Nov 16, 2022
Stainless crashed with: Error: List() (of class scala.collection.immutable.Nil$). bug
#861 opened Nov 20, 2020 by NicolasRouquette updated Nov 9, 2022
2
Add support for RefinementType in unapply pattern bug type encoding
#1024 opened May 3, 2021 by jad-hamza updated Nov 9, 2022
9
Type in variable after type encoding is missing refinement bug type encoding
#1037 opened May 7, 2021 by jad-hamza updated Nov 8, 2022
7
Script-friendly output doable Doable in short time given right understanding feature
#1299 opened Sep 29, 2022 by Ef55 updated Nov 3, 2022
1
Make Stainless understand source depenencies feature
#1314 opened Oct 19, 2022 by vkuncak updated Oct 19, 2022
JVM-only release of Stainless feature
#1313 opened Oct 19, 2022 by vkuncak updated Oct 19, 2022
Improve list library feature
#1309 opened Oct 12, 2022 by vkuncak updated Oct 19, 2022
1
z3 times out on an example program with Strings, succeeds with BigInts
#1310 opened Oct 12, 2022 by drganam updated Oct 12, 2022
2
ensuring up-to-date documentation documentation
#1300 opened Sep 30, 2022 by mario-bucev updated Sep 30, 2022
Generate Frama-C compatible output feature genc C code generator
#1291 opened Jun 10, 2022 by vkuncak updated Jun 10, 2022
GenC: replacing a VLA field should be forbidden bug genc C code generator
#1288 opened Jun 7, 2022 by mario-bucev updated Jun 8, 2022
1
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 updated Jun 8, 2022
GenC: incorrect use of copy instead of reference when binding values (with if expressions) bug genc C code generator
#1286 opened Jun 7, 2022 by mario-bucev updated Jun 8, 2022
GenC: incorrect update of fixed-size array fields bug genc C code generator
#1287 opened Jun 7, 2022 by mario-bucev updated Jun 7, 2022
ProTip! no:milestone will show everything without a milestone.