d-flex flex-column width-full">

Update Kani version to f27222d9228d10dfc3eee34fd02be1cbc20d2c39

202b477

Select commit

Loading

Failed to load commit list.

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

Rust Tests on: pull_request 2

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

VeriFast on: pull_request

Verify std library

Notify @btj

Build Book on: pull_request

build

deploy

Kani on: pull_request 21

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)

Run GOTO Transcoder (ESBMC) on: pull_request

Verify contracts with goto-transcoder

Flux on: pull_request 1

check-flux-on-core

VeriFast (negative) on: pull_request

Verify std library

Check PR Approvals on: pull_request_review 1

check-approvals

Check PR Approvals on: pull_request_review

check-approvals

Loading