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

Parity in Counterexample-Related Z3 Options for Command-Line vs Language Server #4792

Merged
merged 15 commits into from
Jan 22, 2024
Merged

Parity in Counterexample-Related Z3 Options for Command-Line vs Language Server #4792

merged 15 commits into from
Jan 22, 2024

Commits on Nov 16, 2023

  1. Counterexample parity for extension vs command line

    Aleksandr Fedchin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    1be2388 View commit details
    Browse the repository at this point in the history

  2. Update DafnyRef and dev/news

    Aleksandr Fedchin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    d5505f4 View commit details
    Browse the repository at this point in the history

  3. Update ProverLogRegression

    Aleksandr Fedchin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    8d428bc View commit details
    Browse the repository at this point in the history

  4. Update existing test

    Aleksandr Fedchin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    77c4e8f View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Merge remote-tracking branch 'origin/master' into CounterexampleParity

    Aleksandr Fedchin committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    83cc425 View commit details
    Browse the repository at this point in the history

  2. Enable counterexamples for multiple locations in the program

    Aleksandr Fedchin committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    d182a13 View commit details
    Browse the repository at this point in the history

  3. Temprorarily add boogie submodule

    Aleksandr Fedchin committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    65d2c04 View commit details
    Browse the repository at this point in the history

  4. Fix test-generation translation pass and Update tests

    Aleksandr Fedchin committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    00fa2a5 View commit details
    Browse the repository at this point in the history

  5. Fix variable printing order and update tests

    Aleksandr Fedchin committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    0d7789f View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Revert "Temprorarily add boogie submodule" 

    This reverts commit 65d2c04.
    Aleksandr Fedchin committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8aa183b View commit details
    Browse the repository at this point in the history

  2. Update Boogie version

    Aleksandr Fedchin committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    10002e4 View commit details
    Browse the repository at this point in the history

  3. Fix customBoogie.patchj

    Aleksandr Fedchin committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    76700d7 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into CounterexampleParity

    Aleksandr Fedchin committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    37bf3aa View commit details
    Browse the repository at this point in the history

  5. Update Prover Log test

    Aleksandr Fedchin committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8515c8e View commit details
    Browse the repository at this point in the history

  6. Update Inverses test

    Aleksandr Fedchin committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    c06d769 View commit details
    Browse the repository at this point in the history