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.

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

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
Assignees
Labels
domains Related to abstract domains enhancement

Comments

@caballa
Copy link
Contributor

caballa commented Jul 3, 2017

  • 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
Labels
domains Related to abstract domains enhancement
Projects
None yet
Development

No branches or pull requests

1 participant