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

[Draft] kani-cov: A coverage tool for Kani #3121

Draft
wants to merge 40 commits into
base: main
Choose a base branch
from
Draft

[Draft] kani-cov: A coverage tool for Kani #3121

wants to merge 40 commits into from

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