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

Check consistency of constraints before evaluating a pattern #4013

Closed
wants to merge 25 commits into from
Closed

Check consistency of constraints before evaluating a pattern #4013

wants to merge 25 commits into from

Commits on Aug 5, 2024

  1. implment isSat

    @goodlyrottenapple @geo2a
    goodlyrottenapple authored and geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    99988c1 View commit details
    Browse the repository at this point in the history

  2. Check constraints for consistency in evaluatePattern'

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    f368038 View commit details
    Browse the repository at this point in the history

  3. Do not fail on Unknown pattern constraints

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    32b08b7 View commit details
    Browse the repository at this point in the history

  4. Ignore prelude check result when running with noSolver

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    59bd44b View commit details
    Browse the repository at this point in the history

  5. Set FEATURE_SERVER_OPTS to '' if it's unbound

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    fd3ea50 View commit details
    Browse the repository at this point in the history

  6. Emit more logs from evaluatePattern'

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    bb6a765 View commit details
    Browse the repository at this point in the history

  7. Check consistency of the pattern before rewriting

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    29524b8 View commit details
    Browse the repository at this point in the history

  8. Move log message out

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8852282 View commit details
    Browse the repository at this point in the history

  9. Remove bad hardResetSolver

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8f13183 View commit details
    Browse the repository at this point in the history

  10. Hard reset in the beginning of isSat

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    1948b15 View commit details
    Browse the repository at this point in the history

  11. Update integration test output

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8bef12a View commit details
    Browse the repository at this point in the history

  12. pretty: print substitution as bindings, separate imports

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    432ff02 View commit details
    Browse the repository at this point in the history

  13. Update outputs of booster/test/rpc-integration/test-substitution

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    7fe9293 View commit details
    Browse the repository at this point in the history

  14. Run test-substitutions with booster-dev

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    2483a57 View commit details
    Browse the repository at this point in the history

  15. Use the same code to update SMT options on retries

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    25afc73 View commit details
    Browse the repository at this point in the history

  16. Factor-out and unify failBecauseUnknown

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c9f107d View commit details
    Browse the repository at this point in the history

  17. Update comments

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    2ef21ab View commit details
    Browse the repository at this point in the history

  18. Factor-out duration

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    64147e3 View commit details
    Browse the repository at this point in the history

  19. comment

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    24b8126 View commit details
    Browse the repository at this point in the history

  20. Pass initial simplifier cache to performRewrite

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    10f6b18 View commit details
    Browse the repository at this point in the history

  21. Correct comments

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    7f7d667 View commit details
    Browse the repository at this point in the history

  22. Fix unit tests

    @geo2a
    geo2a committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    80d1675 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Use record field punning to access the constraints

    @geo2a
    geo2a committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    1fce254 View commit details
    Browse the repository at this point in the history

  2. Improve control-flow in evaluatePattern'

    @geo2a
    geo2a committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    d82576f View commit details
    Browse the repository at this point in the history

  3. Rename test case

    @geo2a
    geo2a committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    575428c View commit details
    Browse the repository at this point in the history