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: Source-based code coverage #3143

Merged
merged 24 commits into from
Aug 27, 2024
Merged

RFC: Source-based code coverage #3143

merged 24 commits into from
Aug 27, 2024

Commits on Apr 26, 2024

  1. Move content into new RFC file

    @adpaco-aws
    adpaco-aws committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    ae64a17 View commit details
    Browse the repository at this point in the history

  2. Link to previous work (line coverage)

    @adpaco-aws
    adpaco-aws committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    d1ab79a View commit details
    Browse the repository at this point in the history

  3. Increment ID and add to SUMMARY.md

    @adpaco-aws
    adpaco-aws committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f6cf59e View commit details
    Browse the repository at this point in the history

  4. Changes for a simpler UX

    @adpaco-aws
    adpaco-aws committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    7e73de8 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. Merge branch 'main' into rfc-region-cov

    @adpaco-aws
    adpaco-aws committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    b7da7bb View commit details
    Browse the repository at this point in the history

  2. Add intro to "Design - coverage instrumentation" subsection

    @adpaco-aws
    adpaco-aws committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    580fa33 View commit details
    Browse the repository at this point in the history

  3. Remaining intro and new subsections

    @adpaco-aws
    adpaco-aws committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    f934614 View commit details
    Browse the repository at this point in the history

  4. Partial explanation of Rust instrumentation

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

Commits on Aug 1, 2024

  1. Complete subsection on Rust coverage instrumentation

    @adpaco-aws
    adpaco-aws committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    734f583 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Format footnotes so it's clear they're footnotes

    @adpaco-aws
    adpaco-aws committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    6fbf8e8 View commit details
    Browse the repository at this point in the history

  2. A little more info. on counter kinds

    @adpaco-aws
    adpaco-aws committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    049f610 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Explanation of method (postprocess not included)

    @adpaco-aws
    adpaco-aws committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    459e15a View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Finish integration subsection

    @adpaco-aws
    adpaco-aws committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    bab8d91 View commit details
    Browse the repository at this point in the history

  2. Make clarification on coverage statements to instrument

    @adpaco-aws
    adpaco-aws committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    9114e45 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Complete subsection on LLVM integration

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    3303b7f View commit details
    Browse the repository at this point in the history

  2. Shorten introduction

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    51f9049 View commit details
    Browse the repository at this point in the history

  3. Revise UX section

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    1b00337 View commit details
    Browse the repository at this point in the history

  4. Just refer to coverage mappings for now

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    264bd7d View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into rfc-region-cov

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    b334fac View commit details
    Browse the repository at this point in the history

  6. Short intro to design

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    c3e22d6 View commit details
    Browse the repository at this point in the history

  7. Part of counter expressions

    @adpaco-aws
    adpaco-aws committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    703a405 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Complete counter section

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    1f49b1d View commit details
    Browse the repository at this point in the history

  2. Complete default behavior for Kani coverage workflow

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    5ed66ed View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into rfc-region-cov

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    7f5ba8e View commit details
    Browse the repository at this point in the history