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

Small graphviz improvements for the new dataflow framework #69005

Merged
merged 5 commits into from
Feb 10, 2020
Merged

Small graphviz improvements for the new dataflow framework #69005

merged 5 commits into from
Feb 10, 2020

Commits on Feb 9, 2020

  1. Print after effect in default graphviz formatter 

    Now the line for each statement will show the diff resulting from the
combination of `before_statement_effect` and `statement_effect`. It's
still possible to observe each in isolation via
`borrowck_graphviz_format = "two_phase"`.
    @ecstatic-morse
    ecstatic-morse committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    effd520 View commit details
    Browse the repository at this point in the history

  2. Add option to dot::render for monospace font

    @ecstatic-morse
    ecstatic-morse committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    852afa2 View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary allows

    @ecstatic-morse
    ecstatic-morse committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    fb14386 View commit details
    Browse the repository at this point in the history

  4. Don't break first line

    @ecstatic-morse
    ecstatic-morse committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    83dfb42 View commit details
    Browse the repository at this point in the history

  5. Use nicer alignment when printing state vectors

    @ecstatic-morse
    ecstatic-morse committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    8d6208c View commit details
    Browse the repository at this point in the history