Skip to content

Actions: diffblue/hw-cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SystemVerilog: chandle data type Syntactic checks #1853: Pull request #837 synchronize by kroening
December 26, 2024 13:47 1m 25s chandle
chandle
December 26, 2024 13:47 1m 25s
Verilog: lowering for types Syntactic checks #1852: Pull request #846 synchronize by kroening
December 26, 2024 13:46 1m 56s verilog_lowering_type
verilog_lowering_type
December 26, 2024 13:46 1m 56s
SystemVerilog: string data type Syntactic checks #1851: Pull request #838 synchronize by kroening
December 26, 2024 13:42 1m 27s verilog_string
verilog_string
December 26, 2024 13:42 1m 27s
SystemVerilog: event data type Syntactic checks #1850: Pull request #839 synchronize by kroening
December 26, 2024 13:41 1m 24s verilog_event
verilog_event
December 26, 2024 13:41 1m 24s
SystemVerilog: chandle data type Syntactic checks #1849: Pull request #837 synchronize by kroening
December 26, 2024 13:39 1m 30s chandle
chandle
December 26, 2024 13:39 1m 30s
SMV typechecker cleanup Syntactic checks #1848: Pull request #902 synchronize by kroening
December 26, 2024 13:31 1m 27s smt-typecheck-cleanup
smt-typecheck-cleanup
December 26, 2024 13:31 1m 27s
SMV typechecker cleanup Syntactic checks #1847: Pull request #902 synchronize by kroening
December 26, 2024 13:27 1m 28s smt-typecheck-cleanup
smt-typecheck-cleanup
December 26, 2024 13:27 1m 28s
SMV typechecker cleanup Syntactic checks #1846: Pull request #902 synchronize by kroening
December 26, 2024 12:44 1m 27s smt-typecheck-cleanup
smt-typecheck-cleanup
December 26, 2024 12:44 1m 27s
SMV typechecker cleanup Syntactic checks #1845: Pull request #902 synchronize by kroening
December 24, 2024 17:46 1m 26s smt-typecheck-cleanup
smt-typecheck-cleanup
December 24, 2024 17:46 1m 26s
SMV typechecker cleanup Syntactic checks #1844: Pull request #902 synchronize by kroening
December 24, 2024 17:32 1m 34s smt-typecheck-cleanup
smt-typecheck-cleanup
December 24, 2024 17:32 1m 34s
SMV typechecker cleanup Syntactic checks #1843: Pull request #902 synchronize by kroening
December 24, 2024 17:18 1m 33s smt-typecheck-cleanup
smt-typecheck-cleanup
December 24, 2024 17:18 1m 33s
SMV typechecker cleanup Syntactic checks #1842: Pull request #902 synchronize by kroening
December 24, 2024 13:17 1m 27s smt-typecheck-cleanup
smt-typecheck-cleanup
December 24, 2024 13:17 1m 27s
SMV typechecker cleanup Syntactic checks #1841: Pull request #902 synchronize by kroening
December 24, 2024 13:06 1m 26s smt-typecheck-cleanup
smt-typecheck-cleanup
December 24, 2024 13:06 1m 26s
SMV typechecker cleanup Syntactic checks #1840: Pull request #902 opened by kroening
December 24, 2024 12:58 1m 28s smt-typecheck-cleanup
smt-typecheck-cleanup
December 24, 2024 12:58 1m 28s
SMV: KNOWNBUG tests Syntactic checks #1839: Pull request #901 opened by kroening
December 24, 2024 12:37 4m 48s smv-tests2
smv-tests2
December 24, 2024 12:37 4m 48s
ebmc CEGAR Syntactic checks #1838: Pull request #133 synchronize by kroening
December 24, 2024 12:15 2m 45s ebmc-cegar
ebmc-cegar
December 24, 2024 12:15 2m 45s
ebmc CEGAR Syntactic checks #1837: Pull request #133 synchronize by kroening
December 24, 2024 12:13 1m 27s ebmc-cegar
ebmc-cegar
December 24, 2024 12:13 1m 27s
ebmc CEGAR Syntactic checks #1836: Pull request #133 synchronize by kroening
December 24, 2024 12:11 1m 33s ebmc-cegar
ebmc-cegar
December 24, 2024 12:11 1m 33s
ebmc CEGAR Syntactic checks #1835: Pull request #133 synchronize by kroening
December 24, 2024 11:39 1m 30s ebmc-cegar
ebmc-cegar
December 24, 2024 11:39 1m 30s
ebmc CEGAR Syntactic checks #1834: Pull request #133 synchronize by kroening
December 24, 2024 11:36 1m 30s ebmc-cegar
ebmc-cegar
December 24, 2024 11:36 1m 30s
bump CBMC dependency Syntactic checks #1833: Pull request #895 synchronize by kroening
December 23, 2024 22:27 1m 28s xnor-fix
xnor-fix
December 23, 2024 22:27 1m 28s
SMV: add tests for type checking errors Syntactic checks #1832: Pull request #900 opened by kroening
December 23, 2024 14:22 1m 42s smv-boolean-expected
smv-boolean-expected
December 23, 2024 14:22 1m 42s
IC3: use report_results Syntactic checks #1831: Pull request #899 opened by kroening
December 23, 2024 10:59 1m 57s ic3-result
ic3-result
December 23, 2024 10:59 1m 57s
IC3: better error message when given assumption Syntactic checks #1830: Pull request #898 opened by kroening
December 23, 2024 10:26 1m 22s not_supported3
not_supported3
December 23, 2024 10:26 1m 22s
IC3: only SVA always is supported Syntactic checks #1829: Pull request #897 opened by kroening
December 23, 2024 10:15 1m 31s not_supported2
not_supported2
December 23, 2024 10:15 1m 31s