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

Resolve match before compile #2734

Merged
merged 364 commits into from
Jan 4, 2023
Merged

Resolve match before compile #2734

merged 364 commits into from
Jan 4, 2023
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Oct 4, 2022

  1. Small fix

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

  2. Run formatter

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

Commits on Oct 5, 2022

  1. Refactor CompileNestedMatch

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    135fc5e View commit details
    Browse the repository at this point in the history

  2. Refactor CompileNestedMatch take2

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

  3. Further refactoring of CompileNestedMatch

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

  4. Refactoring

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

  5. Fix bugs related to nested match constructs

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    9edf54d View commit details
    Browse the repository at this point in the history

  6. Move unnested match AST

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

  7. Override ToString for statements

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    4127e8e View commit details
    Browse the repository at this point in the history

  8. Fix accidental Body reuse bug

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    7a41faf View commit details
    Browse the repository at this point in the history

  9. Printing changes

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    58e711f View commit details
    Browse the repository at this point in the history

  10. Allow cloning with resolved fields

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    63de739 View commit details
    Browse the repository at this point in the history

  11. PatternMatching.dfy passes

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    619b238 View commit details
    Browse the repository at this point in the history

  12. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    7a11b6b View commit details
    Browse the repository at this point in the history

  13. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    c9a59df View commit details
    Browse the repository at this point in the history

  14. Merge remote-tracking branch 'origin/master' into resolveMatchBeforeC… 

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    6d89b73 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2022

  1. More cloning if resolved fields

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

Commits on Oct 13, 2022

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

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    373e422 View commit details
    Browse the repository at this point in the history

  2. Tiny refac

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    ae8b336 View commit details
    Browse the repository at this point in the history

  3. Remove bad cast

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    4f32cec View commit details
    Browse the repository at this point in the history

  4. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    e91b271 View commit details
    Browse the repository at this point in the history

  5. Bring back pre-resolve processing of explicit bound variable types

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    83c9458 View commit details
    Browse the repository at this point in the history

  6. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    a437955 View commit details
    Browse the repository at this point in the history

  7. Add missing type annotation

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    5991bc6 View commit details
    Browse the repository at this point in the history

  8. Update cloner for all inheritors of ConcreteSyntaxExpression

    @keyboardDrummer
    keyboardDrummer committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    6977673 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2022

  1. NameSegment creation improvement, refactoring, and test updates

    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    f76bd59 View commit details
    Browse the repository at this point in the history

  2. Let IdPattern use a BoundVar or LocalVariable depending on the contex… 

    …t, expr or stmt
    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    40b5dfd View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Oct 14, 2022
    Configuration menu
    Copy the full SHA
    3ee3856 View commit details
    Browse the repository at this point in the history

  4. Add missing clone

    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    e2c2b71 View commit details
    Browse the repository at this point in the history

  5. Remove obsolete print statement

    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    4ee1f58 View commit details
    Browse the repository at this point in the history

  6. Various cloner and .Children fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    9afc71d View commit details
    Browse the repository at this point in the history

  7. Improve .Children, run formatter

    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    92a772f View commit details
    Browse the repository at this point in the history

  8. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    3f719e8 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Oct 14, 2022
    Configuration menu
    Copy the full SHA
    6396e5b View commit details
    Browse the repository at this point in the history

  10. Lambda related changes

    @keyboardDrummer
    keyboardDrummer committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    e06890a View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2022

  1. Various fixes

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

  2. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2022
    Configuration menu
    Copy the full SHA
    5b2711c View commit details
    Browse the repository at this point in the history

  3. Fix for CloneCallAndAddK

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

  4. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Oct 18, 2022
    Configuration menu
    Copy the full SHA
    1d902ea View commit details
    Browse the repository at this point in the history

  5. Cloner improvements for AutoGenExpr

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

  6. Ran formatter

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

  7. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2022
    Configuration menu
    Copy the full SHA
    48372f0 View commit details
    Browse the repository at this point in the history

  8. Fixes for CloneXAndAddK

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

Commits on Oct 19, 2022

  1. Fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    80b04bb View commit details
    Browse the repository at this point in the history

  2. Commit formatting changes

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    9aceefd View commit details
    Browse the repository at this point in the history

  3. Fix ChainingExpression

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    88f74c7 View commit details
    Browse the repository at this point in the history

  4. Various fixes for CoPrefix

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    0126747 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2022

  1. ExtremeLemmaBodyCloner fix

    @keyboardDrummer
    keyboardDrummer committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    9232cfb View commit details
    Browse the repository at this point in the history

  2. Copy BoundVar.IsGhost when substituting

    @keyboardDrummer
    keyboardDrummer committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    cacb03c View commit details
    Browse the repository at this point in the history

  3. Some IsGhost assignments that may be useful

    @keyboardDrummer
    keyboardDrummer committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    a3e83d7 View commit details
    Browse the repository at this point in the history

  4. Pat resolve order change

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

Commits on Oct 27, 2022

  1. Undo bug

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

  2. Fix children of Calc

    @keyboardDrummer
    keyboardDrummer committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    ce10e4a View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Let cloner take into account reference and non-reference variables

    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    c509ad8 View commit details
    Browse the repository at this point in the history

  2. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    2493e34 View commit details
    Browse the repository at this point in the history

  3. Allow cloning resolved attributes

    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    5bfffdd View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into resolveMatchBeforeC… 

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    a430987 View commit details
    Browse the repository at this point in the history

  5. Allocated1 passes after computing ghost interesting after compiling N… 

    …estedMatchStmt
    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    e7b58af View commit details
    Browse the repository at this point in the history

  6. CoPrefix passes

    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    788e907 View commit details
    Browse the repository at this point in the history

  7. Add TODO

    @keyboardDrummer
    keyboardDrummer committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    c432818 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Added null checks to make cloner more robust, Datatypes passes now

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    943420b View commit details
    Browse the repository at this point in the history

  2. Fix NoTypeArgs test

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    d6cf02d View commit details
    Browse the repository at this point in the history

  3. Fix CallStmt cloning

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    962a39b View commit details
    Browse the repository at this point in the history

  4. Move TailRecursion to separate class and add case for NestedMatch*

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    ffe829b View commit details
    Browse the repository at this point in the history

  5. Update BranchCoverage test expect tokens

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    ed2b77b View commit details
    Browse the repository at this point in the history

  6. Update Various expect file

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    3b83c46 View commit details
    Browse the repository at this point in the history

  7. Update ghostness checks in NestedMatchStmt

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    a9047ae View commit details
    Browse the repository at this point in the history

  8. Fix Abstemious check and ModuleExport expect file

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    da460ff View commit details
    Browse the repository at this point in the history

  9. Fix cloning of existsExpr

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    19e23b5 View commit details
    Browse the repository at this point in the history

  10. Substitution.dfy passes

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    81d2243 View commit details
    Browse the repository at this point in the history

  11. Calculations passes

    @keyboardDrummer
    keyboardDrummer committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    0c4f99e View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2022

  1. Going over all FilledByResolution attributes to make sure the cloner … 

    …can handle them
    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    33fc142 View commit details
    Browse the repository at this point in the history

  2. More usages of ICloneable

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    72ffd01 View commit details
    Browse the repository at this point in the history

  3. Remove ConcreteSyntaxStatement since it's not used

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    d85c68c View commit details
    Browse the repository at this point in the history

  4. All FilledInByResolution Statements and Expressions now inherit from … 

    …ICloneable
    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    50f20fe View commit details
    Browse the repository at this point in the history

  5. Fix cloning bugs

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    ce443b8 View commit details
    Browse the repository at this point in the history

  6. Fix cloning bug in LetExpr

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    11c24d8 View commit details
    Browse the repository at this point in the history

  7. QuantifierExpr.SubExpressions 'fix', test update

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    eafe06b View commit details
    Browse the repository at this point in the history

  8. Update test

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    efcf155 View commit details
    Browse the repository at this point in the history

  9. Remove redundancy warnings

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    4535ea1 View commit details
    Browse the repository at this point in the history

  10. Move illegal pattern check to resolution, away from nested match comp… 

    …ilation
    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    11150be View commit details
    Browse the repository at this point in the history

  11. Revert "Move illegal pattern check to resolution, away from nested ma… 

    …tch compilation"

This reverts commit 11150be.
    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    6ddd2fc View commit details
    Browse the repository at this point in the history

  12. Less WOOP

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    76aa52a View commit details
    Browse the repository at this point in the history

  13. PatternMatchingErrors now passes

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    dd11006 View commit details
    Browse the repository at this point in the history

  14. Moved extremaLemmaCloner files

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    9ecf20e View commit details
    Browse the repository at this point in the history

  15. constructorCaseWithoutParentheses passes

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    b3b1359 View commit details
    Browse the repository at this point in the history

  16. SimpleCompiler passes

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    84176d8 View commit details
    Browse the repository at this point in the history

  17. Override contracts with an empty implementation

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    9711944 View commit details
    Browse the repository at this point in the history

  18. Add contract class to overwrite contracts

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    08ef2d8 View commit details
    Browse the repository at this point in the history

  19. Fix Children traversal for ApplySuffix and ActualBindings

    @keyboardDrummer
    keyboardDrummer committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    16b490a View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2022

  1. Fix trigger generation for NestedMatchExpr

    @keyboardDrummer
    keyboardDrummer committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    771f0a4 View commit details
    Browse the repository at this point in the history

  2. Clone stmt in nested match compilation

    @keyboardDrummer
    keyboardDrummer committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    3c8fa3c View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    335d711 View commit details
    Browse the repository at this point in the history

  4. Cleanup

    @keyboardDrummer
    keyboardDrummer committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    1c555c4 View commit details
    Browse the repository at this point in the history

  5. Correctly clone Bounds, Wellfounded now passes

    @keyboardDrummer
    keyboardDrummer committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    6678b3b View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    a1003d9 View commit details
    Browse the repository at this point in the history

  2. Fix refinement transformer

    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    b03409a View commit details
    Browse the repository at this point in the history

  3. Small cloner fixes

    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    3f4d176 View commit details
    Browse the repository at this point in the history

  4. Refactored out CheckTypeInferenceVisitor

    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    6f3e5cb View commit details
    Browse the repository at this point in the history

  5. Fix unary minus lit pattern check, and update 889b test

    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    3 Configuration menu
    Copy the full SHA
    0741daf View commit details
    Browse the repository at this point in the history

  6. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    ce333da View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into resolveMatchBeforeC… 

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    c977c9a View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2022

  1. Add missing null check

    @keyboardDrummer
    keyboardDrummer committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    0a8c889 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Nov 6, 2022
    Configuration menu
    Copy the full SHA
    47200f4 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

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

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    13ff3dc View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2022

  1. Merge commit 'f65c111a' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    70a3c69 View commit details
    Browse the repository at this point in the history

  2. Merge commit '99d8ac3' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    d1a82d6 View commit details
    Browse the repository at this point in the history

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

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    c7c99e7 View commit details
    Browse the repository at this point in the history

  4. Move more code to prep from resolveNestedMatch

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    7727f33 View commit details
    Browse the repository at this point in the history

  5. Capitalise first letter of some public members

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    6ce2bef View commit details
    Browse the repository at this point in the history

  6. Remove WOOP files

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    a5f6baf View commit details
    Browse the repository at this point in the history

  7. Add case

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    593f6ae View commit details
    Browse the repository at this point in the history

  8. No longer denest matches as part of resolution

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    4277427 View commit details
    Browse the repository at this point in the history

  9. Fix call Stmt children

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    169d55a View commit details
    Browse the repository at this point in the history

  10. Add AST changes

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    4897660 View commit details
    Browse the repository at this point in the history

  11. Compiles now

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    368cfa6 View commit details
    Browse the repository at this point in the history

  12. Most tests pass now, except the ones that fail because of StaticRecei… 

    …verExpr
    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    74dfdb7 View commit details
    Browse the repository at this point in the history

  13. Run formatter

    @keyboardDrummer
    keyboardDrummer committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    b2aa68d View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2022

  1. Weird static state crash only when running all DefinitionTest tests

    @keyboardDrummer
    keyboardDrummer committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    0be6b16 View commit details
    Browse the repository at this point in the history

  2. Definition tests pass

    @keyboardDrummer
    keyboardDrummer committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    4cdef82 View commit details
    Browse the repository at this point in the history

  3. Remove base.Children call in StaticRecExpr.Children

    @keyboardDrummer
    keyboardDrummer committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    7990148 View commit details
    Browse the repository at this point in the history

  4. Fixes for static receiver expr

    @keyboardDrummer
    keyboardDrummer committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    6c62dbd View commit details
    Browse the repository at this point in the history

  5. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    ffbb783 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2022

  1. Fix TODO

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    f785f46 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'codeMoves2' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    35b4f2a View commit details
    Browse the repository at this point in the history

  3. Merge commit 'f2d1f5d5~1' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    4e46577 View commit details
    Browse the repository at this point in the history

  4. Merge commit 'f2d1f5d5' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    01ce3a4 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    bd976a8 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'updateChildren' of github.com:keyboardDrummer/dafny int… 

    …o updateChildren
    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    1e3a028 View commit details
    Browse the repository at this point in the history

  7. Delete StatementsOld

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    db6cd10 View commit details
    Browse the repository at this point in the history

  8. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    670b10e View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2022

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

    @keyboardDrummer
    keyboardDrummer committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    3bafbe9 View commit details
    Browse the repository at this point in the history

  2. Bring back some removed code

    @keyboardDrummer
    keyboardDrummer committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    4ea6b9d View commit details
    Browse the repository at this point in the history

  3. Fix NRE in UpdateStmt

    @keyboardDrummer
    keyboardDrummer committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    22a5ab6 View commit details
    Browse the repository at this point in the history

  4. Fix another UpdateStatement.ResolvedStatements bug

    @keyboardDrummer
    keyboardDrummer committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    0d68478 View commit details
    Browse the repository at this point in the history

  5. Turn RangeToken computing into a method instead of a property

    @keyboardDrummer
    keyboardDrummer committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    9544d76 View commit details
    Browse the repository at this point in the history

  6. Turn RangeToken computing into a method instead of a property

    @keyboardDrummer
    keyboardDrummer committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    9959513 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. Converted properties to method in attempt to fix debugging, but ToStr… 

    …ing on a token still gives issues
    @keyboardDrummer
    keyboardDrummer committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    2b415ba View commit details
    Browse the repository at this point in the history

  2. Temporarily shorten test file

    @keyboardDrummer
    keyboardDrummer committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    c60a9b8 View commit details
    Browse the repository at this point in the history

  3. Make Token a class

    @keyboardDrummer
    keyboardDrummer committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    6edfaff View commit details
    Browse the repository at this point in the history

  4. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    5fb11a1 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into fixDebugging

    @keyboardDrummer
    keyboardDrummer authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    522cbaf View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2022

  1. Repair accidentaly changed test file

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    fb96dff View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fixDebugging' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    ef2b371 View commit details
    Browse the repository at this point in the history

  3. Fix QuantifierExpr.SubExpressions

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    2997659 View commit details
    Browse the repository at this point in the history

  4. Fix ExtremeLemmaBodyCloner

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    2a20720 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    fd0efc5 View commit details
    Browse the repository at this point in the history

  6. Fix ForLoopStmt.Clone

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    c8c3858 View commit details
    Browse the repository at this point in the history

  7. Fix bug in MatchAst.Clone

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    9e97cff View commit details
    Browse the repository at this point in the history

  8. Fix AutoGhostIdentifierExpr.Clone

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    d44fb20 View commit details
    Browse the repository at this point in the history

  9. Run formatter

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    9566329 View commit details
    Browse the repository at this point in the history

  10. Fix Tok and GetRangeToken of AttributedExpression

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    5c1f966 View commit details
    Browse the repository at this point in the history

  11. Format and remove .Reverse

    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    1bab8b3 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'updateChildren' of github.com:keyboardDrummer/dafny int… 

    …o updateChildren
    @keyboardDrummer
    keyboardDrummer committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    4007e69 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

  1. Fix bug

    @keyboardDrummer
    keyboardDrummer committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    dcef971 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into updateChildren

    @keyboardDrummer
    keyboardDrummer authored Dec 20, 2022
    Configuration menu
    Copy the full SHA
    8fe135d View commit details
    Browse the repository at this point in the history

  3. Delete ResolvedCloner

    @keyboardDrummer
    keyboardDrummer committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    2f68010 View commit details
    Browse the repository at this point in the history

  4. Resolve comments

    @keyboardDrummer
    keyboardDrummer committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    a4a58fd View commit details
    Browse the repository at this point in the history

  5. Merge branch 'updateChildren' of github.com:keyboardDrummer/dafny int… 

    …o updateChildren
    @keyboardDrummer
    keyboardDrummer committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    43c65ef View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/master' into updateChildren

    @keyboardDrummer
    keyboardDrummer committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    5d53048 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2022

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

    @keyboardDrummer
    keyboardDrummer committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    066be92 View commit details
    Browse the repository at this point in the history

  2. Trigger CI

    @keyboardDrummer
    keyboardDrummer committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    ce3edc5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'updateChildren' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    02e32ca View commit details
    Browse the repository at this point in the history

  4. Merge commit '2d6d0e43cc6' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    f5c154f View commit details
    Browse the repository at this point in the history

  5. Merge commit '051c71b76d94' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    5af1720 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2022

  1. Add ghost interest computation for NestedMatch

    @keyboardDrummer
    keyboardDrummer committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    e448083 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Dec 22, 2022
    Configuration menu
    Copy the full SHA
    cae57df View commit details
    Browse the repository at this point in the history

  3. Undo unintentional change

    @keyboardDrummer
    keyboardDrummer committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    f96bf92 View commit details
    Browse the repository at this point in the history

  4. Move ExtendedPatterns to separate files, and move illegal subpatterns… 

    … check from Match denester to resolution phase
    @keyboardDrummer
    keyboardDrummer committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    3af00f7 View commit details
    Browse the repository at this point in the history

  5. Bring back .Reverse()

    @keyboardDrummer
    keyboardDrummer committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    e1328b0 View commit details
    Browse the repository at this point in the history

  6. Fix denesting during translation to properly visit all modules

    @keyboardDrummer
    keyboardDrummer committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    16f59ba View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Dec 22, 2022
    Configuration menu
    Copy the full SHA
    4e1fc38 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2022

  1. Fix handling in tuples in match cases

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    ac41345 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    ea29cdd View commit details
    Browse the repository at this point in the history

  3. Fill in some missing nestedMatchExpr cases

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    cf97258 View commit details
    Browse the repository at this point in the history

  4. Moved classes, many inside Rewriter.cs, into separate files

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    8ba8e41 View commit details
    Browse the repository at this point in the history

  5. Move infer decreases clauses code into a separate file

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    edfaaf5 View commit details
    Browse the repository at this point in the history

  6. Prevent NRE in GhostInterestVisitor when calling ExpressionTester

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    9e1a5a0 View commit details
    Browse the repository at this point in the history

  7. Fix NRE in cloning constructor of OneBodyLoopStmt

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    0de2347 View commit details
    Browse the repository at this point in the history

  8. Fix cloner issue related to Statement.Labels and BreakStmt.TargetStmt

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    4ec6cfc View commit details
    Browse the repository at this point in the history

  9. Let tail recursion detection work for nested match expressions

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    582b8a0 View commit details
    Browse the repository at this point in the history

  10. Tiny refactoring

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    d0c7d04 View commit details
    Browse the repository at this point in the history

  11. Temp fix for MatchDenester traversal

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    e683701 View commit details
    Browse the repository at this point in the history

  12. Fix expect file

    @keyboardDrummer
    keyboardDrummer committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    80209f2 View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2022

  1. Make denester part of resolution, but store the result in a separate … 

    …field
    @keyboardDrummer
    keyboardDrummer committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    cc38782 View commit details
    Browse the repository at this point in the history

  2. Various .Denested fixes

    @keyboardDrummer
    keyboardDrummer committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    95615c4 View commit details
    Browse the repository at this point in the history

  3. 032 runs without crashing

    @keyboardDrummer
    keyboardDrummer committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    ff96f44 View commit details
    Browse the repository at this point in the history

  4. 032 passes

    @keyboardDrummer
    keyboardDrummer committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    ee0701d View commit details
    Browse the repository at this point in the history

  5. FStarQuicksort passes

    @keyboardDrummer
    keyboardDrummer committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    8626ee4 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2022

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

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    9b97497 View commit details
    Browse the repository at this point in the history

  2. Fix SimpleCoinduction.dfy

    @keyboardDrummer
    keyboardDrummer committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    5f4ace4 View commit details
    Browse the repository at this point in the history

  3. Fix for literally nested match constructs

    @keyboardDrummer
    keyboardDrummer committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    7eb6723 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2022

  1. Fix bug in match wellformedness check

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    73238a0 View commit details
    Browse the repository at this point in the history

  2. Add missing NestedMatchExpr case

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    ca1bad5 View commit details
    Browse the repository at this point in the history

  3. Fix NRE in ForallStmt

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    909ad0d View commit details
    Browse the repository at this point in the history

  4. Fix 503

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    1aa94de View commit details
    Browse the repository at this point in the history

  5. Fix 133

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    0429ae1 View commit details
    Browse the repository at this point in the history

  6. Fix 686 test

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    cf29536 View commit details
    Browse the repository at this point in the history

  7. Fix ComprehensionExpr clone so Calculations.dfy passes

    @keyboardDrummer
    keyboardDrummer committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    498dcf9 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2022

  1. Fix 686 expect file

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    8b03ac7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Dec 29, 2022
    Configuration menu
    Copy the full SHA
    b127542 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    a457420 View commit details
    Browse the repository at this point in the history

  4. Fix 1665 expect file

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    c748421 View commit details
    Browse the repository at this point in the history

  5. Fix nested patterns expect

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    af69bfa View commit details
    Browse the repository at this point in the history

  6. Fix printer to handle Denested well

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    f7d23db View commit details
    Browse the repository at this point in the history

  7. Fix tail recursion code, so BranchCoverage passes

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    f455011 View commit details
    Browse the repository at this point in the history

  8. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    62c46a4 View commit details
    Browse the repository at this point in the history

  9. Fix 1665 expect file

    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    41c00dc View commit details
    Browse the repository at this point in the history

  10. Merge remote-tracking branch 'origin/master' into resolveMatchBeforeC… 

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    a3f6883 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2022

  1. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    542182e View commit details
    Browse the repository at this point in the history

  2. Fix 686 expect file

    @keyboardDrummer
    keyboardDrummer committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    9ef0a73 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    0328ec3 View commit details
    Browse the repository at this point in the history

  4. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    cf0237b View commit details
    Browse the repository at this point in the history

  5. Delete StatementsOld.cs

    @keyboardDrummer
    keyboardDrummer committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    1e14501 View commit details
    Browse the repository at this point in the history

  6. Update 1665 expect file

    @keyboardDrummer
    keyboardDrummer committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    f38dd2f View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2023

  1. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    7ca28c5 View commit details
    Browse the repository at this point in the history

  2. Merge commit '2b23d2ed' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    0f7202b View commit details
    Browse the repository at this point in the history

  3. Merge commit '185282eff' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    31eaf85 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into resolveMatchBeforeC… 

    …ompile
    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    a72bf13 View commit details
    Browse the repository at this point in the history

  5. Renamed folder

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    59faebf View commit details
    Browse the repository at this point in the history

  6. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    629bf63 View commit details
    Browse the repository at this point in the history

  7. Remove match debug code

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    6284aaa View commit details
    Browse the repository at this point in the history

  8. Move the first half of the nested match resolve code out of Resolver.cs

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    38ce8b1 View commit details
    Browse the repository at this point in the history

  9. Rename

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    79439d0 View commit details
    Browse the repository at this point in the history

  10. Rename denested to flattened

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    93fccb5 View commit details
    Browse the repository at this point in the history

  11. Cleanup and renames

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    1220b94 View commit details
    Browse the repository at this point in the history

  12. Undo Body->Term inline

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    5c253a7 View commit details
    Browse the repository at this point in the history

  13. Fix comp errors

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    eb7f315 View commit details
    Browse the repository at this point in the history

  14. Reduce code duplication

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    ccf0b91 View commit details
    Browse the repository at this point in the history

  15. Small refactoring

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    837039d View commit details
    Browse the repository at this point in the history

  16. Delete resolve code for simple matches

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    bc91c60 View commit details
    Browse the repository at this point in the history

  17. Remove OrigUnresolved

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    24fe226 View commit details
    Browse the repository at this point in the history

  18. Refactor and fix bug

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    fbaf092 View commit details
    Browse the repository at this point in the history

  19. Remove obsolete argument

    @keyboardDrummer
    keyboardDrummer committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    0abef8d View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2023

  1. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Jan 3, 2023
    Configuration menu
    Copy the full SHA
    c97e7d3 View commit details
    Browse the repository at this point in the history

  2. Fix print expect file

    @keyboardDrummer
    keyboardDrummer committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    07c6cd4 View commit details
    Browse the repository at this point in the history

  3. Run formatter

    @keyboardDrummer
    keyboardDrummer committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    ed72062 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Jan 3, 2023
    Configuration menu
    Copy the full SHA
    55ae49f View commit details
    Browse the repository at this point in the history

  5. Fix comp error

    @keyboardDrummer
    keyboardDrummer committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    3059618 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. Code review

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    ba64de2 View commit details
    Browse the repository at this point in the history

  2. Apply TODO

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    0e850be View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into resolveMatchBeforeCompile

    @keyboardDrummer
    keyboardDrummer authored Jan 4, 2023
    Configuration menu
    Copy the full SHA
    5ecb444 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'resolveMatchBeforeCompile' of github.com:keyboardDrumme… 

    …r/dafny into resolveMatchBeforeCompile
    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    2ed841c View commit details
    Browse the repository at this point in the history

  5. Move SinglyLinkedList

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    2040d73 View commit details
    Browse the repository at this point in the history

  6. Resolve TODO that removes SyntaxContainer

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    74e7ecd View commit details
    Browse the repository at this point in the history

  7. Remove TODO

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    4589aed View commit details
    Browse the repository at this point in the history

  8. Remove .Reverse call

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    b319033 View commit details
    Browse the repository at this point in the history

  9. Fix

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    513fe70 View commit details
    Browse the repository at this point in the history

  10. Refactor

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    97d3fb3 View commit details
    Browse the repository at this point in the history

  11. Fix NRE

    @keyboardDrummer
    keyboardDrummer committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    6644b8c View commit details
    Browse the repository at this point in the history