-
Notifications
You must be signed in to change notification settings - Fork 54
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Crash when no verification files are provided
#1625
opened Dec 20, 2024 by
fengwz17
updated Dec 20, 2024
systematic inline defs handling and interaction with @opaque. Do not repeat while loop transform
feature
#1611
opened Dec 6, 2024 by
vkuncak
updated Dec 6, 2024
Location misreported as
<empty tree>[{ x: Object | @dropConjuct false }]
#1605
opened Dec 4, 2024 by
Maeeen
updated Dec 4, 2024
Treat the
erased soft keyword as Stainless @ghost
feature
ghost
#1522
opened May 8, 2024 by
vkuncak
updated Nov 15, 2024
Crash with Stainless unknown wait method of Thread reported as compiler crash
bug
extraction
#1592
opened Oct 16, 2024 by
vkuncak
updated Oct 16, 2024
Stainless crash with nested auto-tupling within a Some pattern
#1590
opened Oct 12, 2024 by
KacperFKorban
updated Oct 12, 2024
Signing and merging cache contents
cache
feature
#447
opened Feb 28, 2019 by
vkuncak
updated Sep 6, 2024
--functions does not account for trait methods dependencies
#1571
opened Aug 30, 2024 by
mario-bucev
updated Aug 30, 2024
Internal type error in extraction when passing anonymous trait instance to method expecting trait
bug
type-checker
#1553
opened Aug 11, 2024 by
vkuncak
updated Aug 11, 2024
"publicly opaque" concept would be useful when working with laws
#1504
opened Mar 1, 2024 by
samuelchassot
updated Aug 5, 2024
ADT must appear only in strictly positive positions when using Map
#1547
opened Jul 24, 2024 by
LioTree
updated Jul 24, 2024
PrimitiveSize functions should not be generated when termination checking is off?
#1519
opened May 6, 2024 by
drganam
updated May 6, 2024
MethodLifting reporting when subclasses have preconditions
reporting
#1511
opened Apr 22, 2024 by
vkuncak
updated Apr 29, 2024
Fatal error: Well-formedness check failed after extraction
extraction
reporting
#1416
opened May 12, 2023 by
drganam
updated Apr 22, 2024
Unsoundness when using
swap due to AntiAliasing not flagging
#1497
opened Feb 1, 2024 by
samuelchassot
updated Apr 22, 2024
Incorrect transformation of inner functions mutating a local variable
bug
imperative
#1510
opened Apr 22, 2024 by
mario-bucev
updated Apr 22, 2024
AntiAliasing does not update local aliasing information after replacement
aliasing
#1506
opened Mar 26, 2024 by
mario-bucev
updated Mar 26, 2024
Type encoding issue with equality between different types
bug
eqality
type encoding
#848
opened Sep 27, 2020 by
jad-hamza
updated Nov 12, 2023
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.