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

Crash when no verification files are provided
#1625 opened Dec 20, 2024 by fengwz17
opaque traits without type encoding feature
#1612 opened Dec 6, 2024 by vkuncak
systematic inline defs handling and interaction with @opaque. Do not repeat while loop transform feature
#1611 opened Dec 6, 2024 by vkuncak
Partial correctness with defined_f predicates feature
#1609 opened Dec 5, 2024 by vkuncak
@vkuncak
Support scalaCheck for properties feature
#1608 opened Dec 5, 2024 by vkuncak
Supporting continuations feature
#1607 opened Dec 5, 2024 by vkuncak
Location misreported as <empty tree>[{ x: Object | @dropConjuct false }]
#1605 opened Dec 4, 2024 by Maeeen
Built-in caching for functions feature
#1604 opened Nov 27, 2024 by samuelchassot
@samuelchassot
2
Crash with Stainless unknown wait method of Thread reported as compiler crash bug extraction
#1592 opened Oct 16, 2024 by vkuncak
Stainless crash with nested auto-tupling within a Some pattern
#1590 opened Oct 12, 2024 by KacperFKorban
Report of INVALID for missing measure
#1584 opened Oct 8, 2024 by SimonGuilloud
--functions does not account for trait methods dependencies
#1571 opened Aug 30, 2024 by mario-bucev
1
Internal type error in extraction when passing anonymous trait instance to method expecting trait bug type-checker
#1553 opened Aug 11, 2024 by vkuncak
2
introduce old outside of post condition feature imperative
#1551 opened Aug 5, 2024 by samuelchassot
@samuelchassot
1
unfolding should return the return value of the function so that it is a hint for verification, and has the behaviour of the unfolded function at runtime
#1550 opened Aug 5, 2024 by samuelchassot
@samuelchassot
4
Missformed SMT source, Unknown SMT term of class: class smtlib.trees.Terms$FunctionApplication bug inox
#1549 opened Jul 31, 2024 by vkuncak
@sankalpgambhir
8
ADT must appear only in strictly positive positions when using Map
#1547 opened Jul 24, 2024 by LioTree
Egg invariant: unsatisfiable invariant of locally declared classes that depend on mutable local state bug imperative
#1545 opened Jul 23, 2024 by vkuncak
@vkuncak @mario-bucev @samuelchassot
1
Missing dependencies when using bigSubstring
#1542 opened Jul 19, 2024 by LioTree
@mario-bucev
1
Type error when @extern method's result widens ADT value
#1537 opened Jun 21, 2024 by vkuncak
@vkuncak @mario-bucev
2
StackOverflowError during Measure Inference
#1536 opened Jun 6, 2024 by drganam
Unpredictable reporting on circular type classes bug reporting type encoding
#1535 opened May 27, 2024 by vkuncak
@samuelchassot
Treat the erased soft keyword as Stainless @ghost feature ghost
#1522 opened May 8, 2024 by vkuncak
1
PrimitiveSize functions should not be generated when termination checking is off?
#1519 opened May 6, 2024 by drganam
Error reporting from alias analysis reporting
#1513 opened Apr 29, 2024 by vkuncak
@mario-bucev
ProTip! no:milestone will show everything without a milestone.