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

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

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
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
GenC: Not enough checks for forbidding returning arrays bug genc C code generator
#1285 opened Jun 7, 2022 by mario-bucev
GenC: incorrect use of copy instead of reference for function return bug genc C code generator
#1284 opened Jun 7, 2022 by mario-bucev
GenC: requirement failed when a struct with one array field is nested within another struct bug genc C code generator
#1283 opened Jun 7, 2022 by mario-bucev
Make Stainless specs no-op executable with scalac on JVM feature genc C code generator
#1282 opened Jun 3, 2022 by vkuncak
2
Support more general initialization of arrays in GenC feature genc C code generator
#1281 opened Jun 1, 2022 by vkuncak
2
GenC: Array.fill may result in large source code size feature genc C code generator
#1279 opened May 31, 2022 by mario-bucev
Disjoint parallelism through library feature
#1278 opened May 31, 2022 by vkuncak
1
Implement runtime meaning for decreases clause feature termination
#1276 opened May 30, 2022 by vkuncak
1
Tail recursion elimination for genc feature genc C code generator
#1275 opened May 30, 2022 by vkuncak
Theory of ghost fields and parameters ghost
#1267 opened May 20, 2022 by vkuncak
Inlining for genc feature genc C code generator
#1266 opened May 19, 2022 by vkuncak
ProTip! no:milestone will show everything without a milestone.