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

bump CBMC dependency Build and Test HW-CBMC #1188: Pull request #367 opened by kroening
February 5, 2024 18:00 19m 43s bump-cbmc-smt2-assumptions
bump-cbmc-smt2-assumptions
February 5, 2024 18:00 19m 43s
Verilog: function/task ports Build and Test HW-CBMC #1187: Pull request #334 synchronize by kroening
February 5, 2024 14:16 1m 53s function_ports1
function_ports1
February 5, 2024 14:16 1m 53s
Merge pull request #366 from diffblue/verilog-replication Build and Test HW-CBMC #1186: Commit 0bc98d2 pushed by tautschnig
February 5, 2024 14:08 1m 38s main
main
February 5, 2024 14:08 1m 38s
Merge pull request #365 from diffblue/test-verilog-z3 Build and Test HW-CBMC #1185: Commit 570a301 pushed by tautschnig
February 5, 2024 14:08 1m 50s main
main
February 5, 2024 14:08 1m 50s
Merge pull request #364 from diffblue/verilog-fix-symbols Build and Test HW-CBMC #1184: Commit 9b1c261 pushed by tautschnig
February 5, 2024 14:07 1m 47s main
main
February 5, 2024 14:07 1m 47s
Verilog: clean up base_name vs identifier in declarators Build and Test HW-CBMC #1183: Pull request #364 synchronize by kroening
February 4, 2024 20:49 1m 25s verilog-fix-symbols
verilog-fix-symbols
February 4, 2024 20:49 1m 25s
Verilog: clean up base_name vs identifier in declarators Build and Test HW-CBMC #1182: Pull request #364 synchronize by kroening
February 4, 2024 20:48 1m 24s verilog-fix-symbols
verilog-fix-symbols
February 4, 2024 20:48 1m 24s
Verilog: function/task ports Build and Test HW-CBMC #1181: Pull request #334 synchronize by kroening
February 4, 2024 20:39 14m 49s function_ports1
function_ports1
February 4, 2024 20:39 14m 49s
Verilog: clean up base_name vs identifier in declarators Build and Test HW-CBMC #1180: Pull request #364 synchronize by kroening
February 4, 2024 18:20 1m 34s verilog-fix-symbols
verilog-fix-symbols
February 4, 2024 18:20 1m 34s
nuterm: add 'live' signal Build and Test HW-CBMC #1179: Pull request #347 synchronize by kroening
February 4, 2024 18:15 2m 14s live-signal
live-signal
February 4, 2024 18:15 2m 14s
Verilog: zero-count replication Build and Test HW-CBMC #1178: Pull request #366 synchronize by kroening
February 3, 2024 16:32 1m 26s verilog-replication
verilog-replication
February 3, 2024 16:32 1m 26s
Verilog: zero-count replication Build and Test HW-CBMC #1177: Pull request #366 opened by kroening
February 3, 2024 16:26 1m 31s verilog-replication
verilog-replication
February 3, 2024 16:26 1m 31s
CI: run the Verilog tests with Z3 Build and Test HW-CBMC #1176: Pull request #365 opened by kroening
February 3, 2024 16:23 1m 44s test-verilog-z3
test-verilog-z3
February 3, 2024 16:23 1m 44s
Verilog: clean up base_name vs identifier in declarators Build and Test HW-CBMC #1175: Pull request #364 opened by kroening
February 2, 2024 19:52 1m 37s verilog-fix-symbols
verilog-fix-symbols
February 2, 2024 19:52 1m 37s
Merge pull request #363 from diffblue/task-source-location Build and Test HW-CBMC #1174: Commit 2ba20d2 pushed by tautschnig
February 2, 2024 12:10 1m 24s main
main
February 2, 2024 12:10 1m 24s
Verilog: add source location for function/task symbols Build and Test HW-CBMC #1173: Pull request #363 opened by kroening
February 1, 2024 21:16 1m 39s task-source-location
task-source-location
February 1, 2024 21:16 1m 39s
Merge pull request #362 from diffblue/declaration-tests Build and Test HW-CBMC #1172: Commit 4ac2e38 pushed by tautschnig
February 1, 2024 20:08 1m 31s main
main
February 1, 2024 20:08 1m 31s
Verilog: add tests for combiations of declarations Build and Test HW-CBMC #1171: Pull request #362 synchronize by kroening
February 1, 2024 19:47 1m 20s declaration-tests
declaration-tests
February 1, 2024 19:47 1m 20s
Verilog: add tests for combiations of declarations Build and Test HW-CBMC #1170: Pull request #362 synchronize by kroening
February 1, 2024 19:45 1m 30s declaration-tests
declaration-tests
February 1, 2024 19:45 1m 30s
Verilog: add tests for combiations of declarations Build and Test HW-CBMC #1169: Pull request #362 synchronize by kroening
February 1, 2024 19:36 1m 26s declaration-tests
declaration-tests
February 1, 2024 19:36 1m 26s
Verilog: add tests for combiations of declarations Build and Test HW-CBMC #1168: Pull request #362 opened by kroening
February 1, 2024 19:19 1m 20s declaration-tests
declaration-tests
February 1, 2024 19:19 1m 20s
Merge pull request #359 from diffblue/elaborate-wire Build and Test HW-CBMC #1167: Commit 8e5fe44 pushed by kroening
February 1, 2024 19:05 1m 28s main
main
February 1, 2024 19:05 1m 28s
Verilog: elaborate wire symbols Build and Test HW-CBMC #1166: Pull request #359 synchronize by kroening
February 1, 2024 19:02 1m 25s elaborate-wire
elaborate-wire
February 1, 2024 19:02 1m 25s
Merge pull request #361 from diffblue/elaborate-functions Build and Test HW-CBMC #1165: Commit 93323f0 pushed by kroening
February 1, 2024 19:00 1m 52s main
main
February 1, 2024 19:00 1m 52s
Verilog: elaborate functions and tasks Build and Test HW-CBMC #1164: Pull request #361 synchronize by kroening
February 1, 2024 18:58 1m 37s elaborate-functions
elaborate-functions
February 1, 2024 18:58 1m 37s