Rust DBM Library: Use EDBM instead of UDBM everywhere#115

Merged

t-lohse merged 10 commits intomainfrom edbm

Sep 7, 2022

Commits on Sep 5, 2022

Have quotients share the same clock and ensure that the (upper) bound is set for that clock to 0 (the bound must be set otherwise the logic is wrong)
seblund
committed
Fix build_state_pair bug from changing code to EDBM that caused some not-refines checks to fail in test framwork
seblund
committed

Commits on Sep 7, 2022

Merge branch 'main' into edbm
seblund
authored