Skip to content

Actions: model-checking/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
3,916 workflow runs
3,916 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update LLBC backend for Trait support and translation of projection Kani Format Check #9234: Pull request #3807 synchronize by thanhnguyen-aws
January 8, 2025 00:47 2m 28s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 8, 2025 00:47 2m 28s
Add UB checks for ptr_offset_from* intrinsics Kani Format Check #9233: Pull request #3757 synchronize by celinval
January 8, 2025 00:11 3m 53s celinval:issue-3756-offset-from
celinval:issue-3756-offset-from
January 8, 2025 00:11 3m 53s
Update LLBC backend for Trait support and translation of projection Kani Format Check #9232: Pull request #3807 synchronize by thanhnguyen-aws
January 7, 2025 23:15 2m 27s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 7, 2025 23:15 2m 27s
Toolchain update 06-01-2025 Kani Format Check #9231: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 20:56 3m 23s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 20:56 3m 23s
Add UB checks for ptr_offset_from* intrinsics Kani Format Check #9230: Pull request #3757 synchronize by celinval
January 7, 2025 20:24 3m 35s celinval:issue-3756-offset-from
celinval:issue-3756-offset-from
January 7, 2025 20:24 3m 35s
Update LLBC backend for Trait support and translation of projection Kani Format Check #9229: Pull request #3807 synchronize by thanhnguyen-aws
January 7, 2025 19:47 3m 9s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 7, 2025 19:47 3m 9s
Update LLBC backend for Trait support and translation of projection Kani Format Check #9228: Pull request #3807 synchronize by thanhnguyen-aws
January 7, 2025 19:43 3m 24s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 7, 2025 19:43 3m 24s
Update LLBC backend for Trait support and translation of projection Kani Format Check #9227: Pull request #3807 synchronize by thanhnguyen-aws
January 7, 2025 19:35 3m 48s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 7, 2025 19:35 3m 48s
Toolchain update 06-01-2025 Kani Format Check #9226: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 18:19 3m 37s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 18:19 3m 37s
Toolchain update 06-01-2025 Kani Format Check #9225: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 18:16 3m 36s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 18:16 3m 36s
Update LLBC backend for Trait support and translation of projection Kani Format Check #9224: Pull request #3807 synchronize by thanhnguyen-aws
January 7, 2025 17:55 3m 29s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 7, 2025 17:55 3m 29s
Toolchain update 06-01-2025 Kani Format Check #9223: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 17:43 2m 19s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 17:43 2m 19s
Add an option to generate contracts as assertions Kani Format Check #9222: Pull request #3802 synchronize by carolynzech
January 7, 2025 16:57 2m 21s carolynzech:contracts-as-assertions
carolynzech:contracts-as-assertions
January 7, 2025 16:57 2m 21s
Add an option to generate contracts as assertions Kani Format Check #9221: Pull request #3802 synchronize by carolynzech
January 7, 2025 16:51 2m 34s carolynzech:contracts-as-assertions
carolynzech:contracts-as-assertions
January 7, 2025 16:51 2m 34s
Toolchain update 06-01-2025 Kani Format Check #9220: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 16:46 2m 30s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 16:46 2m 30s
Toolchain update 06-01-2025 Kani Format Check #9219: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 16:20 2m 26s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 16:20 2m 26s
Toolchain update 06-01-2025 Kani Format Check #9218: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 16:14 3m 39s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 16:14 3m 39s
Toolchain update 06-01-2025 Kani Format Check #9217: Pull request #3814 synchronize by remi-delmas-3000
January 7, 2025 16:12 3m 59s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 7, 2025 16:12 3m 59s
Toolchain update 06-01-2025 Kani Format Check #9216: Pull request #3814 opened by remi-delmas-3000
January 6, 2025 23:22 1m 51s remi-delmas-3000:toolchain-update-06-01-2025
remi-delmas-3000:toolchain-update-06-01-2025
January 6, 2025 23:22 1m 51s
Bump tests/perf/s2n-quic from a54686e to ac52a48 (#3813) Kani Format Check #9215: Commit 23a36bb pushed by github-merge-queue bot
January 6, 2025 19:31 2m 33s main
main
January 6, 2025 19:31 2m 33s
Kani Format Check Kani Format Check #9214: Merge group checks requested
January 6, 2025 18:20 3m 38s
January 6, 2025 18:20 3m 38s
Bump tests/perf/s2n-quic from a54686e to ac52a48 (#3813) Kani Format Check #9213: Commit 23a36bb pushed by github-merge-queue bot
January 6, 2025 18:20 3m 15s gh-readonly-queue/main/pr-3813-d4b85a352f46ba0ed3ac8760945ad831db081650
gh-readonly-queue/main/pr-3813-d4b85a352f46ba0ed3ac8760945ad831db081650
January 6, 2025 18:20 3m 15s
Allow multiple annotations, but check for duplicate targets. Kani Format Check #9212: Pull request #3808 synchronize by remi-delmas-3000
January 6, 2025 17:14 3m 38s remi-delmas-3000:multiple-stub-verified
remi-delmas-3000:multiple-stub-verified
January 6, 2025 17:14 3m 38s
Update LLBC backend for Trait support and translation of projection Kani Format Check #9211: Pull request #3807 synchronize by thanhnguyen-aws
January 6, 2025 17:08 3m 45s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 6, 2025 17:08 3m 45s
Bump tests/perf/s2n-quic from a54686e to ac52a48 Kani Format Check #9210: Pull request #3813 opened by dependabot bot
January 6, 2025 16:58 3m 33s dependabot/submodules/tests/perf/s2n-quic-ac52a48
dependabot/submodules/tests/perf/s2n-quic-ac52a48
January 6, 2025 16:58 3m 33s