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

Zones domains (sparse_dbm and split_dbm): implement narrowing, widening w/thresholds, strict inequalities, and disequations #8

Open
2 of 4 tasks
caballa opened this issue Jul 3, 2017 · 0 comments
Open
2 of 4 tasks

Zones domains (sparse_dbm and split_dbm): implement narrowing, widening w/thresholds, strict inequalities, and disequations #8

caballa opened this issue Jul 3, 2017 · 0 comments
Assignees
@caballa
Labels
domains Related to abstract domains enhancement

Comments

@caballa
Copy link
Contributor

caballa commented Jul 3, 2017 •
edited
Loading

  • widening with thresholds
  • narrowing
  • strict inequalities for integers
  • disequations (similar precision as intervals)

From @caballa on October 15, 2016 23:33

Copied from original issue: caballa/crab#7
@caballa caballa self-assigned this Jul 3, 2017
@caballa caballa changed the title Zones domain: implement narrowing and widening with thresholds Zones domain: implement narrowing, widening w/thresholds, and disequations Aug 5, 2017
@caballa caballa changed the title Zones domain: implement narrowing, widening w/thresholds, and disequations Zones domains (sparse_dbm and split_dbm): implement narrowing, widening w/thresholds, strict inequalities, and disequations Jul 31, 2018
@caballa caballa added domains Related to abstract domains and removed new feature low priority labels Aug 24, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@caballa caballa

Labels
domains Related to abstract domains enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@caballa