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

feat(BV, CP): Add propagators for bvudiv and bvurem #1084

Merged
merged 3 commits into from
Jun 21, 2024
Merged

feat(BV, CP): Add propagators for bvudiv and bvurem #1084

merged 3 commits into from
Jun 21, 2024

Commits on Jun 21, 2024

  1. feat(BV, CP): Add propagators for bvudiv and bvurem 

    These are interval propagators only and respect the SMT-LIB semantics
for division by 0. This requires custom operators in the `Intervals`
module that update the bounds appropriately, sincethe existing `div`
operator is undefined on `0`.
    @bclement-ocp
    bclement-ocp committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    515a4cc View commit details
    Browse the repository at this point in the history

  2. Address review

    @bclement-ocp
    bclement-ocp committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    ff09632 View commit details
    Browse the repository at this point in the history

  3. Fix comment in bvurem

    @bclement-ocp
    bclement-ocp committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    933ede4 View commit details
    Browse the repository at this point in the history