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

Report equiv errors modulo commutativity #1125

Merged
merged 3 commits into from Feb 10, 2022
Merged

Report equiv errors modulo commutativity #1125

merged 3 commits into from Feb 10, 2022

Commits on Feb 10, 2022

  1. Report equiv errors modulo commutativity 

    Should give a better error message for mit-plv#1123 (comment)
    @JasonGross
    JasonGross committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    4a818f1 View commit details
    Browse the repository at this point in the history

  2. Give better error messages on length mismatch

    @JasonGross
    JasonGross committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    fde4c22 View commit details
    Browse the repository at this point in the history

  3. Better coherence in describing commutative errors 

    We now report correct array indices (at least on the left side)
    @JasonGross
    JasonGross committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    dc4950d View commit details
    Browse the repository at this point in the history