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

Better user feedback upon a successful verification #50

Merged
merged 2 commits into from
Feb 29, 2024
Merged

Better user feedback upon a successful verification #50

merged 2 commits into from
Feb 29, 2024

Commits on Feb 29, 2024

  1. Better user feedback upon a successful verification 

    Upon a successful run of the verifier, we now print out a general description
of what `copilot-verifier` did, along with brief explanations of what the
various proof goals indicate. This should make it easier to interpret the
results if you are not an expert in formal verification.

We also print out a suggestion to turn the verbosity to `Noisy` if you want a
more detailed look into what each proof goal means.
    @RyanGlScott
    RyanGlScott committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    5b86f7b View commit details
    Browse the repository at this point in the history

  2. CI: Use haskell-actions/setup

    @RyanGlScott
    RyanGlScott committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    1e6616b View commit details
    Browse the repository at this point in the history