Skip to content

Actions: tautschnig/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
275 workflow runs
275 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Whitespace Cargo Audit #258: Commit 12946c7 pushed by tautschnig
March 14, 2024 23:25 1m 2s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:25 1m 2s
Debug test, again Cargo Audit #257: Commit 456cc14 pushed by tautschnig
March 14, 2024 23:09 3m 5s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:09 3m 5s
Test, whitespace Cargo Audit #256: Commit a87006f pushed by tautschnig
March 14, 2024 23:04 1m 1s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:04 1m 1s
Debug test Cargo Audit #255: Commit 34ec46c pushed by tautschnig
March 14, 2024 22:54 57s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:54 57s
Fix syntax Cargo Audit #254: Commit d8cd86f pushed by tautschnig
March 14, 2024 22:48 1m 8s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:48 1m 8s
Don't do all metrics Cargo Audit #253: Commit 5b2ca09 pushed by tautschnig
March 14, 2024 22:41 1m 2s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:41 1m 2s
Fix name Cargo Audit #252: Commit 907e49e pushed by tautschnig
March 14, 2024 22:12 1m 10s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:12 1m 10s
Rearrange dict Cargo Audit #251: Commit a1a3f9f pushed by tautschnig
March 14, 2024 21:44 1m 0s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:44 1m 0s
Fix lookup Cargo Audit #250: Commit 624431c pushed by tautschnig
March 14, 2024 21:08 1m 5s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:08 1m 5s
Fix syntax error Cargo Audit #249: Commit 4e5fdb3 pushed by tautschnig
March 14, 2024 20:54 1m 1s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 20:54 1m 1s
Add optional scatterplot to benchcomp output Cargo Audit #248: Commit 2fab78e pushed by tautschnig
March 14, 2024 17:43 1m 17s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 17:43 1m 17s
More precise bounds Cargo Audit #247: Commit bc5ef1f pushed by tautschnig
February 7, 2024 18:23 1m 1s float-intrinsics
float-intrinsics
February 7, 2024 18:23 1m 1s
Temporarily disable mdbook-graphviz Cargo Audit #246: Commit 9f4db53 pushed by tautschnig
February 7, 2024 16:09 1m 1s update-deps
update-deps
February 7, 2024 16:09 1m 1s
Fix bookrunner Cargo Audit #245: Commit 3649d21 pushed by tautschnig
February 7, 2024 12:27 1m 2s update-deps
update-deps
February 7, 2024 12:27 1m 2s
Update cargo dependencies Cargo Audit #244: Commit c241e62 pushed by tautschnig
February 7, 2024 11:39 56s update-deps
update-deps
February 7, 2024 11:39 56s
Enable fma* intrinsics Cargo Audit #243: Commit 641e110 pushed by tautschnig
February 7, 2024 10:50 58s fma-intrinsics
fma-intrinsics
February 7, 2024 10:50 58s
Enable log2*, log10* intrinsics Cargo Audit #242: Commit 3fa6a18 pushed by tautschnig
February 7, 2024 10:45 58s log2-log10-intrinsics
log2-log10-intrinsics
February 7, 2024 10:45 58s
Enable sqrt* intrinsics Cargo Audit #241: Commit cd236fa pushed by tautschnig
February 7, 2024 10:39 1m 15s sqrt-intrinsics
sqrt-intrinsics
February 7, 2024 10:39 1m 15s
Enable powif* intrinsics Cargo Audit #240: Commit ea28adf pushed by tautschnig
February 7, 2024 10:21 59s powi-intrinsics
powi-intrinsics
February 7, 2024 10:21 59s
No sqrt just yet Cargo Audit #239: Commit fa2ac24 pushed by tautschnig
February 7, 2024 10:18 1m 0s float-intrinsics
float-intrinsics
February 7, 2024 10:18 1m 0s
Syntax fixes Cargo Audit #238: Commit a044577 pushed by tautschnig
February 6, 2024 21:42 1m 0s float-intrinsics
float-intrinsics
February 6, 2024 21:42 1m 0s
Enable powf*, exp*, sqrt* intrinsics Cargo Audit #237: Commit f6af818 pushed by tautschnig
February 6, 2024 13:51 1m 9s float-intrinsics
float-intrinsics
February 6, 2024 13:51 1m 9s
Update to CBMC version 6.0.0 Cargo Audit #236: Commit da76cb3 pushed by tautschnig
February 6, 2024 13:08 1m 1s cbmc-6
cbmc-6
February 6, 2024 13:08 1m 1s
Actually ignore errors Cargo Audit #235: Commit 707526a pushed by tautschnig
January 31, 2024 19:27 1m 12s macos-13
macos-13
January 31, 2024 19:27 1m 12s
Pre-install Python 3.12 Cargo Audit #234: Commit fdef569 pushed by tautschnig
January 31, 2024 19:21 1m 10s macos-13
macos-13
January 31, 2024 19:21 1m 10s