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 pipeline errors #351

Merged
merged 3 commits into from Apr 18, 2018
Merged

Better pipeline errors #351

merged 3 commits into from Apr 18, 2018

Commits on Apr 17, 2018

  1. Also include the syntax tree in bounds analysis errors 

    This should fix mit-plv#349 (or at least most of it).
    @JasonGross
    JasonGross committed Apr 17, 2018
    Copy the full SHA
    2378767 View commit details
    Browse the repository at this point in the history

  2. Add a Z.cast2 case to bounds extraction

    @JasonGross
    JasonGross committed Apr 17, 2018
    Copy the full SHA
    c99e2cd View commit details
    Browse the repository at this point in the history

  3. Actually display the error messages from pipeline failures 

    See coq/coq#7291 and
mit-plv#349 (comment)
    @JasonGross
    JasonGross committed Apr 17, 2018
    Copy the full SHA
    f9b8731 View commit details
    Browse the repository at this point in the history