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] Greatest lower bound for set and inverse set lattice domains #71

Closed
VincenzoArceri opened this issue Apr 18, 2021 · 0 comments · Fixed by #72
Closed

[FEATURE REQUEST] Greatest lower bound for set and inverse set lattice domains #71

VincenzoArceri opened this issue Apr 18, 2021 · 0 comments · Fixed by #72
Assignees
@VincenzoArceri
Labels
🎊 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.1b1

Comments

@VincenzoArceri
Copy link
Collaborator

Description
SetLattice and InverseSetLattice should provide the greatest lower bound operation in order to better manipulate set elements in abstract domains using them, such as upper bounds or pentagons.
@VincenzoArceri VincenzoArceri added the 🎆 type:feature New feature or request label Apr 18, 2021
@VincenzoArceri VincenzoArceri added this to the 0.1a5 milestone Apr 18, 2021
@VincenzoArceri VincenzoArceri self-assigned this Apr 18, 2021
@VincenzoArceri VincenzoArceri added this to TODO in LiSA via automation Apr 18, 2021
VincenzoArceri added a commit that referenced this issue Apr 18, 2021
@VincenzoArceri
#71 glb for set and inverse set domains
0f23b81
@VincenzoArceri VincenzoArceri mentioned this issue Apr 18, 2021
Merged
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Apr 18, 2021
@lucaneg lucaneg moved this from TODO to DOING in LiSA Apr 18, 2021
LiSA automation moved this from DOING to DONE Apr 18, 2021
@lucaneg lucaneg moved this from DONE to MERGED in LiSA Apr 30, 2021
@lucaneg lucaneg added the 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms label Jan 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@VincenzoArceri VincenzoArceri

Labels
🎊 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.1b1
Development

Successfully merging a pull request may close this issue.

Greatest lower bound for set domains lisa-analyzer/lisa
2 participants
@VincenzoArceri @lucaneg