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

4059 ensures substitution #4060

Merged
merged 36 commits into from
Oct 23, 2024
Merged

4059 ensures substitution #4060

merged 36 commits into from
Oct 23, 2024

Commits on Oct 22, 2024

  1. Make substitution part of Pattern

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    5481f26 View commit details
    Browse the repository at this point in the history

  2. Do not invalidate cache twice when ensuring conditions

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

  3. Extract substitution items from ensured conditions

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    b491b85 View commit details
    Browse the repository at this point in the history

  4. Include ensured substitution when externalising pattern

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    f98f4b5 View commit details
    Browse the repository at this point in the history

  5. Update integration test output

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    b4502f9 View commit details
    Browse the repository at this point in the history

  6. Add substitution conversion helpers

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    aee79b7 View commit details
    Browse the repository at this point in the history

  7. Build existential substitution together with the matching one

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    0f6ccf5 View commit details
    Browse the repository at this point in the history

  8. Fix imports

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    7c7a4ba View commit details
    Browse the repository at this point in the history

  9. Move partitionPredicates to Booster.Pattern.Bool

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    82f0955 View commit details
    Browse the repository at this point in the history

  10. Consider substitution as constraints in evaluatePattern 

    Include substitution in known truth when simplifying
    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    20c10ef View commit details
    Browse the repository at this point in the history

  11. Delete obsolete booster-dev responses

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    8b6fbfd View commit details
    Browse the repository at this point in the history

  12. Include input substitution into the pattern

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    ac825e6 View commit details
    Browse the repository at this point in the history

  13. Extend Unknown type, abort on unsafe unknown ensures

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    a6c7808 View commit details
    Browse the repository at this point in the history

  14. Include substitution when pretty-printing Pattern

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    ffc4035 View commit details
    Browse the repository at this point in the history

  15. Fix substitution externalisation

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    32a8418 View commit details
    Browse the repository at this point in the history

  16. Do not simplify substitution when normalising it

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    7da0911 View commit details
    Browse the repository at this point in the history

  17. Kill redundant patterns

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    9f11343 View commit details
    Browse the repository at this point in the history

  18. Move substitution-related stuff into a separate module 

    Fix unit tests

add test
    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    9e47e06 View commit details
    Browse the repository at this point in the history

  19. Tweak substitution naming in applyRule

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    ef7ea92 View commit details
    Browse the repository at this point in the history

  20. Rename rule pattern internalisation function

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

  21. Format with fourmolu

    @geo2a
    github-actions authored and geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    b72baf9 View commit details
    Browse the repository at this point in the history

  22. Float mbSubstitution out, make pure 

    Format with fourmolu
    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    a6f2dd9 View commit details
    Browse the repository at this point in the history

  23. Reuse substitution internalisation code 

    Handle with care
    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    a08f937 View commit details
    Browse the repository at this point in the history

  24. Do not override with old substitution when externalising

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    900e13d View commit details
    Browse the repository at this point in the history

  25. Update test-substitution

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    b4a3599 View commit details
    Browse the repository at this point in the history

  26. Update test-questionmark-vars

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

  27. Update test-a-to-f

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    598c8a4 View commit details
    Browse the repository at this point in the history

  28. Remove dead code

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    bc72188 View commit details
    Browse the repository at this point in the history

  29. Use substitution in Implies

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    b2ea0f8 View commit details
    Browse the repository at this point in the history

  30. Handle input substitution as part of Pattern

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    f8f956f View commit details
    Browse the repository at this point in the history

  31. Handle substitution better when simplifying standalone predicates

    @geo2a
    geo2a committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    c73a2c9 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Remove unused function modifyVariables

    @geo2a
    geo2a committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    cc808a2 View commit details
    Browse the repository at this point in the history

  2. Fix typo

    @geo2a
    geo2a committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    f9f0d51 View commit details
    Browse the repository at this point in the history

  3. Refactor extractSubstitution

    @geo2a
    geo2a committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    c974346 View commit details
    Browse the repository at this point in the history

  4. Bind the known constraints expressin

    @geo2a
    geo2a committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    9bcdc52 View commit details
    Browse the repository at this point in the history

  5. Substitute in the internalisation functions directly

    @geo2a
    geo2a committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    58f6402 View commit details
    Browse the repository at this point in the history