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

Simplify tactics state structure #1449

Merged
merged 15 commits into from Feb 27, 2021
Merged

Simplify tactics state structure #1449

merged 15 commits into from Feb 27, 2021

Commits on Feb 26, 2021

  1. Store total number of arguments in TopLevelArgPrv

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    2c52a5f View commit details
    Browse the repository at this point in the history

  2. Re-enable tracing other solutions

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    2867ff9 View commit details
    Browse the repository at this point in the history

  3. Document a bug I ran into while trying to dogfood

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    8d84ccc View commit details
    Browse the repository at this point in the history

  4. Replace the janky (Trace,) extract with something more principled

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    28d2913 View commit details
    Browse the repository at this point in the history

  5. Add explicit constructors for introducing hypotheses

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    4abb303 View commit details
    Browse the repository at this point in the history

  6. Split apart creation of hypothesis from introduction of it

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    cecc400 View commit details
    Browse the repository at this point in the history

  7. Produce better debug output for other solns

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    79741bb View commit details
    Browse the repository at this point in the history

  8. Track all the bindings that get generated in Synthesized

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    389e179 View commit details
    Browse the repository at this point in the history

  9. Remove ts_intro_vals; use synthesized bindings instead

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    bae2581 View commit details
    Browse the repository at this point in the history

  10. Track used variables in the Synthesis

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    b31ec5c View commit details
    Browse the repository at this point in the history

  11. Remove a debug trace

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    a6df284 View commit details
    Browse the repository at this point in the history

  12. Add some documentation about what's happening here.

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    b8f70af View commit details
    Browse the repository at this point in the history

  13. Minor tidying

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    117fa0a View commit details
    Browse the repository at this point in the history

  14. Merge branch 'master' into synthesized-attributes

    @isovector
    isovector committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    b499a54 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2021

  1. Merge branch 'master' into synthesized-attributes

    @mergify
    mergify[bot] committed Feb 27, 2021
    Configuration menu
    Copy the full SHA
    3c25dfd View commit details
    Browse the repository at this point in the history