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

Hide statements #5562

Merged
merged 94 commits into from
Jul 24, 2024
Merged

Hide statements #5562

merged 94 commits into from
Jul 24, 2024

Commits on Jun 12, 2024

  1. Add Boogie as a submodule

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

  2. Use Boogie submodule

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

Commits on Jun 13, 2024

  1. Added reveal test

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

  2. Move resolve code for revealStmt to RevealStmt class

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

  3. reveal.dfy test passes

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

  4. Update reveal test

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

Commits on Jun 15, 2024

  1. Progress towards blind functions

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

  2. Simplification

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

  3. Reveal.dfy passes

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

  4. Refactoring for readability

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

Commits on Jun 16, 2024

  1. Add hidden function ensure clause test case to reveal.dfy

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

  2. Refactor TrPredicateStmt

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

  3. Fix test

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

Commits on Jun 17, 2024

  1. Reveal now had a passing test for combining blind, opaque and reveal

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

Commits on Jun 20, 2024

  1. Update reveal.dfy test

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

Commits on Jun 24, 2024

  1. Add scratch test for playing around with

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

  2. Make functions in Prelude revealed

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

  3. Make more generated function always revealed

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

Commits on Jun 27, 2024

  1. Let axioms decide if they can be hidden

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

  2. Update tests

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

  3. Update test

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

  4. Update tests

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

Commits on Jul 1, 2024

  1. Draft

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

  2. Replace blind with hide statement

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

  3. Some success on revealFunctions.dfy

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

  4. revealFunctions.dfy works except for scoping now

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

  5. Scoping for if now works for revealFunctions.dfy

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

  6. revealFunctions passes

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

Commits on Jul 2, 2024

  1. Reveal functions passes

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

  2. Finished draft of revealInBlock test

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

  3. Fix printing and cloning of hide reveal statements

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

  4. revealInBlock test passes

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

  5. Fixed revealInExpression test

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

  6. Refactoring

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

Commits on Jul 3, 2024

  1. Progress in isolating expression wellformedness checks

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

  2. revealInExpression test now passes

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

  3. Some cleanup

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

  4. Adapt to Boogie changes and fix tests

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

  5. Refactoring and fixes

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

Commits on Jul 4, 2024

  1. Remove comment

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

  2. Merge commit 'origin/master~1' into alwaysOpaque

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

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

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

  4. Refactoring

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

  5. Update documentation

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

  6. Add release note

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

  7. Revert "Use Boogie submodule" 

    This reverts commit 7bded0a.
    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    a2a6541 View commit details
    Browse the repository at this point in the history

  8. Revert "Add Boogie as a submodule" 

    This reverts commit a9d1b80.
    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    b0b6350 View commit details
    Browse the repository at this point in the history

  9. Update Boogie version

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

Commits on Jul 14, 2024

  1. Update test

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

Commits on Jul 15, 2024

  1. Fixes

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

  2. Merge branch 'master' into alwaysOpaque

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

  3. Fix IsReveal check

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

  4. Merge branch 'alwaysOpaque' of github.com:keyboardDrummer/dafny into … 

    …alwaysOpaque
    @keyboardDrummer
    keyboardDrummer committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    11abf08 View commit details
    Browse the repository at this point in the history

  5. Add test for if-case and fix scoping code

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

  6. Add calc statement test

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

  7. Delete Boogie submodule

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

  8. Fix letSuchThatExprInfo scope

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

  9. Move added tests

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

  10. Fix test

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

  11. Turn off isolation of statements in a statementexpression

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

  12. Fix BindingGuards

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

  13. Added Boogie as submodule

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

  14. Use Boogie submodule

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

  15. Improve tokens for ChangeScope commands

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

  16. Add mechanism to deal with the scope change of continue and break sta… 

    …tements
    @keyboardDrummer
    keyboardDrummer committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    d27b06f View commit details
    Browse the repository at this point in the history

  17. Remove unnecessary scope changes

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

  18. More ChangeScope fixes for jumps

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

Commits on Jul 16, 2024

  1. Fix source location issue by not emitting push/pops in return positions

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

  2. Refactoring

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

  3. Add explanatory comment

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

  4. Fix breakage of legacy reveal

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

  5. Fix HideRevealStmt resolution

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

  6. Test fixes

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

  7. Fix tests

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

  8. Change IdGenerator push popping to be more like it was

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

Commits on Jul 17, 2024

  1. Add focus test

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

  2. Trigger CI

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

  3. Fixes and test fixes

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

  4. Fix bugs and tests

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

  5. Update error message

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

  6. Enable hiding of constants

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

  7. Fix doc examples

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

  8. Fix docs

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

Commits on Jul 18, 2024

  1. Merge branch 'alwaysOpaque' of github.com:keyboardDrummer/dafny into … 

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

  2. Revert "Use Boogie submodule" 

    This reverts commit e7dd5bc.
    @keyboardDrummer
    keyboardDrummer committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    7bc15cd View commit details
    Browse the repository at this point in the history

  3. Revert "Added Boogie as submodule" 

    This reverts commit beab051.
    @keyboardDrummer
    keyboardDrummer committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    b7e006b View commit details
    Browse the repository at this point in the history

  4. Update Boogie

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

  5. Undo change

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

  6. Update Boogie version

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

  7. Fix expect file

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

Commits on Jul 23, 2024

  1. Update error messages

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

  2. Merge branch 'master' into alwaysOpaque

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

  3. Fix woopse

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

Commits on Jul 24, 2024

  1. Merge branch 'master' into alwaysOpaque

    @atomb
    atomb committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    9fbe781 View commit details
    Browse the repository at this point in the history