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

Helpers for checking proof obligations #1215

Merged
merged 9 commits into from
Jun 20, 2024
Merged

Helpers for checking proof obligations #1215

merged 9 commits into from
Jun 20, 2024

Commits on Jun 18, 2024

  1. Factor assumptions into their own module

    @langston-barrett
    langston-barrett committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    cc2d973 View commit details
    Browse the repository at this point in the history

  2. Helpers for proving goals

    @langston-barrett
    langston-barrett committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    79f17f2 View commit details
    Browse the repository at this point in the history

  3. Dedicated result type for goal-proving helpers

    @langston-barrett
    langston-barrett committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    7d42be4 View commit details
    Browse the repository at this point in the history

  4. Additional helpers for proving goals and obligations

    @langston-barrett
    langston-barrett committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    856dbe6 View commit details
    Browse the repository at this point in the history

  5. Use goal-proving helpers in crucible-symio test suite

    @langston-barrett
    langston-barrett committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    1e281df View commit details
    Browse the repository at this point in the history

  6. Haddocks for goal-proving helpers

    @langston-barrett
    langston-barrett committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    b37a9fa View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. crucible-cli: Use new goal-proving helpers

    @langston-barrett
    langston-barrett committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    672f0a0 View commit details
    Browse the repository at this point in the history

  2. Refactoring of goal-proving helpers, more use in crucible-cli

    @langston-barrett
    langston-barrett committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    ee97a5d View commit details
    Browse the repository at this point in the history

  3. Haddocks for goal-proving helpers

    @langston-barrett
    langston-barrett committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    3b3ae55 View commit details
    Browse the repository at this point in the history