Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/main' into release-kani-0.57.0 Kani Format Check #452: Commit c973ecb pushed by tautschnig
December 16, 2024 15:00 3m 43s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:00 3m 43s
Make cargo deny happy and reduce warnings Kani Format Check #451: Commit f24e743 pushed by tautschnig
December 13, 2024 12:10 2m 30s cargo-update
cargo-update
December 13, 2024 12:10 2m 30s
Bump Kani version to 0.52.0 (#3224) Kani Format Check #450: Commit 6ece0f2 pushed by tautschnig
December 13, 2024 11:58 3m 32s release-kani-0.57.0
release-kani-0.57.0
December 13, 2024 11:58 3m 32s
Update cargo dependencies Kani Format Check #449: Commit b5e852a pushed by tautschnig
December 13, 2024 11:37 3m 43s cargo-update
cargo-update
December 13, 2024 11:37 3m 43s
Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable … Kani Format Check #448: Commit b0fd8fc pushed by tautschnig
December 5, 2024 11:43 2m 28s no-18.04
no-18.04
December 5, 2024 11:43 2m 28s
Upgrade toolchain to 2024-11-28 Kani Format Check #447: Commit 1b4141d pushed by tautschnig
December 3, 2024 07:45 3m 24s toolchain-2024-11-28-manual
toolchain-2024-11-28-manual
December 3, 2024 07:45 3m 24s
Further updates to patterns Kani Format Check #446: Commit baee29c pushed by tautschnig
December 2, 2024 18:41 3m 40s toolchain-2024-11-27-manual
toolchain-2024-11-27-manual
December 2, 2024 18:41 3m 40s
Upgrade toolchain to 2024-11-27 Kani Format Check #445: Commit 968e492 pushed by tautschnig
December 2, 2024 17:35 2m 43s toolchain-2024-11-27-manual
toolchain-2024-11-27-manual
December 2, 2024 17:35 2m 43s
Upgrade toolchain to 2024-11-01 Kani Format Check #444: Commit 6d9fc12 pushed by tautschnig
November 1, 2024 11:07 2m 40s toolchain-2024-11-01-manual
toolchain-2024-11-01-manual
November 1, 2024 11:07 2m 40s
Upgrade toolchain to 2024-10-30 Kani Format Check #443: Commit 784435b pushed by tautschnig
October 30, 2024 10:27 3m 40s toolchain-2024-10-30-manual
toolchain-2024-10-30-manual
October 30, 2024 10:27 3m 40s
Update toolchain to 2024-09-23 (#3544) Kani Format Check #442: Commit eab5096 pushed by tautschnig
September 26, 2024 09:05 3m 53s toolchain-2024-09-26-manual
toolchain-2024-09-26-manual
September 26, 2024 09:05 3m 53s
Toolchain of 24th is ICEs in doc build Kani Format Check #441: Commit 0605e85 pushed by tautschnig
September 24, 2024 11:13 3m 33s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:13 3m 33s
Silence warnings about mutable reference to mutable static Kani Format Check #440: Commit 7fbbc48 pushed by tautschnig
September 24, 2024 11:00 3m 38s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:00 3m 38s
Update toolchain to 2024-09-24 Kani Format Check #439: Commit b74a220 pushed by tautschnig
September 24, 2024 10:17 2m 57s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 10:17 2m 57s
Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… Kani Format Check #438: Commit 664f35a pushed by tautschnig
September 23, 2024 18:36 4m 2s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 18:36 4m 2s
Use ./ Kani Format Check #437: Commit 99ce174 pushed by tautschnig
September 23, 2024 13:28 2m 24s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 13:28 2m 24s
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