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

Add pushScope, popScope, hide and reveal commands #891

Merged
merged 26 commits into from
Jul 2, 2024
Merged

Add pushScope, popScope, hide and reveal commands #891

merged 26 commits into from
Jul 2, 2024

Commits on Jun 13, 2024

  1. Split code refactoring

    @keyboardDrummer
    keyboardDrummer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    65d0345 View commit details
    Browse the repository at this point in the history

  2. Use expect files for split test

    @keyboardDrummer
    keyboardDrummer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    9870fea View commit details
    Browse the repository at this point in the history

  3. Add new split related test

    @keyboardDrummer
    keyboardDrummer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    9f0d713 View commit details
    Browse the repository at this point in the history

  4. Add new prune mode

    @keyboardDrummer
    keyboardDrummer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    8a118c7 View commit details
    Browse the repository at this point in the history

  5. Fixes

    @keyboardDrummer
    keyboardDrummer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    6ed64bf View commit details
    Browse the repository at this point in the history

  6. IsBlind field for implementations

    @keyboardDrummer
    keyboardDrummer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    b4c04bb View commit details
    Browse the repository at this point in the history

  7. Allow functions to be always revealed

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

Commits on Jun 24, 2024

  1. Fix bug in FindReachableNodesInGraphWithMergeNodes

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

Commits on Jun 28, 2024

  1. Incorrect intermediate state

    @keyboardDrummer
    keyboardDrummer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    4c1cf1b View commit details
    Browse the repository at this point in the history

  2. Save state

    @keyboardDrummer
    keyboardDrummer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    425ad07 View commit details
    Browse the repository at this point in the history

  3. Reveal.bpl works again but with hide statements instead of blind impl… 

    …ementations
    @keyboardDrummer
    keyboardDrummer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    a8dd806 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Implement scoping for hide and reveal

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

  2. Fixes

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

  3. Move some classes into separate files

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

Commits on Jul 2, 2024

  1. Merge branch 'prepHideRevealRefactor' (early part) into splits

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

  2. Merge branch 'prepHideRevealRefactor' into splits

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

  3. Merge remote-tracking branch 'origin/master' into splits

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

  4. Work around keyword issue

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

  5. Remove garbage

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

  6. Fix whitespace

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

  7. Add missing copy

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

  8. Fixes

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

  9. Add comments

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

  10. Refactoring

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

  11. Refactoring

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

  12. Update version

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