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

Enable marking if commands as {:allow_split} or not #967

Closed
wants to merge 18 commits into from
Closed

Enable marking if commands as {:allow_split} or not #967

wants to merge 18 commits into from

Commits on Oct 16, 2024

  1. Revert "Revert isolation (boogie-org#966)" 

    This reverts commit 09093a2.
    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    11a0acb View commit details
    Browse the repository at this point in the history

  2. Renames and automated refactorings

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    a2c97c4 View commit details
    Browse the repository at this point in the history

  3. Fix concurrency issue

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    4f0dd6b View commit details
    Browse the repository at this point in the history

  4. Use IList<Block> instead of List<Block> for Implementation

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    183bfe0 View commit details
    Browse the repository at this point in the history

  5. {:allow_splits} and fixes to isolation of jumps

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    999e6b9 View commit details
    Browse the repository at this point in the history

  6. Add token persistent to empty block removal

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    1d31906 View commit details
    Browse the repository at this point in the history

  7. Fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ff278bf View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    6d22608 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Updates

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    74cb88c View commit details
    Browse the repository at this point in the history

  2. Update focus expect file

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    05e1728 View commit details
    Browse the repository at this point in the history

  3. Fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    741e9e7 View commit details
    Browse the repository at this point in the history

  4. Tests pass but did not add back else if

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    5b9c0c4 View commit details
    Browse the repository at this point in the history

  5. Update expect files

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    3376858 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Small fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    06cc138 View commit details
    Browse the repository at this point in the history

  2. Update expect files

    @keyboardDrummer
    keyboardDrummer committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    0c99e9a View commit details
    Browse the repository at this point in the history

  3. Remove woops

    @keyboardDrummer
    keyboardDrummer committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    714d47f View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Fix test expect file

    @keyboardDrummer
    keyboardDrummer committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    4b5ff94 View commit details
    Browse the repository at this point in the history

  2. Introduce KindName

    @keyboardDrummer
    keyboardDrummer committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    fc7dcab View commit details
    Browse the repository at this point in the history