Code

kani-cov: A coverage tool for Kani#3121

Code

Merged

adpaco-aws merged 78 commits intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:kanicov-tooladpaco-aws/rmc:kanicov-toolCopy head branch name to clipboardOct 10, 2024

+1,621-232

Commits

Commits on Apr 3, 2024

• kanicov: A tool to visualize coverage in Kani

  adpaco-aws

  committed
  c487f2a

  Copy full SHA for c487f2a

Commits on Apr 9, 2024

• Rename and more

  adpaco-aws

  committed
  eddb363

  Copy full SHA for eddb363

Commits on Aug 21, 2024

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  935dace

  Copy full SHA for 935dace

Commits on Aug 22, 2024

• Scaffold for kani-cov

  adpaco-aws

  committed
  13c26fd

  Copy full SHA for 13c26fd

• Parse and combine raw results

  adpaco-aws

  committed
  bee8f2d

  Copy full SHA for bee8f2d

Commits on Aug 28, 2024

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  e0b7a10

  Copy full SHA for e0b7a10

• Add missing copyright notices

  adpaco-aws

  committed
  0aa25b9

  Copy full SHA for 0aa25b9

Commits on Aug 29, 2024

• Remove atty dependency

  adpaco-aws

  committed
  debeef4

  Copy full SHA for debeef4

• Add license to Cargo.toml

  adpaco-aws

  committed
  9e9575a

  Copy full SHA for 9e9575a

• Move unused code to report

  adpaco-aws

  committed
  dd53e38

  Copy full SHA for dd53e38

• Save combined results through merge

  adpaco-aws

  committed
  ad632f3

  Copy full SHA for ad632f3

• Start summary command

  adpaco-aws

  committed
  a659c1a

  Copy full SHA for a659c1a

• Some format fixes

  adpaco-aws

  committed
  76351fd

  Copy full SHA for 76351fd

• Fixes for clippy

  adpaco-aws

  committed
  304cfd2

  Copy full SHA for 304cfd2

• Add description to Cargo.toml

  adpaco-aws

  committed
  c69f465

  Copy full SHA for c69f465

Commits on Aug 30, 2024

• Parse function info with tree-sitter

  adpaco-aws

  committed
  d0bb478

  Copy full SHA for d0bb478

Commits on Aug 31, 2024

• Use file-function pairs to combine results

  adpaco-aws

  committed
  5512d28

  Copy full SHA for 5512d28

• Change combined results again

  adpaco-aws

  committed
  0e1dcc0

  Copy full SHA for 0e1dcc0

Commits on Sep 13, 2024

• Produce markdown table with summary

  adpaco-aws

  committed
  fabdf44

  Copy full SHA for fabdf44

• Sketch Json format for summary

  adpaco-aws

  committed
  855d0a6

  Copy full SHA for 855d0a6

• Refator some code so it's shared with report

  adpaco-aws

  committed
  0df18b9

  Copy full SHA for 0df18b9

Commits on Sep 16, 2024

• Init. version for terminal reports

  adpaco-aws

  committed
  50bb553

  Copy full SHA for 50bb553

Commits on Sep 17, 2024

• Simplify processing for markers

  adpaco-aws

  committed
  5b4d717

  Copy full SHA for 5b4d717

• Remove some formatting code that's not needed anymore

  adpaco-aws

  committed
  e1d0160

  Copy full SHA for e1d0160

• Remove leftover debugging info

  adpaco-aws

  committed
  6d47c0b

  Copy full SHA for 6d47c0b

Commits on Sep 19, 2024

• Complete terminal highlight algorithm

  adpaco-aws

  committed
  ae48e21

  Copy full SHA for ae48e21

• Change coverage mode to get kani-cov reports

  adpaco-aws

  committed
  8c79baf

  Copy full SHA for 8c79baf

• Bless expected files

  adpaco-aws

  committed
  39f5ac2

  Copy full SHA for 39f5ac2

• Complete blessing for coverage tests

  adpaco-aws

  committed
  778816a

  Copy full SHA for 778816a

Commits on Sep 20, 2024

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  b33fd5c

  Copy full SHA for b33fd5c

• Reformat

  adpaco-aws

  committed
  06b97f0

  Copy full SHA for 06b97f0

• Clippy fixes

  adpaco-aws

  committed
  781ba58

  Copy full SHA for 781ba58

• Clean up: unused imports and commented out code

  adpaco-aws

  committed
  7d7ef6c

  Copy full SHA for 7d7ef6c

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  a997656

  Copy full SHA for a997656

• Report format

  adpaco-aws

  committed
  5cd0687

  Copy full SHA for 5cd0687

• Introduce format for reports

  adpaco-aws

  committed
  4694294

  Copy full SHA for 4694294

• Add documentation for several functions

  adpaco-aws

  committed
  21f2bd8

  Copy full SHA for 21f2bd8

• Most clippy fixes

  adpaco-aws

  committed
  923e606

  Copy full SHA for 923e606

• More documentation

  adpaco-aws

  committed
  812231e

  Copy full SHA for 812231e

• Documentation for main methods

  adpaco-aws

  committed
  745a55f

  Copy full SHA for 745a55f

Commits on Sep 23, 2024

• Fix collapsible match

  adpaco-aws

  committed
  a0df867

  Copy full SHA for a0df867

• Check if building kani-cov works

  adpaco-aws

  committed
  4cc3561

  Copy full SHA for 4cc3561

• Reformat

  adpaco-aws

  committed
  9e28668

  Copy full SHA for 9e28668

• Bless tests with known issues

  adpaco-aws

  committed
  9c02d9f

  Copy full SHA for 9c02d9f

• Complete documentation

  adpaco-aws

  committed
  b2926e3

  Copy full SHA for b2926e3

• Reformat

  adpaco-aws

  committed
  d20fa28

  Copy full SHA for d20fa28

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  94bb87a

  Copy full SHA for 94bb87a

Commits on Sep 24, 2024

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  eba08bb

  Copy full SHA for eba08bb

• Reformat

  adpaco-aws

  committed
  16a23c9

  Copy full SHA for 16a23c9

Commits on Oct 1, 2024

• Improvements and docs for compiletest code

  adpaco-aws

  committed
  64ed9ea

  Copy full SHA for 64ed9ea

• Add examples for kani-cov subcommands

  adpaco-aws

  committed
  da47a24

  Copy full SHA for da47a24

• Document SummaryFormat

  adpaco-aws

  committed
  a9b7dbf

  Copy full SHA for a9b7dbf

• Address two minor comments

  adpaco-aws

  committed
  9b8ac3f

  Copy full SHA for 9b8ac3f

• Replace BTreeMap with HashMap

  adpaco-aws

  committed
  524dc91

  Copy full SHA for 524dc91

• Include file in coverage region display

  adpaco-aws

  committed
  c4461be

  Copy full SHA for c4461be

• Auto-format

  adpaco-aws

  committed
  c7e2661

  Copy full SHA for c7e2661

• Improvements for tree-sitter code

  adpaco-aws

  committed
  66a5396

  Copy full SHA for 66a5396

• Simplify code to retrieve cov results

  adpaco-aws

  committed
  4b7e294

  Copy full SHA for 4b7e294

• Redo file-function pair collection

  adpaco-aws

  committed
  91ed88e

  Copy full SHA for 91ed88e

• Undo change in command

  adpaco-aws

  committed
  dabf0c9

  Copy full SHA for dabf0c9

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  28e392e

  Copy full SHA for 28e392e

• Update Cargo.lock file

  adpaco-aws

  committed
  d29c3f3

  Copy full SHA for d29c3f3

Commits on Oct 4, 2024

• Use aliases for coverage types

  adpaco-aws

  committed
  7741fb1

  Copy full SHA for 7741fb1

• Use usize instead of u32

  adpaco-aws

  committed
  c7443f5

  Copy full SHA for c7443f5

• Document CovResult

  adpaco-aws

  committed
  babdc85

  Copy full SHA for babdc85

• Format

  adpaco-aws

  committed
  0137b03

  Copy full SHA for 0137b03

• Fix bug and use partition

  adpaco-aws

  committed
  d0d1cf4

  Copy full SHA for d0d1cf4

• Update tests after fix

  adpaco-aws

  committed
  094ad75

  Copy full SHA for 094ad75

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  a6abae5

  Copy full SHA for a6abae5

• more clippy fixes

  adpaco-aws

  committed
  8ea744d

  Copy full SHA for 8ea744d

• Reformat code

  adpaco-aws

  committed
  ffa738a

  Copy full SHA for ffa738a

Commits on Oct 7, 2024

• Do not filter out results with out-of-bound regions

  adpaco-aws

  committed
  3f9b01b

  Copy full SHA for 3f9b01b

• Auto-fmt

  adpaco-aws

  committed
  4f0b913

  Copy full SHA for 4f0b913

• Update tests

  adpaco-aws

  committed
  421cde4

  Copy full SHA for 421cde4

• More typenames and use across all of kani-cov

  adpaco-aws

  committed
  c7606f3

  Copy full SHA for c7606f3

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  cb123e5

  Copy full SHA for cb123e5

• clippy fixes

  adpaco-aws

  committed
  7311f49

  Copy full SHA for 7311f49

Commits on Oct 9, 2024

• Merge branch 'main' into kanicov-tool

  adpaco-aws

  committed
  42314e8

  Copy full SHA for 42314e8