Update Kani metrics

edc01af

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

RAPx on: pull_request 1

KMIR on: pull_request 1

Kani on: pull_request 1

Rust Tests on: pull_request 1

Build Book on: pull_request 1

VeriFast (negative) on: pull_request 1

Flux on: pull_request 1

Testable simd models on: pull_request 1

VeriFast on: pull_request 1

Run GOTO Transcoder (ESBMC) on: pull_request 1

CodeQL on: dynamic 4

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (rust)

Code scanning results

CodeQL

VeriFast on: pull_request 2

Verify std library

Notify @btj

Testable simd models on: pull_request 2

Test testable simd models

Run GOTO Transcoder (ESBMC) on: pull_request 2

Verify contracts with goto-transcoder

Flux on: pull_request 2

check-flux-on-core

Kani on: pull_request 32

Verify std library (partition 1)

Verify std library (partition 2)

Verify std library (partition 3)

Verify std library (partition 4)

Verify std library (partition 1)

Verify std library (partition 2)

Verify std library (partition 3)

Verify std library (partition 4)

Verify std library using autoharness (ubuntu-latest)

Verify std library using autoharness (macos-latest)

Kani Metrics (ubuntu-latest)

Kani Metrics (macos-latest)

Kani List

Kani Autoharness Analyzer

Build JSON from logs (ubuntu-latest)

Build JSON from logs (macos-latest)

Rust Tests on: pull_request 3

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

Build Book on: pull_request 2

build

deploy

RAPx on: pull_request 2

Verify core::slice with RAPx

VeriFast (negative) on: pull_request 2

Verify std library

KMIR on: pull_request 4

Run KMIR proofs

Run KMIR negative proofs

Check PR Approvals on: pull_request_review 2

check-approvals

Update Kani metrics

Uh oh!

Select a check to view from the sidebar