Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
122 workflow run results
122 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable sqrt* intrinsics Kani CI #240: Commit cd236fa pushed by tautschnig
February 7, 2024 10:39 28m 20s sqrt-intrinsics
sqrt-intrinsics
February 7, 2024 10:39 28m 20s
Enable powif* intrinsics Kani CI #239: Commit ea28adf pushed by tautschnig
February 7, 2024 10:21 27m 14s powi-intrinsics
powi-intrinsics
February 7, 2024 10:21 27m 14s
No sqrt just yet Kani CI #238: Commit fa2ac24 pushed by tautschnig
February 7, 2024 10:18 38m 42s float-intrinsics
float-intrinsics
February 7, 2024 10:18 38m 42s
Syntax fixes Kani CI #237: Commit a044577 pushed by tautschnig
February 6, 2024 21:42 27m 55s float-intrinsics
float-intrinsics
February 6, 2024 21:42 27m 55s
Enable powf*, exp*, sqrt* intrinsics Kani CI #236: Commit f6af818 pushed by tautschnig
February 6, 2024 13:51 28m 51s float-intrinsics
float-intrinsics
February 6, 2024 13:51 28m 51s
Update to CBMC version 6.0.0 Kani CI #235: Commit da76cb3 pushed by tautschnig
February 6, 2024 13:08 1m 15s cbmc-6
cbmc-6
February 6, 2024 13:08 1m 15s
Actually ignore errors Kani CI #234: Commit 707526a pushed by tautschnig
January 31, 2024 19:27 27m 1s macos-13
macos-13
January 31, 2024 19:27 27m 1s
Pre-install Python 3.12 Kani CI #233: Commit fdef569 pushed by tautschnig
January 31, 2024 19:21 27m 10s macos-13
macos-13
January 31, 2024 19:21 27m 10s
Try to install pre-bottled cbmc-viewer Kani CI #232: Commit ab0a4d6 pushed by tautschnig
January 29, 2024 15:54 29m 46s macos-13
macos-13
January 29, 2024 15:54 29m 46s
Add setup symlink Kani CI #231: Commit 4e35f6d pushed by tautschnig
January 29, 2024 15:37 28m 43s macos-13
macos-13
January 29, 2024 15:37 28m 43s
Switch MacOS CI jobs to macos-13 Kani CI #230: Commit a630004 pushed by tautschnig
January 29, 2024 15:35 29m 10s macos-13
macos-13
January 29, 2024 15:35 29m 10s
Merge branch 'main' into benchcomp-import Kani CI #229: Commit c0f97d7 pushed by tautschnig
January 18, 2024 17:24 29m 37s benchcomp-import
benchcomp-import
January 18, 2024 17:24 29m 37s
Benchcomp visualize: fix missing import Kani CI #228: Commit 4f55b86 pushed by tautschnig
January 18, 2024 09:58 34m 46s benchcomp-import
benchcomp-import
January 18, 2024 09:58 34m 46s
Merge branch 'main' into auto-cargo-update Kani CI #227: Commit 78a1ca2 pushed by tautschnig
December 14, 2023 19:08 31m 59s auto-cargo-update
auto-cargo-update
December 14, 2023 19:08 31m 59s
Automate cargo update without dependabot Kani CI #226: Commit 56df656 pushed by tautschnig
December 13, 2023 22:36 29m 9s auto-cargo-update
auto-cargo-update
December 13, 2023 22:36 29m 9s
Merge branch 'main' into toolchain-2023-12-03-manual Kani CI #225: Commit 0ed32e4 pushed by celinval
December 8, 2023 03:54 38m 20s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 8, 2023 03:54 38m 20s
Regression now passes Kani CI #224: Commit 9be3d1f pushed by celinval
December 8, 2023 01:51 35m 5s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 8, 2023 01:51 35m 5s
Add more tests (simd_shuffle/simd_swizzle) Kani CI #223: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 26m 21s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 7, 2023 22:25 26m 21s
Revert "Bump actions/labeler from 4 to 5 (#2917)" Kani CI #222: Commit 9d535f8 pushed by tautschnig
December 7, 2023 16:24 38m 36s revert-labeler
revert-labeler
December 7, 2023 16:24 38m 36s
Updated labeler GitHub action configuration to v5 format Kani CI #221: Commit bfa4e0d pushed by tautschnig
December 7, 2023 16:15 28m 59s labeler-v5-config
labeler-v5-config
December 7, 2023 16:15 28m 59s
Revert model change and add new test Kani CI #220: Commit ff40897 pushed by celinval
December 6, 2023 22:40 26m 50s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 22:40 26m 50s
Add a new test that narrow down the issue Kani CI #219: Commit 787268c pushed by celinval
December 6, 2023 21:37 27m 1s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:37 27m 1s
Revert model change Kani CI #218: Commit 74cf69d pushed by celinval
December 6, 2023 21:18 28m 32s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:18 28m 32s
Work around issue with is_foreign_item Kani CI #217: Commit 505700a pushed by celinval
December 6, 2023 19:30 27m 10s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 19:30 27m 10s
validate_instance: make sure we actually have a body Kani CI #216: Commit 9f2d97b pushed by tautschnig
December 5, 2023 08:44 8m 13s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 5, 2023 08:44 8m 13s