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

Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands #952

Open
wants to merge 61 commits into
base: master
Choose a base branch
from
Open

Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands #952

wants to merge 61 commits into from

Commits on Sep 24, 2024

  1. IsolatePaths option seems to work, although it still duplicates errors

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    576e153 View commit details
    Browse the repository at this point in the history

  2. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    8d0bee6 View commit details
    Browse the repository at this point in the history

  3. Finish test and some more refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    0465e6e View commit details
    Browse the repository at this point in the history

  4. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b451f9f View commit details
    Browse the repository at this point in the history

  5. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b016f40 View commit details
    Browse the repository at this point in the history

  6. Update version number

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    0fa1817 View commit details
    Browse the repository at this point in the history

  7. Tweaks

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    4755839 View commit details
    Browse the repository at this point in the history

  8. Improve implementation and add tests

    @keyboardDrummer
    keyboardDrummer committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    23f44ed View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. More efficient assumed block generation

    @keyboardDrummer
    keyboardDrummer committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    64b1010 View commit details
    Browse the repository at this point in the history

  2. Improvements to splitting, but still need check command to make the t… 

    …est work
    @keyboardDrummer
    keyboardDrummer committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    bccf0b1 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Some changes

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    7d5b58f View commit details
    Browse the repository at this point in the history

  2. Remove isolatePaths code

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    a2f1f76 View commit details
    Browse the repository at this point in the history

  3. Add path tokens

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    9620a3f View commit details
    Browse the repository at this point in the history

  4. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    c5f13f0 View commit details
    Browse the repository at this point in the history

  5. Rename

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    409cdb8 View commit details
    Browse the repository at this point in the history

  6. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    d4d5db6 View commit details
    Browse the repository at this point in the history

  7. Upgrade token

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    627b42c View commit details
    Browse the repository at this point in the history

  8. Fixes

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b6e6dab View commit details
    Browse the repository at this point in the history

  9. Introduce ImplementationPartToken

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    d08537e View commit details
    Browse the repository at this point in the history

  10. Rename

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b46af73 View commit details
    Browse the repository at this point in the history

  11. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    6718564 View commit details
    Browse the repository at this point in the history

  12. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    23a0942 View commit details
    Browse the repository at this point in the history

  13. Fix warnings

    @keyboardDrummer
    keyboardDrummer committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    2404e95 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Draft for isolated assertion

    @keyboardDrummer
    keyboardDrummer committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    d847412 View commit details
    Browse the repository at this point in the history

  2. More progress on the {:isolate} attribute

    @keyboardDrummer
    keyboardDrummer committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    dea7493 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Move some code into DesugarReturns

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

  2. Work on supporting isolate for return commands

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

  3. Refactoring

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

  4. Reorder tests

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

  5. Fixes. Isolatepaths for assertions seems to work

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

  6. Added isolateJump test

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

Commits on Oct 2, 2024

  1. Update tests and fixes

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

  2. Merge commit '40f15f1e1~1' into isolatePaths

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

  3. Merge commit '40f15f1e1' into isolatePaths

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

  4. Code review

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

  5. Add refactoring

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

  6. Refactoring

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

  7. Fix

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

  8. Update test

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

  9. Fix test

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

  10. Save

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

  11. Extract some code into file RemoveBackEdges

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

  12. Remove need for gotoCmdOrigins map

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

  13. Remove occurrences of gotoCmd dictionary

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

  14. Simple fail now passes

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

  15. Update test files

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

  16. Fixes

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

  17. Test file fixes

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

Commits on Oct 3, 2024

  1. Fixes

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

  2. Update tests

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

  3. Fix path isolation error reporting

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

  4. Refactoring

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

  5. Refactoring

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

  6. Remove TODO

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

  7. Refactoring

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

  8. Remove TODO

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

  9. Cleanup

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

  10. Merge commit '9a8ce8d4c4c' into isolatePaths

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

Commits on Oct 4, 2024

  1. Update Source/Directory.Build.props 

    Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
    @keyboardDrummer @MikaelMayer
    keyboardDrummer and MikaelMayer authored Oct 4, 2024
    Configuration menu
    Copy the full SHA
    d09374c View commit details
    Browse the repository at this point in the history

  2. Refactorings

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

  3. Merge branch 'isolatePaths' of github.com:keyboardDrummer/boogie into… 

    … isolatePaths
    @keyboardDrummer
    keyboardDrummer committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    8ea0f08 View commit details
    Browse the repository at this point in the history