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

Improve template constraint error messages #9715

Merged
merged 8 commits into from
Jul 11, 2019
Merged

Improve template constraint error messages #9715

merged 8 commits into from
Jul 11, 2019

Commits on May 21, 2019

  1. add ability to visualize static condition as a tree, for better output

    @dayllenger
    dayllenger committed May 21, 2019
    Configuration menu
    Copy the full SHA
    e42e002 View commit details
    Browse the repository at this point in the history

  2. enchance template constraint error output

    @dayllenger
    dayllenger committed May 21, 2019
    Configuration menu
    Copy the full SHA
    38fc241 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2019

  1. add the Tip message about constraints

    @dayllenger
    dayllenger committed Jun 4, 2019
    Configuration menu
    Copy the full SHA
    ad1cdb1 View commit details
    Browse the repository at this point in the history

  2. fix marking of unreached expressions, handle !(A ? B : C) case

    @dayllenger
    dayllenger committed Jun 4, 2019
    Configuration menu
    Copy the full SHA
    c5f8940 View commit details
    Browse the repository at this point in the history

  3. show full tree view of static conditions only in verbose mode

    @dayllenger
    dayllenger committed Jun 4, 2019
    Configuration menu
    Copy the full SHA
    5acd75f View commit details
    Browse the repository at this point in the history

  4. put short constraint message into shape, show instantiation arguments

    @dayllenger
    dayllenger committed Jun 4, 2019
    Configuration menu
    Copy the full SHA
    c19c13e View commit details
    Browse the repository at this point in the history

  5. add tests for new template constraints error messages

    @dayllenger
    dayllenger committed Jun 4, 2019
    Configuration menu
    Copy the full SHA
    cc5e0a6 View commit details
    Browse the repository at this point in the history

  6. update tests (error messages)

    @dayllenger
    dayllenger committed Jun 4, 2019
    Configuration menu
    Copy the full SHA
    97ef16b View commit details
    Browse the repository at this point in the history