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

Extend comment Kani Format Check #361: Commit d273960 pushed by tautschnig
June 24, 2024 10:03 2m 9s cbmc-6
cbmc-6
June 24, 2024 10:03 2m 9s
Comment explaining StorageLive/StorageDead modelling Kani Format Check #360: Commit 62d9f85 pushed by tautschnig
June 24, 2024 10:01 2m 39s cbmc-6
cbmc-6
June 24, 2024 10:01 2m 39s
Merge remote-tracking branch 'origin/main' into cbmc-6 Kani Format Check #359: Commit 2545e0c pushed by tautschnig
June 24, 2024 09:46 1m 59s cbmc-6
cbmc-6
June 24, 2024 09:46 1m 59s
fixup! fixup! Codegen storage markers as assignments to __CPROVER_dea… Kani Format Check #358: Commit 42ed007 pushed by tautschnig
June 21, 2024 14:19 5m 16s cbmc-6
cbmc-6
June 21, 2024 14:19 5m 16s
Fix Docker as well Kani Format Check #357: Commit 59d2fba pushed by tautschnig
June 21, 2024 14:10 2m 31s cbmc-6
cbmc-6
June 21, 2024 14:10 2m 31s
Fix Docker as well Kani Format Check #356: Commit e6b6d4d pushed by tautschnig
June 21, 2024 14:09 1m 58s pip-for-3.7
pip-for-3.7
June 21, 2024 14:09 1m 58s
Use older pip version to remain compatible with Python 3.7 Kani Format Check #355: Commit 7fd296a pushed by tautschnig
June 21, 2024 13:25 1m 56s pip-for-3.7
pip-for-3.7
June 21, 2024 13:25 1m 56s
fixup! Codegen storage markers as assignments to __CPROVER_dead_object Kani Format Check #354: Commit dcc9d61 pushed by tautschnig
June 21, 2024 13:12 1m 55s cbmc-6
cbmc-6
June 21, 2024 13:12 1m 55s
Factor out access to __CPROVER_dead_object Kani Format Check #353: Commit 7f996e7 pushed by tautschnig
June 21, 2024 10:19 2m 24s cbmc-6
cbmc-6
June 21, 2024 10:19 2m 24s
Use older pip version to remain compatible with Python 3.7 Kani Format Check #352: Commit e7242f2 pushed by tautschnig
June 21, 2024 09:43 4m 16s cbmc-6
cbmc-6
June 21, 2024 09:43 4m 16s
Use CBMC version 6.0.1 Kani Format Check #351: Commit fda6424 pushed by tautschnig
June 21, 2024 09:03 1m 51s cbmc-6
cbmc-6
June 21, 2024 09:03 1m 51s
fixup! Set higher verbosity for tests as needed Kani Format Check #350: Commit bb373f2 pushed by tautschnig
June 20, 2024 10:41 2m 1s cbmc-6
cbmc-6
June 20, 2024 10:41 2m 1s
benchcomp test with verbosity Kani Format Check #349: Commit a55167a pushed by tautschnig
June 19, 2024 18:56 2m 33s cbmc-6
cbmc-6
June 19, 2024 18:56 2m 33s
Separate flags Kani Format Check #348: Commit 7dd43d8 pushed by tautschnig
June 19, 2024 18:44 2m 31s cbmc-6
cbmc-6
June 19, 2024 18:44 2m 31s
Verbosity 9 for perf tests Kani Format Check #347: Commit 9a68859 pushed by tautschnig
June 19, 2024 18:17 1m 57s cbmc-6
cbmc-6
June 19, 2024 18:17 1m 57s
Enable verbosity 9 for performance numbers Kani Format Check #346: Commit e95e689 pushed by tautschnig
June 19, 2024 15:54 3m 47s cbmc-6
cbmc-6
June 19, 2024 15:54 3m 47s
Merge remote-tracking branch 'origin/main' into cbmc-6 Kani Format Check #345: Commit 1bc0129 pushed by tautschnig
June 19, 2024 15:09 2m 18s cbmc-6
cbmc-6
June 19, 2024 15:09 2m 18s
Use GitHub's M1 macOS runner Kani Format Check #344: Commit 87c3a95 pushed by tautschnig
June 14, 2024 08:30 3m 17s use-m1-runner
use-m1-runner
June 14, 2024 08:30 3m 17s
Merge branch 'main' into fix-136 Kani Format Check #343: Commit c1ab951 pushed by tautschnig
June 12, 2024 12:27 4m 11s fix-136
fix-136
June 12, 2024 12:27 4m 11s
Merge branch 'main' into fix-3182 Kani Format Check #342: Commit ae5f522 pushed by tautschnig
June 12, 2024 10:55 4m 2s fix-3182
fix-3182
June 12, 2024 10:55 4m 2s
Avoid sizeof Kani Format Check #341: Commit 4d4c394 pushed by tautschnig
June 11, 2024 21:22 5m 20s fix-3182
fix-3182
June 11, 2024 21:22 5m 20s
Merge branch 'main' into fix-3182 Kani Format Check #340: Commit e222642 pushed by tautschnig
June 11, 2024 19:20 1m 54s fix-3182
fix-3182
June 11, 2024 19:20 1m 54s
Fix typed_swap for ZSTs Kani Format Check #339: Commit df86d33 pushed by tautschnig
June 11, 2024 17:23 2m 48s fix-3182
fix-3182
June 11, 2024 17:23 2m 48s
Fix tests Kani Format Check #338: Commit 2171d7e pushed by tautschnig
June 11, 2024 11:29 2m 43s fix-136
fix-136
June 11, 2024 11:29 2m 43s
Fix tests Kani Format Check #337: Commit bf7a41e pushed by tautschnig
June 11, 2024 10:40 2m 55s fix-136
fix-136
June 11, 2024 10:40 2m 55s