Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Address warning Kani Format Check #436: Commit 7c248d1 pushed by tautschnig
September 23, 2024 13:27 2m 19s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:27 2m 19s
Update toolchain to 2024-09-20 Kani Format Check #435: Commit cf75434 pushed by tautschnig
September 23, 2024 13:19 3m 13s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:19 3m 13s
Update to CBMC 6.3.1 and fix auto-update script Kani Format Check #434: Commit aa8920d pushed by tautschnig
September 23, 2024 10:33 2m 10s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 10:33 2m 10s
Adjust test patterns so as not to check for trivial properties Kani Format Check #433: Commit 8814d67 pushed by tautschnig
August 27, 2024 07:54 2m 14s adjust-for-cbmc-changes
adjust-for-cbmc-changes
August 27, 2024 07:54 2m 14s
Actually apply CBMC patch Kani Format Check #432: Commit b130a55 pushed by tautschnig
August 12, 2024 20:46 2m 18s fixup-cbmc-patch
fixup-cbmc-patch
August 12, 2024 20:46 2m 18s
Update CBMC build instructions for Amazon Linux 2 Kani Format Check #431: Commit b60b9c6 pushed by tautschnig
August 9, 2024 11:12 2m 27s kani-al2-build
kani-al2-build
August 9, 2024 11:12 2m 27s
Merge branch 'main' into fix-toolchain-comment-2 Kani Format Check #430: Commit 7dd52f0 pushed by adpaco-aws
August 6, 2024 15:17 2m 8s fix-toolchain-comment-2
fix-toolchain-comment-2
August 6, 2024 15:17 2m 8s
Toolchain update: avoid Javascript interpreting git log Kani Format Check #429: Commit b9495d9 pushed by tautschnig
August 6, 2024 08:27 2m 23s fix-toolchain-comment-2
fix-toolchain-comment-2
August 6, 2024 08:27 2m 23s
Toolchain auto-update: fix comment posting Kani Format Check #428: Commit cbd33f5 pushed by tautschnig
August 6, 2024 08:27 3m 30s fix-toolchain-comment
fix-toolchain-comment
August 6, 2024 08:27 3m 30s
Use allow(dead_code) Kani Format Check #427: Commit 495b341 pushed by tautschnig
August 5, 2024 16:11 3m 31s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 16:11 3m 31s
Merge branch 'main' into toolchain-2024-08-05-manual Kani Format Check #426: Commit 5213cca pushed by tautschnig
August 5, 2024 10:02 3m 13s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 10:02 3m 13s
Actually remove insert_bb Kani Format Check #425: Commit 579f6e3 pushed by tautschnig
August 5, 2024 08:48 2m 8s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 08:48 2m 8s
Only remove arg_count() method Kani Format Check #424: Commit 52c070f pushed by tautschnig
August 5, 2024 08:45 2m 33s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 08:45 2m 33s
Update toolchain to 2024-08-05 Kani Format Check #423: Commit 80cd280 pushed by tautschnig
August 5, 2024 08:33 2m 39s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 08:33 2m 39s
Toolchain auto-update: fix comment posting Kani Format Check #422: Commit cbd33f5 pushed by tautschnig
August 5, 2024 08:07 2m 12s fix-toolchain-comment
fix-toolchain-comment
August 5, 2024 08:07 2m 12s
Toolchain-update PR: move debugging hints to extra comment Kani Format Check #421: Commit 79917b5 pushed by tautschnig
August 2, 2024 20:48 2m 11s merge-queue-fix
merge-queue-fix
August 2, 2024 20:48 2m 11s
Merge remote-tracking branch 'origin/main' into merge-queue-fix Kani Format Check #420: Commit eea3efa pushed by tautschnig
August 2, 2024 20:41 2m 16s merge-queue-fix
merge-queue-fix
August 2, 2024 20:41 2m 16s
Merge branch 'main' into sqrt-intrinsics Kani Format Check #419: Commit 84c5024 pushed by tautschnig
August 2, 2024 18:46 3m 7s sqrt-intrinsics
sqrt-intrinsics
August 2, 2024 18:46 3m 7s
Enable "Auto label" for merge-queue actions Kani Format Check #418: Commit a8ed550 pushed by tautschnig
August 2, 2024 18:34 2m 14s merge-queue-fix
merge-queue-fix
August 2, 2024 18:34 2m 14s
Merge branch 'main' into fma-intrinsics Kani Format Check #417: Commit 022396e pushed by tautschnig
August 2, 2024 17:59 5m 32s fma-intrinsics
fma-intrinsics
August 2, 2024 17:59 5m 32s
Merge branch 'main' into merge-queue Kani Format Check #416: Commit f6f9466 pushed by tautschnig
August 2, 2024 15:45 3m 44s merge-queue
merge-queue
August 2, 2024 15:45 3m 44s
Merge branch 'main' into merge-queue Kani Format Check #415: Commit 2049796 pushed by feliperodri
August 2, 2024 14:57 2m 8s merge-queue
merge-queue
August 2, 2024 14:57 2m 8s
Merge branch 'main' into fma-intrinsics Kani Format Check #414: Commit b7547f6 pushed by feliperodri
August 2, 2024 14:51 2m 25s fma-intrinsics
fma-intrinsics
August 2, 2024 14:51 2m 25s
Merge remote-tracking branch 'origin/main' into sqrt-intrinsics Kani Format Check #413: Commit f29f28c pushed by tautschnig
August 2, 2024 14:33 6m 6s sqrt-intrinsics
sqrt-intrinsics
August 2, 2024 14:33 6m 6s
Remove unnecessary check Kani Format Check #412: Commit af32ddd pushed by tautschnig
August 2, 2024 14:05 5m 37s powi-intrinsics
powi-intrinsics
August 2, 2024 14:05 5m 37s