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

Fixed parsing of | and \ #6975

Merged
merged 11 commits into from
Oct 30, 2023
Merged

Fixed parsing of | and \ #6975

merged 11 commits into from
Oct 30, 2023

Commits on Jul 2, 2023

  1. Give users ability to see if propagation failed

    @CEisenhofer
    CEisenhofer committed Jul 2, 2023
    Configuration menu
    Copy the full SHA
    de0669f View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. Skip propagations in the new core if they are already satisfied

    @CEisenhofer
    CEisenhofer committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    b5d97d6 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Merge branch 'master' of https://github.com/Z3Prover/z3

    @CEisenhofer
    CEisenhofer committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    3cd9956 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Fix registration in final

    @CEisenhofer
    CEisenhofer committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    034c403 View commit details
    Browse the repository at this point in the history

  2. Don't make it too complicated...

    @CEisenhofer
    CEisenhofer committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    b600b31 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Merge branch 'master' of https://github.com/Z3Prover/z3

    @CEisenhofer
    CEisenhofer committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    6012ea3 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Fixed next_split when called in pop 

    Made delay_units available even without quantifiers
    @CEisenhofer
    CEisenhofer committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    70d30ca View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/CEisenhofer/z3

    @CEisenhofer
    CEisenhofer committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    0163620 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2023

  1. Missing push calls before "decide"-callback

    @CEisenhofer
    CEisenhofer committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    342ac1f View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Fixed parsing of | and \

    @CEisenhofer
    CEisenhofer committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    4530c56 View commit details
    Browse the repository at this point in the history

  2. Unit-test for parsing bug

    @CEisenhofer
    CEisenhofer committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    70c9d64 View commit details
    Browse the repository at this point in the history