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 decide-callback to user-propagator #5978

Merged
merged 9 commits into from
Apr 15, 2022
Merged

Added decide-callback to user-propagator #5978

merged 9 commits into from
Apr 15, 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