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

RFC: Line Coverage #2612

Merged
merged 13 commits into from
Jul 26, 2023
Merged

RFC: Line Coverage #2612

merged 13 commits into from
Jul 26, 2023

Commits on Jul 20, 2023

  1. RFC: Viewerless coverage

    @adpaco-aws
    adpaco-aws committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    c6295b4 View commit details
    Browse the repository at this point in the history

  2. Remove mention to --visualize

    @adpaco-aws
    adpaco-aws committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    7b7d604 View commit details
    Browse the repository at this point in the history

  3. Address comments

    @adpaco-aws
    adpaco-aws committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6be4ecb View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Address comments

    @adpaco-aws
    adpaco-aws committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    9aa4048 View commit details
    Browse the repository at this point in the history

  2. More questions, describe format as "experimental". Other fixes

    @adpaco-aws
    adpaco-aws committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    bbaf53a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into rfc-coverage

    @adpaco-aws
    adpaco-aws committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    7d80420 View commit details
    Browse the repository at this point in the history

  4. Mention constant propagation

    @adpaco-aws
    adpaco-aws committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    5222f80 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Merge branch 'main' into rfc-coverage

    @jaisnan
    jaisnan authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    1fce0b7 View commit details
    Browse the repository at this point in the history

  2. Refer to Kani VS Code extension implementation

    @adpaco-aws
    adpaco-aws committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    fe9cd3a View commit details
    Browse the repository at this point in the history

  3. More feedback

    @adpaco-aws
    adpaco-aws committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    635a4f9 View commit details
    Browse the repository at this point in the history

  4. Remaining feedback

    @adpaco-aws
    adpaco-aws committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    6cf2286 View commit details
    Browse the repository at this point in the history

  5. Remove picture

    @adpaco-aws
    adpaco-aws committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    b2728e7 View commit details
    Browse the repository at this point in the history

  6. Change status and minor fixes

    @adpaco-aws
    adpaco-aws committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    03790c6 View commit details
    Browse the repository at this point in the history