Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't do all metrics Kani Format Check #252: Commit 5b2ca09 pushed by tautschnig
March 14, 2024 22:41 2m 44s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:41 2m 44s
Fix name Kani Format Check #251: Commit 907e49e pushed by tautschnig
March 14, 2024 22:12 2m 3s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:12 2m 3s
Rearrange dict Kani Format Check #250: Commit a1a3f9f pushed by tautschnig
March 14, 2024 21:44 2m 0s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:44 2m 0s
Fix lookup Kani Format Check #249: Commit 624431c pushed by tautschnig
March 14, 2024 21:08 2m 44s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:08 2m 44s
Fix syntax error Kani Format Check #248: Commit 4e5fdb3 pushed by tautschnig
March 14, 2024 20:54 1m 58s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 20:54 1m 58s
Add optional scatterplot to benchcomp output Kani Format Check #247: Commit 2fab78e pushed by tautschnig
March 14, 2024 17:43 2m 34s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 17:43 2m 34s
More precise bounds Kani Format Check #246: Commit bc5ef1f pushed by tautschnig
February 7, 2024 18:23 2m 33s float-intrinsics
float-intrinsics
February 7, 2024 18:23 2m 33s
Temporarily disable mdbook-graphviz Kani Format Check #245: Commit 9f4db53 pushed by tautschnig
February 7, 2024 16:09 1m 59s update-deps
update-deps
February 7, 2024 16:09 1m 59s
Fix bookrunner Kani Format Check #244: Commit 3649d21 pushed by tautschnig
February 7, 2024 12:27 3m 20s update-deps
update-deps
February 7, 2024 12:27 3m 20s
Update cargo dependencies Kani Format Check #243: Commit c241e62 pushed by tautschnig
February 7, 2024 11:39 1m 29s update-deps
update-deps
February 7, 2024 11:39 1m 29s
Enable fma* intrinsics Kani Format Check #242: Commit 641e110 pushed by tautschnig
February 7, 2024 10:50 2m 9s fma-intrinsics
fma-intrinsics
February 7, 2024 10:50 2m 9s
Enable log2*, log10* intrinsics Kani Format Check #241: Commit 3fa6a18 pushed by tautschnig
February 7, 2024 10:45 2m 20s log2-log10-intrinsics
log2-log10-intrinsics
February 7, 2024 10:45 2m 20s
Enable sqrt* intrinsics Kani Format Check #240: Commit cd236fa pushed by tautschnig
February 7, 2024 10:39 2m 39s sqrt-intrinsics
sqrt-intrinsics
February 7, 2024 10:39 2m 39s
Enable powif* intrinsics Kani Format Check #239: Commit ea28adf pushed by tautschnig
February 7, 2024 10:21 1m 53s powi-intrinsics
powi-intrinsics
February 7, 2024 10:21 1m 53s
No sqrt just yet Kani Format Check #238: Commit fa2ac24 pushed by tautschnig
February 7, 2024 10:18 2m 29s float-intrinsics
float-intrinsics
February 7, 2024 10:18 2m 29s
Syntax fixes Kani Format Check #237: Commit a044577 pushed by tautschnig
February 6, 2024 21:42 2m 14s float-intrinsics
float-intrinsics
February 6, 2024 21:42 2m 14s
Enable powf*, exp*, sqrt* intrinsics Kani Format Check #236: Commit f6af818 pushed by tautschnig
February 6, 2024 13:51 2m 32s float-intrinsics
float-intrinsics
February 6, 2024 13:51 2m 32s
Update to CBMC version 6.0.0 Kani Format Check #235: Commit da76cb3 pushed by tautschnig
February 6, 2024 13:08 32s cbmc-6
cbmc-6
February 6, 2024 13:08 32s
Actually ignore errors Kani Format Check #234: Commit 707526a pushed by tautschnig
January 31, 2024 19:27 2m 41s macos-13
macos-13
January 31, 2024 19:27 2m 41s
Pre-install Python 3.12 Kani Format Check #233: Commit fdef569 pushed by tautschnig
January 31, 2024 19:21 1m 54s macos-13
macos-13
January 31, 2024 19:21 1m 54s
Try to install pre-bottled cbmc-viewer Kani Format Check #232: Commit ab0a4d6 pushed by tautschnig
January 29, 2024 15:54 2m 55s macos-13
macos-13
January 29, 2024 15:54 2m 55s
Add setup symlink Kani Format Check #231: Commit 4e35f6d pushed by tautschnig
January 29, 2024 15:37 2m 47s macos-13
macos-13
January 29, 2024 15:37 2m 47s
Switch MacOS CI jobs to macos-13 Kani Format Check #230: Commit a630004 pushed by tautschnig
January 29, 2024 15:35 2m 8s macos-13
macos-13
January 29, 2024 15:35 2m 8s
Merge branch 'main' into benchcomp-import Kani Format Check #229: Commit c0f97d7 pushed by tautschnig
January 18, 2024 17:24 2m 35s benchcomp-import
benchcomp-import
January 18, 2024 17:24 2m 35s
Benchcomp visualize: fix missing import Kani Format Check #228: Commit 4f55b86 pushed by tautschnig
January 18, 2024 09:58 6m 5s benchcomp-import
benchcomp-import
January 18, 2024 09:58 6m 5s
ProTip! You can narrow down the results and go further in time using created:<2024-01-18 or the other filters available.