Skip to content

Actions: model-checking/kani

Actions

Check Std Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify-std-check.yml
717 workflow runs
717 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix loop contracts transformation when loops in branching Check Std Verification #723: Pull request #3640 synchronize by qinheping
October 25, 2024 06:25 18m 40s qinheping:fix_bugs_in_loop_contracts_transformation
qinheping:fix_bugs_in_loop_contracts_transformation
October 25, 2024 06:25 18m 40s
Move any_slice_from_array to kani_core Check Std Verification #722: Pull request #3646 opened by qinheping
October 25, 2024 05:43 22m 54s qinheping:move_any_slice
qinheping:move_any_slice
October 25, 2024 05:43 22m 54s
Call goto-instrument with DFCC only once Check Std Verification #721: Pull request #3642 synchronize by qinheping
October 25, 2024 02:28 23m 1s qinheping:call_dfcc_once
qinheping:call_dfcc_once
October 25, 2024 02:28 23m 1s
Call goto-instrument with DFCC only once Check Std Verification #720: Pull request #3642 synchronize by qinheping
October 25, 2024 01:05 21m 24s qinheping:call_dfcc_once
qinheping:call_dfcc_once
October 25, 2024 01:05 21m 24s
Call goto-instrument with DFCC only once Check Std Verification #719: Pull request #3642 synchronize by qinheping
October 25, 2024 01:05 23m 9s qinheping:call_dfcc_once
qinheping:call_dfcc_once
October 25, 2024 01:05 23m 9s
Fix codegen for rvalue aggregate raw pointer to an adt with slice tail Check Std Verification #718: Pull request #3644 synchronize by carolynzech
October 24, 2024 22:51 21m 40s carolynzech:issue-3615
carolynzech:issue-3615
October 24, 2024 22:51 21m 40s
Fix codegen for rvalue aggregate raw pointer to an adt with slice tail Check Std Verification #717: Pull request #3644 opened by carolynzech
October 24, 2024 22:08 23m 21s carolynzech:issue-3615
carolynzech:issue-3615
October 24, 2024 22:08 23m 21s
Add regular & fixme tests for function contracts Check Std Verification #716: Pull request #3371 synchronize by celinval
October 24, 2024 19:50 35m 37s celinval:issue-3206-tests
celinval:issue-3206-tests
October 24, 2024 19:50 35m 37s
Add regular & fixme tests for function contracts Check Std Verification #715: Pull request #3371 synchronize by celinval
October 24, 2024 19:48 19m 44s celinval:issue-3206-tests
celinval:issue-3206-tests
October 24, 2024 19:48 19m 44s
Call goto-instrument with DFCC only once Check Std Verification #714: Pull request #3642 opened by qinheping
October 24, 2024 18:49 20m 57s qinheping:call_dfcc_once
qinheping:call_dfcc_once
October 24, 2024 18:49 20m 57s
Build and include kani-cov in the bundle Check Std Verification #713: Pull request #3641 synchronize by adpaco-aws
October 24, 2024 18:12 23m 25s adpaco-aws:bundle-kani-cov
adpaco-aws:bundle-kani-cov
October 24, 2024 18:12 23m 25s
Build and include kani-cov in the bundle Check Std Verification #712: Pull request #3641 opened by adpaco-aws
October 24, 2024 16:47 28m 8s adpaco-aws:bundle-kani-cov
adpaco-aws:bundle-kani-cov
October 24, 2024 16:47 28m 8s
Fix loop contracts transformation when loops in branching Check Std Verification #711: Pull request #3640 opened by qinheping
October 24, 2024 05:24 20m 33s qinheping:fix_bugs_in_loop_contracts_transformation
qinheping:fix_bugs_in_loop_contracts_transformation
October 24, 2024 05:24 20m 33s
Automatic toolchain upgrade to nightly-2024-10-24 Check Std Verification #710: Pull request #3639 reopened by zhassan-aws
October 24, 2024 04:01 21m 31s toolchain-2024-10-24
toolchain-2024-10-24
October 24, 2024 04:01 21m 31s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects Check Std Verification #709: Pull request #3636 synchronize by carolynzech
October 23, 2024 18:03 23m 15s carolynzech:issue-3631
carolynzech:issue-3631
October 23, 2024 18:03 23m 15s
Add free(0) to codegen of loop contracts Check Std Verification #708: Pull request #3637 synchronize by qinheping
October 23, 2024 16:53 22m 55s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
October 23, 2024 16:53 22m 55s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects Check Std Verification #707: Pull request #3636 opened by carolynzech
October 23, 2024 15:31 22m 26s carolynzech:issue-3631
carolynzech:issue-3631
October 23, 2024 15:31 22m 26s
Automatic toolchain upgrade to nightly-2024-10-23 Check Std Verification #706: Pull request #3635 reopened by carolynzech
October 23, 2024 03:15 22m 54s toolchain-2024-10-23
toolchain-2024-10-23
October 23, 2024 03:15 22m 54s
Remove dead Option layer from run_piped Check Std Verification #705: Pull request #3634 opened by zhassan-aws
October 22, 2024 22:49 20m 55s zhassan-aws:run-piped-cleanup
zhassan-aws:run-piped-cleanup
October 22, 2024 22:49 20m 55s
[Lean] Rename user-facing options from Aeneas to Lean Check Std Verification #704: Pull request #3630 opened by zhassan-aws
October 22, 2024 17:20 21m 41s zhassan-aws:aeneas-lean
zhassan-aws:aeneas-lean
October 22, 2024 17:20 21m 41s
Automatic toolchain upgrade to nightly-2024-10-22 Check Std Verification #703: Pull request #3628 reopened by tautschnig
October 22, 2024 06:26 20m 44s toolchain-2024-10-22
toolchain-2024-10-22
October 22, 2024 06:26 20m 44s
Update coverage flag in docs Check Std Verification #702: Pull request #3626 opened by zhassan-aws
October 21, 2024 17:58 22m 6s source-coverage
source-coverage
October 21, 2024 17:58 22m 6s
Fail verification if contract is vacuous Check Std Verification #701: Pull request #3623 synchronize by carolynzech
October 21, 2024 17:26 32m 25s carolynzech:contract-vacuity
carolynzech:contract-vacuity
October 21, 2024 17:26 32m 25s
Bump tests/perf/s2n-quic from 7752afb to cd0314b Check Std Verification #700: Pull request #3625 opened by dependabot bot
October 21, 2024 17:04 21m 36s dependabot/submodules/tests/perf/s2n-quic-cd0314b
dependabot/submodules/tests/perf/s2n-quic-cd0314b
October 21, 2024 17:04 21m 36s
Add regular & fixme tests for function contracts Check Std Verification #699: Pull request #3371 synchronize by carolynzech
October 21, 2024 15:59 23m 25s celinval:issue-3206-tests
celinval:issue-3206-tests
October 21, 2024 15:59 23m 25s