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

Added bit2bool to the API #5992

Merged
merged 14 commits into from
Apr 22, 2022
Merged

Added bit2bool to the API #5992

merged 14 commits into from
Apr 22, 2022

Commits on Apr 11, 2022

  1. Fixed registering expressions in push/pop

    @CEisenhofer
    CEisenhofer committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    c12e13a View commit details
    Browse the repository at this point in the history

  2. Reused existing function

    @CEisenhofer
    CEisenhofer authored Apr 11, 2022
    Configuration menu
    Copy the full SHA
    7fa20ae View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2022

  1. Reverted reusing can_propagate

    @CEisenhofer
    CEisenhofer committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    58099a4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @CEisenhofer
    CEisenhofer authored Apr 12, 2022
    Configuration menu
    Copy the full SHA
    4a90f47 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'Z3Prover:master' into master

    @CEisenhofer
    CEisenhofer authored Apr 12, 2022
    Configuration menu
    Copy the full SHA
    74e75d3 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2022

  1. Merge branch 'Z3Prover:master' into master

    @CEisenhofer
    CEisenhofer authored Apr 13, 2022
    Configuration menu
    Copy the full SHA
    571441a View commit details
    Browse the repository at this point in the history

  2. Added decide-callback to user-propagator

    @CEisenhofer
    CEisenhofer committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    08ede71 View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @CEisenhofer
    CEisenhofer committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    09a05e6 View commit details
    Browse the repository at this point in the history

  4. Fixed index

    @CEisenhofer
    CEisenhofer committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    5846d35 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2022

  1. Merge branch 'Z3Prover:master' into master

    @CEisenhofer
    CEisenhofer authored Apr 16, 2022
    Configuration menu
    Copy the full SHA
    839839b View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2022

  1. Merge branch 'Z3Prover:master' into master

    @CEisenhofer
    CEisenhofer authored Apr 18, 2022
    Configuration menu
    Copy the full SHA
    51ac264 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2022

  1. Merge branch 'Z3Prover:master' into master

    @CEisenhofer
    CEisenhofer authored Apr 20, 2022
    Configuration menu
    Copy the full SHA
    df73e41 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2022

  1. Added bit2bool to the API 

    Fixed bug in user-propagator's decide callback
    @CEisenhofer
    CEisenhofer committed Apr 21, 2022
    Configuration menu
    Copy the full SHA
    856e542 View commit details
    Browse the repository at this point in the history

  2. Fixed typo

    @CEisenhofer
    CEisenhofer authored Apr 21, 2022
    Configuration menu
    Copy the full SHA
    b4a6f8e View commit details
    Browse the repository at this point in the history