-
Notifications
You must be signed in to change notification settings - Fork 50
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
Document principles and details of alias analysis and imperative transform
documentation
#1255
opened Mar 25, 2022 by
vkuncak
[Proposal] Remove class invariant while checking structural-equality
#1221
opened Jan 11, 2022 by
Sporarum
Unapply with a subclass as argument is incorrectly handled
feature
#1213
opened Dec 11, 2021 by
Sporarum
Unsoundness with quantifiers (choose nothing and always succeed)
bug
soundiness
#1180
opened Sep 29, 2021 by
jad-hamza
Inject assumption about independence on ghost parameters
enhancement
ghost
#1161
opened Sep 11, 2021 by
vkuncak
Measure inference sometimes generates measures containing recursive calls
measure-inference
#1146
opened Sep 1, 2021 by
gsps
Error with type members: Cannot apply ClassFieldAccessor to type thiss.T
aliasing
Alias and effect analysis for imperative
bug
imperative
type encoding
#1095
opened Jun 10, 2021 by
jad-hamza
Time out while matching on a Tuple ADT
aliasing
Alias and effect analysis for imperative
bug
imperative
#1093
opened Jun 9, 2021 by
yannbolliger
Laws-like properties as refinement types to avoid type encoding (discussion)
feature
#1087
opened Jun 2, 2021 by
jad-hamza
ProTip!
Find all open issues with in progress development work with linked:pr.