Skip to content

Actions: tautschnig/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Maintain test execution performance with newer CaDiCaL versions Cargo Audit #383: Commit 6d08b20 pushed by tautschnig
July 24, 2024 19:50 1m 1s tests-use-minisat
tests-use-minisat
July 24, 2024 19:50 1m 1s
Use box in shadow memory test for reliable object count Cargo Audit #382: Commit 341771d pushed by tautschnig
July 24, 2024 19:44 1m 1s shadow-test-use-box
shadow-test-use-box
July 24, 2024 19:44 1m 1s
compiletest: ensure extra arguments are appended at the end Cargo Audit #381: Commit 7462a85 pushed by tautschnig
July 24, 2024 19:30 1m 8s fix-compiletest-extra-args
fix-compiletest-extra-args
July 24, 2024 19:30 1m 8s
Prepare CBMC v6+ build on Ubuntu 18.04 Cargo Audit #380: Commit b44ec3c pushed by tautschnig
July 24, 2024 19:16 1m 5s prepare-cbmc-6-build
prepare-cbmc-6-build
July 24, 2024 19:16 1m 5s
Benchcomp perf regression: move setup into run Cargo Audit #379: Commit c1bc1ee pushed by tautschnig
July 24, 2024 19:10 1m 6s cbmc-6
cbmc-6
July 24, 2024 19:10 1m 6s
Cherry-pick #3375 into verify-rust-std (Import apply_closure into kan… Cargo Audit #378: Commit 4034b9a pushed by tautschnig
July 24, 2024 15:56 1m 44s pick-3375
pick-3375
July 24, 2024 15:56 1m 44s
Bump s2n-quic submodule Cargo Audit #377: Commit 277bdad pushed by tautschnig
July 24, 2024 14:03 1m 7s cbmc-6
cbmc-6
July 24, 2024 14:03 1m 7s
Work around CaDiCaL performance regression Cargo Audit #376: Commit 033b27d pushed by tautschnig
July 24, 2024 12:04 1m 5s cbmc-6
cbmc-6
July 24, 2024 12:04 1m 5s
Import apply_closure into kani_core Cargo Audit #375: Commit 1b26786 pushed by tautschnig
July 24, 2024 09:18 1m 2s kani_core-ensures
kani_core-ensures
July 24, 2024 09:18 1m 2s
Merge branch 'main' into cbmc-6 Cargo Audit #374: Commit bdb80ea pushed by tautschnig
July 24, 2024 04:37 1m 39s cbmc-6
cbmc-6
July 24, 2024 04:37 1m 39s
Merge branch 'main' into cbmc-6 Cargo Audit #373: Commit fd78563 pushed by tautschnig
July 23, 2024 21:22 1m 1s cbmc-6
cbmc-6
July 23, 2024 21:22 1m 1s
Merge branch 'main' into cbmc-viewer-3.9 Cargo Audit #372: Commit 6abbc0b pushed by tautschnig
July 23, 2024 21:11 1m 8s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 21:11 1m 8s
Merge remote-tracking branch 'origin/main' into cbmc-viewer-3.9 Cargo Audit #371: Commit 51d9d3d pushed by tautschnig
July 23, 2024 19:38 1m 7s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 19:38 1m 7s
Update taps Cargo Audit #370: Commit 043096a pushed by tautschnig
July 23, 2024 19:38 1m 5s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 19:38 1m 5s
Bump CBMC Viewer to 3.9 Cargo Audit #369: Commit 29c9105 pushed by tautschnig
July 23, 2024 18:17 1m 7s cbmc-viewer-3.9
cbmc-viewer-3.9
July 23, 2024 18:17 1m 7s
Test performance with CBMC using CaDiCaL 2.0.0 Cargo Audit #368: Commit b7b3b15 pushed by tautschnig
July 23, 2024 08:12 1m 36s cbmc-6
cbmc-6
July 23, 2024 08:12 1m 36s
Merge branch 'main' into macos-arm-release Cargo Audit #367: Commit 22dc288 pushed by adpaco-aws
July 8, 2024 21:03 1m 6s macos-arm-release
macos-arm-release
July 8, 2024 21:03 1m 6s
Auto-upload macOS ARM binaries to draft release Cargo Audit #366: Commit 12a16b3 pushed by tautschnig
July 3, 2024 19:23 1m 10s macos-arm-release
macos-arm-release
July 3, 2024 19:23 1m 10s
Merge branch 'main' into declare-malloc Cargo Audit #365: Commit 3d65ebc pushed by celinval
June 27, 2024 18:36 1m 2s declare-malloc
declare-malloc
June 27, 2024 18:36 1m 2s
C library: declare malloc Cargo Audit #364: Commit 5f04078 pushed by tautschnig
June 27, 2024 09:29 1m 9s declare-malloc
declare-malloc
June 27, 2024 09:29 1m 9s
Merge branch 'main' into cbmc-6 Cargo Audit #363: Commit 728c1f7 pushed by tautschnig
June 25, 2024 10:23 1m 15s cbmc-6
cbmc-6
June 25, 2024 10:23 1m 15s
Extend comment Cargo Audit #362: Commit d273960 pushed by tautschnig
June 24, 2024 10:03 1m 13s cbmc-6
cbmc-6
June 24, 2024 10:03 1m 13s
Comment explaining StorageLive/StorageDead modelling Cargo Audit #361: Commit 62d9f85 pushed by tautschnig
June 24, 2024 10:01 1m 13s cbmc-6
cbmc-6
June 24, 2024 10:01 1m 13s
Merge remote-tracking branch 'origin/main' into cbmc-6 Cargo Audit #360: Commit 2545e0c pushed by tautschnig
June 24, 2024 09:46 1m 46s cbmc-6
cbmc-6
June 24, 2024 09:46 1m 46s
fixup! fixup! Codegen storage markers as assignments to __CPROVER_dea… Cargo Audit #359: Commit 42ed007 pushed by tautschnig
June 21, 2024 14:19 4m 29s cbmc-6
cbmc-6
June 21, 2024 14:19 4m 29s