Skip to content

Actions: diffblue/hw-cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,529 workflow runs
4,529 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Two tests for SVA->Buechi->BDD Syntactic checks #2849: Pull request #1218 opened by kroening
August 1, 2025 20:37 1m 30s sva-buechi-and-or-tests
sva-buechi-and-or-tests
August 1, 2025 20:37 1m 30s
Fix for lowering for expressions given as named properties Syntactic checks #2848: Pull request #1217 opened by kroening
July 30, 2025 16:20 1m 27s named_property3-fix
named_property3-fix
July 30, 2025 16:20 1m 27s
Fix for lowering for expressions given as named properties Build and Test HW-CBMC #4404: Pull request #1217 opened by kroening
July 30, 2025 16:20 17m 7s named_property3-fix
named_property3-fix
July 30, 2025 16:20 17m 7s
KNOWNBUG test for named property Syntactic checks #2847: Pull request #1216 synchronize by kroening
July 30, 2025 00:07 1m 41s named_property3
named_property3
July 30, 2025 00:07 1m 41s
KNOWNBUG test for named property Build and Test HW-CBMC #4403: Pull request #1216 synchronize by kroening
July 30, 2025 00:07 16m 55s named_property3
named_property3
July 30, 2025 00:07 16m 55s
KNOWNBUG test for named property Build and Test HW-CBMC #4402: Pull request #1216 opened by kroening
July 29, 2025 23:16 7m 25s named_property3
named_property3
July 29, 2025 23:16 7m 25s
KNOWNBUG test for named property Syntactic checks #2846: Pull request #1216 opened by kroening
July 29, 2025 23:16 2m 18s named_property3
named_property3
July 29, 2025 23:16 2m 18s
SMV: move checks for duplicate declarations into type checker Build and Test HW-CBMC #4401: Pull request #1215 opened by kroening
July 28, 2025 20:59 27m 28s duplicate-declaration-errors
duplicate-declaration-errors
July 28, 2025 20:59 27m 28s
SMV: move checks for duplicate declarations into type checker Syntactic checks #2845: Pull request #1215 opened by kroening
July 28, 2025 20:59 1m 25s duplicate-declaration-errors
duplicate-declaration-errors
July 28, 2025 20:59 1m 25s
SMV: submodules are now taken from module items Syntactic checks #2844: Pull request #1214 opened by kroening
July 27, 2025 20:53 2m 11s smv-submodule-tc
smv-submodule-tc
July 27, 2025 20:53 2m 11s
SMV: submodules are now taken from module items Build and Test HW-CBMC #4400: Pull request #1214 opened by kroening
July 27, 2025 20:53 7m 32s smv-submodule-tc
smv-submodule-tc
July 27, 2025 20:53 7m 32s
Merge pull request #1213 from diffblue/smvlang-vars2 Build and Test HW-CBMC #4399: Commit 5f2c37e pushed by kroening
July 27, 2025 20:44 7m 11s main
main
July 27, 2025 20:44 7m 11s
SMV: use module items for VAR and DEFINE for creating symbols Syntactic checks #2843: Pull request #1213 synchronize by kroening
July 27, 2025 16:40 2m 6s smvlang-vars2
smvlang-vars2
July 27, 2025 16:40 2m 6s
SMV: use module items for VAR and DEFINE for creating symbols Build and Test HW-CBMC #4398: Pull request #1213 synchronize by kroening
July 27, 2025 16:40 7m 37s smvlang-vars2
smvlang-vars2
July 27, 2025 16:40 7m 37s
BMC: reconsider lasso-shaped encodings Build and Test HW-CBMC #4397: Pull request #1202 synchronize by kroening
July 27, 2025 16:26 8m 32s bmc-F-encoding
bmc-F-encoding
July 27, 2025 16:26 8m 32s
BMC: reconsider lasso-shaped encodings Syntactic checks #2842: Pull request #1202 synchronize by kroening
July 27, 2025 16:26 2m 26s bmc-F-encoding
bmc-F-encoding
July 27, 2025 16:26 2m 26s
Merge pull request #1210 from diffblue/bmc-R-W-loop Build and Test HW-CBMC #4396: Commit 6dcb40c pushed by tautschnig
July 26, 2025 21:25 6m 28s main
main
July 26, 2025 21:25 6m 28s
Merge pull request #1211 from diffblue/cycle_delay_star2 Build and Test HW-CBMC #4395: Commit 9732d42 pushed by tautschnig
July 26, 2025 21:17 8m 28s main
main
July 26, 2025 21:17 8m 28s
Merge pull request #1212 from diffblue/vardecls Build and Test HW-CBMC #4394: Commit b5fc8e4 pushed by tautschnig
July 26, 2025 21:16 10m 1s main
main
July 26, 2025 21:16 10m 1s
solver-based neural ranking engine Syntactic checks #2841: Pull request #524 synchronize by kroening
July 26, 2025 19:14 5m 10s solver-nuterm
solver-nuterm
July 26, 2025 19:14 5m 10s
solver-based neural ranking engine Build and Test HW-CBMC #4393: Pull request #524 synchronize by kroening
July 26, 2025 19:14 3m 3s solver-nuterm
solver-nuterm
July 26, 2025 19:14 3m 3s
SMV: use module items for VAR and DEFINE for creating symbols Syntactic checks #2840: Pull request #1213 synchronize by kroening
July 26, 2025 15:54 1m 36s smvlang-vars2
smvlang-vars2
July 26, 2025 15:54 1m 36s
SMV: use module items for VAR and DEFINE for creating symbols Build and Test HW-CBMC #4392: Pull request #1213 synchronize by kroening
July 26, 2025 15:54 7m 7s smvlang-vars2
smvlang-vars2
July 26, 2025 15:54 7m 7s
SMV: use module items for VAR and DEFINE for creating symbols Build and Test HW-CBMC #4391: Pull request #1213 opened by kroening
July 26, 2025 15:49 8m 21s smvlang-vars2
smvlang-vars2
July 26, 2025 15:49 8m 21s
SMV: use module items for VAR and DEFINE for creating symbols Syntactic checks #2839: Pull request #1213 opened by kroening
July 26, 2025 15:49 2m 13s smvlang-vars2
smvlang-vars2
July 26, 2025 15:49 2m 13s