Skip to content
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

Jump to bottom

[FEATURE REQUEST] Default widening implementation #222

Closed
lucaneg opened this issue Oct 30, 2022 · 0 comments · Fixed by #221
Closed

[FEATURE REQUEST] Default widening implementation #222

lucaneg opened this issue Oct 30, 2022 · 0 comments · Fixed by #221
Assignees
@lucaneg
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
Projects
LiSA
Milestone
0.1b6

Comments

@lucaneg
Copy link
Member

lucaneg commented Oct 30, 2022

Description
To reduce the number of methods to implement, Lattice.widening() (and BaseLattice.wideningAux()) should default to lub.
@lucaneg lucaneg added 🎆 type:feature New feature or request ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Oct 30, 2022
@lucaneg lucaneg added this to the 0.1b6 milestone Oct 30, 2022
@lucaneg lucaneg self-assigned this Oct 30, 2022
@lucaneg lucaneg added this to TODO in LiSA via automation Oct 30, 2022
@lucaneg lucaneg mentioned this issue Oct 30, 2022
Merged
@lucaneg lucaneg moved this from TODO to DOING in LiSA Oct 30, 2022
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Oct 31, 2022
@lucaneg lucaneg moved this from DOING to DONE in LiSA Oct 31, 2022
lucaneg added a commit that referenced this issue Oct 31, 2022
@lucaneg
Default widening implementations #222
d2e1a69
LiSA automation moved this from DONE to MERGED Oct 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
Projects
No open projects
LiSA
  
MERGED
Milestone
0.1b6
Development

Successfully merging a pull request may close this issue.

Type system and access modifiers lisa-analyzer/lisa
1 participant
@lucaneg