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

kani-cov: A coverage tool for Kani #3121

Merged
merged 78 commits into from
Oct 10, 2024
Merged

kani-cov: A coverage tool for Kani #3121

merged 78 commits into from
Oct 10, 2024

Commits on Apr 3, 2024

  1. kanicov: A tool to visualize coverage in Kani

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

Commits on Apr 9, 2024

  1. Rename and more

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

Commits on Aug 21, 2024

  1. Merge branch 'main' into kanicov-tool

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

Commits on Aug 22, 2024

  1. Scaffold for kani-cov

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

  2. Parse and combine raw results

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

Commits on Aug 28, 2024

  1. Merge branch 'main' into kanicov-tool

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

  2. Add missing copyright notices

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

Commits on Aug 29, 2024

  1. Remove atty dependency

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

  2. Add license to Cargo.toml

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

  3. Move unused code to report

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

  4. Save combined results through merge

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

  5. Start summary command

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

  6. Some format fixes

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

  7. Fixes for clippy

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

  8. Add description to Cargo.toml

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

Commits on Aug 30, 2024

  1. Parse function info with tree-sitter

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

Commits on Aug 31, 2024

  1. Use file-function pairs to combine results

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

  2. Change combined results again

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

Commits on Sep 13, 2024

  1. Produce markdown table with summary

    @adpaco-aws
    adpaco-aws committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    fabdf44 View commit details
    Browse the repository at this point in the history

  2. Sketch Json format for summary

    @adpaco-aws
    adpaco-aws committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    855d0a6 View commit details
    Browse the repository at this point in the history

  3. Refator some code so it's shared with report

    @adpaco-aws
    adpaco-aws committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    0df18b9 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Init. version for terminal reports

    @adpaco-aws
    adpaco-aws committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    50bb553 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Simplify processing for markers

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

  2. Remove some formatting code that's not needed anymore

    @adpaco-aws
    adpaco-aws committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    e1d0160 View commit details
    Browse the repository at this point in the history

  3. Remove leftover debugging info

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

Commits on Sep 19, 2024

  1. Complete terminal highlight algorithm

    @adpaco-aws
    adpaco-aws committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    ae48e21 View commit details
    Browse the repository at this point in the history

  2. Change coverage mode to get kani-cov reports

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

  3. Bless expected files

    @adpaco-aws
    adpaco-aws committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    39f5ac2 View commit details
    Browse the repository at this point in the history

  4. Complete blessing for coverage tests

    @adpaco-aws
    adpaco-aws committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    778816a View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. Merge branch 'main' into kanicov-tool

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    b33fd5c View commit details
    Browse the repository at this point in the history

  2. Reformat

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    06b97f0 View commit details
    Browse the repository at this point in the history

  3. Clippy fixes

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    781ba58 View commit details
    Browse the repository at this point in the history

  4. Clean up: unused imports and commented out code

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

  5. Merge branch 'main' into kanicov-tool

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    a997656 View commit details
    Browse the repository at this point in the history

  6. Report format

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

  7. Introduce format for reports

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    4694294 View commit details
    Browse the repository at this point in the history

  8. Add documentation for several functions

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    21f2bd8 View commit details
    Browse the repository at this point in the history

  9. Most clippy fixes

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    923e606 View commit details
    Browse the repository at this point in the history

  10. More documentation

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    812231e View commit details
    Browse the repository at this point in the history

  11. Documentation for main methods

    @adpaco-aws
    adpaco-aws committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    745a55f View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Fix collapsible match

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

  2. Check if building kani-cov works

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

  3. Reformat

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

  4. Bless tests with known issues

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

  5. Complete documentation

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

  6. Reformat

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

  7. Merge branch 'main' into kanicov-tool

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

Commits on Sep 24, 2024

  1. Merge branch 'main' into kanicov-tool

    @adpaco-aws
    adpaco-aws committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    eba08bb View commit details
    Browse the repository at this point in the history

  2. Reformat

    @adpaco-aws
    adpaco-aws committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    16a23c9 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Improvements and docs for compiletest code

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

  2. Add examples for kani-cov subcommands

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

  3. Document SummaryFormat

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

  4. Address two minor comments

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

  5. Replace BTreeMap with HashMap

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

  6. Include file in coverage region display

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

  7. Auto-format

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

  8. Improvements for tree-sitter code

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

  9. Simplify code to retrieve cov results

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

  10. Redo file-function pair collection

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

  11. Undo change in command

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

  12. Merge branch 'main' into kanicov-tool

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

  13. Update Cargo.lock file

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

Commits on Oct 4, 2024

  1. Use aliases for coverage types

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    7741fb1 View commit details
    Browse the repository at this point in the history

  2. Use usize instead of u32

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    c7443f5 View commit details
    Browse the repository at this point in the history

  3. Document CovResult

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    babdc85 View commit details
    Browse the repository at this point in the history

  4. Format

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    0137b03 View commit details
    Browse the repository at this point in the history

  5. Fix bug and use partition

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    d0d1cf4 View commit details
    Browse the repository at this point in the history

  6. Update tests after fix

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    094ad75 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into kanicov-tool

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    a6abae5 View commit details
    Browse the repository at this point in the history

  8. more clippy fixes

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

  9. Reformat code

    @adpaco-aws
    adpaco-aws committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    ffa738a View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Do not filter out results with out-of-bound regions

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

  2. Auto-fmt

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

  3. Update tests

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

  4. More typenames and use across all of kani-cov

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

  5. Merge branch 'main' into kanicov-tool

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

  6. clippy fixes

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

Commits on Oct 9, 2024

  1. Merge branch 'main' into kanicov-tool

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