Skip to content

Actions: diffblue/hw-cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
syntax-checks.yaml
872 workflow run results
872 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verilog enum Syntactic checks #22: Pull request #200 synchronize by kroening
December 2, 2023 01:08 1m 0s verilog-enum
verilog-enum
December 2, 2023 01:08 1m 0s
Verilog: typedef Syntactic checks #21: Pull request #205 synchronize by kroening
December 2, 2023 01:06 1m 2s verilog-parser-scopes
verilog-parser-scopes
December 2, 2023 01:06 1m 2s
Verilog: typedef Syntactic checks #20: Pull request #205 synchronize by kroening
December 2, 2023 01:06 1m 8s verilog-parser-scopes
verilog-parser-scopes
December 2, 2023 01:06 1m 8s
Verilog: sort rules for section A.9.3 Identifiers Syntactic checks #19: Pull request #213 synchronize by kroening
December 2, 2023 01:04 1m 5s verilog-A-9-3-Identifiers
verilog-A-9-3-Identifiers
December 2, 2023 01:04 1m 5s
Verilog: fix operator precendence Syntactic checks #18: Pull request #217 opened by kroening
December 1, 2023 21:55 58s verilog-operator-precedence
verilog-operator-precedence
December 1, 2023 21:55 58s
Verilog: sort rules for section A.2.10 Assertion declarations Syntactic checks #17: Pull request #216 opened by kroening
December 1, 2023 20:52 1m 12s verilog-A-2-10
verilog-A-2-10
December 1, 2023 20:52 1m 12s
ebmc CEGAR Syntactic checks #16: Pull request #133 synchronize by kroening
December 1, 2023 20:33 1m 2s ebmc-cegar
ebmc-cegar
December 1, 2023 20:33 1m 2s
Verilog: grammar rules in section A.4.2 generated instantiation Syntactic checks #15: Pull request #215 opened by kroening
December 1, 2023 20:28 1m 5s verilog-A-4-2
verilog-A-4-2
December 1, 2023 20:28 1m 5s
Verilog: typedef Syntactic checks #14: Pull request #205 synchronize by kroening
December 1, 2023 20:05 1m 40s verilog-parser-scopes
verilog-parser-scopes
December 1, 2023 20:05 1m 40s
Verilog: sort rules for section A.9.3 Identifiers Syntactic checks #13: Pull request #213 synchronize by kroening
December 1, 2023 19:56 57s verilog-A-9-3-Identifiers
verilog-A-9-3-Identifiers
December 1, 2023 19:56 57s
Verilog: clean out unused rules Syntactic checks #12: Pull request #214 opened by kroening
December 1, 2023 19:54 59s verilog-grammar-cleanup
verilog-grammar-cleanup
December 1, 2023 19:54 59s
Verilog: sort rules for section A.9.3 Identifiers Syntactic checks #11: Pull request #213 opened by kroening
December 1, 2023 19:44 2m 13s verilog-A-9-3-Identifiers
verilog-A-9-3-Identifiers
December 1, 2023 19:44 2m 13s
Verilog: use verilog_integer instead of integer Syntactic checks #10: Pull request #209 synchronize by kroening
December 1, 2023 19:32 58s verilog-integer-type
verilog-integer-type
December 1, 2023 19:32 58s
Verilog: typedef Syntactic checks #9: Pull request #205 synchronize by kroening
December 1, 2023 19:25 1m 0s verilog-parser-scopes
verilog-parser-scopes
December 1, 2023 19:25 1m 0s
Verilog: typedef Syntactic checks #8: Pull request #205 synchronize by kroening
December 1, 2023 19:20 1m 5s verilog-parser-scopes
verilog-parser-scopes
December 1, 2023 19:20 1m 5s
Verilog enum Syntactic checks #7: Pull request #200 synchronize by kroening
December 1, 2023 19:13 1m 1s verilog-enum
verilog-enum
December 1, 2023 19:13 1m 1s
ebmc: add --show-module-hierarchy Syntactic checks #6: Pull request #178 synchronize by kroening
November 30, 2023 22:36 1m 4s show-module-hierarchy
show-module-hierarchy
November 30, 2023 22:36 1m 4s
Verilog: typedef Syntactic checks #5: Pull request #205 synchronize by kroening
November 30, 2023 22:29 59s verilog-parser-scopes
verilog-parser-scopes
November 30, 2023 22:29 59s
Verilog: strengthen typing of .convert_type(...) Syntactic checks #4: Pull request #212 opened by kroening
November 30, 2023 18:13 1m 2s typecheck_type
typecheck_type
November 30, 2023 18:13 1m 2s
Verilog enum Syntactic checks #3: Pull request #200 synchronize by kroening
November 30, 2023 18:09 57s verilog-enum
verilog-enum
November 30, 2023 18:09 57s
Verilog: rename elaborate_parameters to elaborate_constants Syntactic checks #2: Pull request #211 opened by kroening
November 30, 2023 18:06 1m 14s elaborate_constants
elaborate_constants
November 30, 2023 18:06 1m 14s
Add clang-format GitHub action Syntactic checks #1: Pull request #210 opened by tautschnig
November 30, 2023 10:00 1m 10s clang-format
clang-format
November 30, 2023 10:00 1m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.