Skip to content

Actions: diffblue/hw-cbmc

Actions

Build and Test HW-CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,009 workflow run results
1,009 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verilog: reorder grammar to match 1800-2017 Build and Test HW-CBMC #1238: Pull request #380 opened by kroening
February 26, 2024 23:59 2m 6s verilog-grammar-ordering
verilog-grammar-ordering
February 26, 2024 23:59 2m 6s
Merge pull request #379 from diffblue/smv-pretty-name Build and Test HW-CBMC #1237: Commit e2358bb pushed by tautschnig
February 22, 2024 08:14 1m 44s main
main
February 22, 2024 08:14 1m 44s
Merge pull request #377 from diffblue/verilog-use-enum-names Build and Test HW-CBMC #1236: Commit 842a9f3 pushed by kroening
February 21, 2024 22:40 1m 46s main
main
February 21, 2024 22:40 1m 46s
Verilog: use enum names when pretty-printing enum constants Build and Test HW-CBMC #1235: Pull request #377 synchronize by kroening
February 21, 2024 22:37 1m 37s verilog-use-enum-names
verilog-use-enum-names
February 21, 2024 22:37 1m 37s
SMV: add a pretty name Build and Test HW-CBMC #1234: Pull request #379 opened by kroening
February 21, 2024 22:35 1m 35s smv-pretty-name
smv-pretty-name
February 21, 2024 22:35 1m 35s
Verilog: use enum names when pretty-printing enum constants Build and Test HW-CBMC #1233: Pull request #377 synchronize by kroening
February 21, 2024 21:47 1m 43s verilog-use-enum-names
verilog-use-enum-names
February 21, 2024 21:47 1m 43s
Verilog: use enum names when pretty-printing enum constants Build and Test HW-CBMC #1232: Pull request #377 synchronize by kroening
February 21, 2024 19:00 1m 40s verilog-use-enum-names
verilog-use-enum-names
February 21, 2024 19:00 1m 40s
Verilog: use enum names when pretty-printing enum constants Build and Test HW-CBMC #1231: Pull request #377 synchronize by kroening
February 21, 2024 18:53 1m 48s verilog-use-enum-names
verilog-use-enum-names
February 21, 2024 18:53 1m 48s
Merge pull request #378 from diffblue/dependent-enum-constants Build and Test HW-CBMC #1230: Commit 3678a7e pushed by kroening
February 21, 2024 18:30 1m 39s main
main
February 21, 2024 18:30 1m 39s
Verilog: enum constants may depend on elaboration-time constants Build and Test HW-CBMC #1229: Pull request #378 synchronize by kroening
February 21, 2024 18:27 1m 51s dependent-enum-constants
dependent-enum-constants
February 21, 2024 18:27 1m 51s
Merge pull request #347 from diffblue/live-signal Build and Test HW-CBMC #1228: Commit e701479 pushed by tautschnig
February 21, 2024 18:08 1m 37s main
main
February 21, 2024 18:08 1m 37s
Verilog: enum constants may depend on elaboration-time constants Build and Test HW-CBMC #1227: Pull request #378 synchronize by kroening
February 21, 2024 17:54 1m 28s dependent-enum-constants
dependent-enum-constants
February 21, 2024 17:54 1m 28s
Verilog: enum constants may depend on elaboration-time constants Build and Test HW-CBMC #1226: Pull request #378 opened by kroening
February 21, 2024 17:49 2m 1s dependent-enum-constants
dependent-enum-constants
February 21, 2024 17:49 2m 1s
Merge pull request #374 from diffblue/consolidate-enum-tests Build and Test HW-CBMC #1225: Commit 3a3cb95 pushed by tautschnig
February 21, 2024 13:24 2m 4s main
main
February 21, 2024 13:24 2m 4s
Merge pull request #376 from diffblue/enum_base_type2 Build and Test HW-CBMC #1224: Commit cbc268e pushed by tautschnig
February 21, 2024 13:23 1m 43s main
main
February 21, 2024 13:23 1m 43s
Merge pull request #375 from diffblue/enum_with_hierarchy1 Build and Test HW-CBMC #1223: Commit a3573b5 pushed by tautschnig
February 21, 2024 13:23 1m 28s main
main
February 21, 2024 13:23 1m 28s
Verilog: use enum names when pretty-printing enum constants Build and Test HW-CBMC #1222: Pull request #377 opened by kroening
February 21, 2024 13:13 1m 38s verilog-use-enum-names
verilog-use-enum-names
February 21, 2024 13:13 1m 38s
Verilog: KNOWNBUG test for enum base type that depends on parameter Build and Test HW-CBMC #1221: Pull request #376 opened by kroening
February 21, 2024 13:13 1m 38s enum_base_type2
enum_base_type2
February 21, 2024 13:13 1m 38s
Verilog: add KNOWNBUG test for enums in module hierarchy Build and Test HW-CBMC #1220: Pull request #375 opened by kroening
February 20, 2024 15:57 1m 32s enum_with_hierarchy1
enum_with_hierarchy1
February 20, 2024 15:57 1m 32s
Verilog: move enum-related tests into separate directory Build and Test HW-CBMC #1219: Pull request #374 opened by kroening
February 20, 2024 15:50 1m 29s consolidate-enum-tests
consolidate-enum-tests
February 20, 2024 15:50 1m 29s
Merge pull request #373 from diffblue/verilog-enum-decay Build and Test HW-CBMC #1218: Commit 9e2e50e pushed by tautschnig
February 20, 2024 14:26 16m 10s main
main
February 20, 2024 14:26 16m 10s
Verilog: enums decay when used in relational/arithmetic operators Build and Test HW-CBMC #1217: Pull request #373 opened by kroening
February 20, 2024 14:11 15m 44s verilog-enum-decay
verilog-enum-decay
February 20, 2024 14:11 15m 44s
Merge pull request #371 from diffblue/strong-enum-typing Build and Test HW-CBMC #1216: Commit bb75939 pushed by kroening
February 12, 2024 15:48 15m 9s main
main
February 12, 2024 15:48 15m 9s
Verilog: strong typing for enums Build and Test HW-CBMC #1215: Pull request #371 synchronize by kroening
February 12, 2024 15:45 1m 33s strong-enum-typing
strong-enum-typing
February 12, 2024 15:45 1m 33s
Merge pull request #372 from diffblue/vector_types1 Build and Test HW-CBMC #1214: Commit 63c6f4b pushed by tautschnig
February 12, 2024 12:41 1m 35s main
main
February 12, 2024 12:41 1m 35s