Skip to content

Actions: diffblue/hw-cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
syntax-checks.yaml
1,953 workflow runs
1,953 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

BMC: looping constraint must consider all inputs Syntactic checks #2814: Pull request #1206 synchronize by kroening
July 18, 2025 17:17 1m 21s smv_ltlspec_F7
smv_ltlspec_F7
July 18, 2025 17:17 1m 21s
BMC: reconsider encoding of F Syntactic checks #2813: Pull request #1202 synchronize by kroening
July 18, 2025 17:07 2m 7s bmc-F-encoding
bmc-F-encoding
July 18, 2025 17:07 2m 7s
BMC: looping constraint must consider all inputs Syntactic checks #2812: Pull request #1206 synchronize by kroening
July 18, 2025 17:07 1m 44s smv_ltlspec_F7
smv_ltlspec_F7
July 18, 2025 17:07 1m 44s
BMC: looping constraint must consider all inputs Syntactic checks #2811: Pull request #1206 synchronize by kroening
July 18, 2025 17:04 1m 30s smv_ltlspec_F7
smv_ltlspec_F7
July 18, 2025 17:04 1m 30s
Fixup regression test after merging #1115 Syntactic checks #2810: Pull request #1208 opened by tautschnig
July 18, 2025 17:01 1m 29s fix-regression-test
fix-regression-test
July 18, 2025 17:01 1m 29s
BMC: looping constraint must consider all inputs Syntactic checks #2809: Pull request #1206 synchronize by kroening
July 18, 2025 16:58 2m 19s smv_ltlspec_F7
smv_ltlspec_F7
July 18, 2025 16:58 2m 19s
SMV: grammar for missing declarations Syntactic checks #2808: Pull request #1207 opened by kroening
July 17, 2025 17:54 1m 33s smv-missing-declarations
smv-missing-declarations
July 17, 2025 17:54 1m 33s
BMC: looping constraint must consider all inputs Syntactic checks #2807: Pull request #1206 opened by kroening
July 16, 2025 22:48 1m 29s smv_ltlspec_F7
smv_ltlspec_F7
July 16, 2025 22:48 1m 29s
KNOWNBUG test for LTL BMC Syntactic checks #2806: Pull request #1205 synchronize by kroening
July 16, 2025 22:13 2m 21s smv_ltlspec4
smv_ltlspec4
July 16, 2025 22:13 2m 21s
KNOWNBUG test for LTL BMC Syntactic checks #2805: Pull request #1205 synchronize by kroening
July 16, 2025 21:45 2m 33s smv_ltlspec4
smv_ltlspec4
July 16, 2025 21:45 2m 33s
KNOWNBUG test for LTL BMC Syntactic checks #2804: Pull request #1205 opened by kroening
July 16, 2025 21:43 3m 28s smv_ltlspec4
smv_ltlspec4
July 16, 2025 21:43 3m 28s
BMC: reconsider encoding of F Syntactic checks #2803: Pull request #1202 synchronize by kroening
July 16, 2025 18:46 2m 15s bmc-F-encoding
bmc-F-encoding
July 16, 2025 18:46 2m 15s
BMC: reconsider encoding of F Syntactic checks #2802: Pull request #1202 synchronize by kroening
July 16, 2025 18:44 1m 28s bmc-F-encoding
bmc-F-encoding
July 16, 2025 18:44 1m 28s
BMC: reconsider encoding of F Syntactic checks #2801: Pull request #1202 synchronize by kroening
July 16, 2025 16:46 1m 31s bmc-F-encoding
bmc-F-encoding
July 16, 2025 16:46 1m 31s
BMC: reconsider encoding of F Syntactic checks #2800: Pull request #1202 synchronize by kroening
July 16, 2025 16:27 2m 24s bmc-F-encoding
bmc-F-encoding
July 16, 2025 16:27 2m 24s
BMC: reconsider encoding of F Syntactic checks #2799: Pull request #1202 synchronize by kroening
July 16, 2025 16:04 1m 30s bmc-F-encoding
bmc-F-encoding
July 16, 2025 16:04 1m 30s
BMC: reconsider encoding of F Syntactic checks #2798: Pull request #1202 synchronize by kroening
July 15, 2025 23:50 1m 27s bmc-F-encoding
bmc-F-encoding
July 15, 2025 23:50 1m 27s
BMC: LHS of SVA throughout is a state predicate Syntactic checks #2797: Pull request #1204 opened by kroening
July 15, 2025 23:43 2m 17s bmc-throughout
bmc-throughout
July 15, 2025 23:43 2m 17s
BMC: reconsider encoding of F Syntactic checks #2796: Pull request #1202 synchronize by kroening
July 15, 2025 23:36 1m 30s bmc-F-encoding
bmc-F-encoding
July 15, 2025 23:36 1m 30s
SMV: variable definitions are now parse tree items Syntactic checks #2795: Pull request #1196 synchronize by tautschnig
July 15, 2025 20:10 2m 11s smvlang-vars
smvlang-vars
July 15, 2025 20:10 2m 11s
BMC: exit early if there is no supported property Syntactic checks #2794: Pull request #1198 synchronize by tautschnig
July 15, 2025 20:06 2m 4s unsupported1
unsupported1
July 15, 2025 20:06 2m 4s
SMV: test for LTL property with 'or' Syntactic checks #2793: Pull request #1203 opened by kroening
July 14, 2025 21:19 1m 34s smv_ltlspec_or1
smv_ltlspec_or1
July 14, 2025 21:19 1m 34s
SMV: variable definitions are now parse tree items Syntactic checks #2792: Pull request #1196 synchronize by kroening
July 14, 2025 20:54 1m 31s smvlang-vars
smvlang-vars
July 14, 2025 20:54 1m 31s
SMV: variable definitions are now parse tree items Syntactic checks #2791: Pull request #1196 synchronize by kroening
July 14, 2025 20:53 1m 30s smvlang-vars
smvlang-vars
July 14, 2025 20:53 1m 30s
BMC: reconsider encoding of F Syntactic checks #2790: Pull request #1202 synchronize by kroening
July 14, 2025 00:44 2m 1s bmc-F-encoding
bmc-F-encoding
July 14, 2025 00:44 2m 1s