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

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

Merged
merged 10 commits into from
Sep 7, 2022
Merged

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

merged 10 commits into from
Sep 7, 2022

Commits on Sep 1, 2022

  1. Change all Federations to EDBM Federations, removing the dependency o… 

    …n UDBM (and C/C++) entirely
    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    621422c View commit details
    Browse the repository at this point in the history

  2. Minor fixes

    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    c531eaa View commit details
    Browse the repository at this point in the history

  3. Appease clippy: Fix all clippy warnings

    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    12c9e8d View commit details
    Browse the repository at this point in the history

  4. Temporarily use GitHub version of edbm until we are on crates.io

    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    ba75b04 View commit details
    Browse the repository at this point in the history

  5. Attempt to fix CI (UDBM no longer exists)

    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    5b89ce5 View commit details
    Browse the repository at this point in the history

  6. Add back mingw to CI windows build dependencies

    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    962ca58 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into edbm

    @seblund
    seblund committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    8744b6f View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2022

  1. 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
    seblund committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    d444f65 View commit details
    Browse the repository at this point in the history

  2. Fix build_state_pair bug from changing code to EDBM that caused some … 

    …not-refines checks to fail in test framwork
    @seblund
    seblund committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    4fb1775 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2022

  1. Merge branch 'main' into edbm

    @seblund
    seblund authored Sep 7, 2022
    Configuration menu
    Copy the full SHA
    5e5673b View commit details
    Browse the repository at this point in the history