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

Merge branch 'main' into tests-use-minisat Kani Format Check #386: Commit e25593b pushed by tautschnig
July 24, 2024 20:57 3m 36s tests-use-minisat
tests-use-minisat
July 24, 2024 20:57 3m 36s
Merge branch 'main' into prepare-cbmc-6-build Kani Format Check #385: Commit 13f7656 pushed by tautschnig
July 24, 2024 20:54 2m 56s prepare-cbmc-6-build
prepare-cbmc-6-build
July 24, 2024 20:54 2m 56s
Merge branch 'main' into fix-compiletest-extra-args Kani Format Check #384: Commit e083944 pushed by tautschnig
July 24, 2024 20:18 2m 16s fix-compiletest-extra-args
fix-compiletest-extra-args
July 24, 2024 20:18 2m 16s
Install variant-specific dependencies Kani Format Check #383: Commit 85092ed pushed by tautschnig
July 24, 2024 20:00 2m 12s cbmc-6
cbmc-6
July 24, 2024 20:00 2m 12s
Maintain test execution performance with newer CaDiCaL versions Kani Format Check #382: Commit 6d08b20 pushed by tautschnig
July 24, 2024 19:50 2m 8s tests-use-minisat
tests-use-minisat
July 24, 2024 19:50 2m 8s
Use box in shadow memory test for reliable object count Kani Format Check #381: Commit 341771d pushed by tautschnig
July 24, 2024 19:44 2m 55s shadow-test-use-box
shadow-test-use-box
July 24, 2024 19:44 2m 55s
compiletest: ensure extra arguments are appended at the end Kani Format Check #380: Commit 7462a85 pushed by tautschnig
July 24, 2024 19:30 2m 52s fix-compiletest-extra-args
fix-compiletest-extra-args
July 24, 2024 19:30 2m 52s
Prepare CBMC v6+ build on Ubuntu 18.04 Kani Format Check #379: Commit b44ec3c pushed by tautschnig
July 24, 2024 19:16 3m 22s prepare-cbmc-6-build
prepare-cbmc-6-build
July 24, 2024 19:16 3m 22s
Benchcomp perf regression: move setup into run Kani Format Check #378: Commit c1bc1ee pushed by tautschnig
July 24, 2024 19:10 3m 0s cbmc-6
cbmc-6
July 24, 2024 19:10 3m 0s
Cherry-pick #3375 into verify-rust-std (Import apply_closure into kan… Kani Format Check #377: Commit 4034b9a pushed by tautschnig
July 24, 2024 15:56 3m 14s pick-3375
pick-3375
July 24, 2024 15:56 3m 14s
Bump s2n-quic submodule Kani Format Check #376: Commit 277bdad pushed by tautschnig
July 24, 2024 14:03 4m 54s cbmc-6
cbmc-6
July 24, 2024 14:03 4m 54s
Work around CaDiCaL performance regression Kani Format Check #375: Commit 033b27d pushed by tautschnig
July 24, 2024 12:04 2m 13s cbmc-6
cbmc-6
July 24, 2024 12:04 2m 13s
Import apply_closure into kani_core Kani Format Check #374: Commit 1b26786 pushed by tautschnig
July 24, 2024 09:18 2m 57s kani_core-ensures
kani_core-ensures
July 24, 2024 09:18 2m 57s
Merge branch 'main' into cbmc-6 Kani Format Check #373: Commit bdb80ea pushed by tautschnig
July 24, 2024 04:37 2m 54s cbmc-6
cbmc-6
July 24, 2024 04:37 2m 54s
Merge branch 'main' into cbmc-6 Kani Format Check #372: Commit fd78563 pushed by tautschnig
July 23, 2024 21:22 3m 8s cbmc-6
cbmc-6
July 23, 2024 21:22 3m 8s
Merge branch 'main' into cbmc-viewer-3.9 Kani Format Check #371: Commit 6abbc0b pushed by tautschnig
July 23, 2024 21:11 3m 41s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 21:11 3m 41s
Merge remote-tracking branch 'origin/main' into cbmc-viewer-3.9 Kani Format Check #370: Commit 51d9d3d pushed by tautschnig
July 23, 2024 19:38 2m 22s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 19:38 2m 22s
Update taps Kani Format Check #369: Commit 043096a pushed by tautschnig
July 23, 2024 19:38 2m 54s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 19:38 2m 54s
Bump CBMC Viewer to 3.9 Kani Format Check #368: Commit 29c9105 pushed by tautschnig
July 23, 2024 18:17 3m 6s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 18:17 3m 6s
Test performance with CBMC using CaDiCaL 2.0.0 Kani Format Check #367: Commit b7b3b15 pushed by tautschnig
July 23, 2024 08:12 3m 24s cbmc-6
cbmc-6
July 23, 2024 08:12 3m 24s
Merge branch 'main' into macos-arm-release Kani Format Check #366: Commit 22dc288 pushed by adpaco-aws
July 8, 2024 21:03 1m 58s macos-arm-release
macos-arm-release
July 8, 2024 21:03 1m 58s
Auto-upload macOS ARM binaries to draft release Kani Format Check #365: Commit 12a16b3 pushed by tautschnig
July 3, 2024 19:23 2m 56s macos-arm-release
macos-arm-release
July 3, 2024 19:23 2m 56s
Merge branch 'main' into declare-malloc Kani Format Check #364: Commit 3d65ebc pushed by celinval
June 27, 2024 18:36 3m 20s declare-malloc
declare-malloc
June 27, 2024 18:36 3m 20s
C library: declare malloc Kani Format Check #363: Commit 5f04078 pushed by tautschnig
June 27, 2024 09:29 6m 27s declare-malloc
declare-malloc
June 27, 2024 09:29 6m 27s
Merge branch 'main' into cbmc-6 Kani Format Check #362: Commit 728c1f7 pushed by tautschnig
June 25, 2024 10:23 2m 53s cbmc-6
cbmc-6
June 25, 2024 10:23 2m 53s