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] Interval satisfies methods #82

Closed
VincenzoArceri opened this issue Apr 22, 2021 · 0 comments · Fixed by #85
Closed

[FEATURE REQUEST] Interval satisfies methods #82

VincenzoArceri opened this issue Apr 22, 2021 · 0 comments · Fixed by #85
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
Interval domain does not override the satifies methods from the BaseNonRelationalValueDomainclass. We need to implement them in order to gain more precision when the domain checks the satisfiability of a symbolic expression.
@VincenzoArceri VincenzoArceri added the 🎆 type:feature New feature or request label Apr 22, 2021
@VincenzoArceri VincenzoArceri added this to the 0.1a5 milestone Apr 22, 2021
@VincenzoArceri VincenzoArceri self-assigned this Apr 22, 2021
@VincenzoArceri VincenzoArceri added this to TODO in LiSA via automation Apr 22, 2021
VincenzoArceri added a commit that referenced this issue Apr 22, 2021
@VincenzoArceri
#82 satisfies methods for intervals
94e30a8
VincenzoArceri added a commit that referenced this issue Apr 23, 2021
@VincenzoArceri
#82 satisfies tests
09ba68e
@lucaneg lucaneg moved this from TODO to DOING in LiSA Apr 23, 2021
@VincenzoArceri VincenzoArceri mentioned this issue Apr 23, 2021
Merged
LiSA automation moved this from DOING to DONE Apr 25, 2021
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Apr 26, 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.

Interval satisfies method lisa-analyzer/lisa
2 participants
@VincenzoArceri @lucaneg