Skip to content

Actions: diffblue/hw-cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,739 workflow runs
4,739 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1478 from diffblue/assign_next1 Build and Test HW-CBMC #5340: Commit 618dd08 pushed by tautschnig
6m 37s main
main
6m 37s
Merge pull request #1479 from diffblue/show-modules-smv Build and Test HW-CBMC #5339: Commit b349279 pushed by tautschnig
7m 2s main
main
7m 2s
Merge pull request #1480 from diffblue/verilog-bitwise-tests Build and Test HW-CBMC #5338: Commit 81116d5 pushed by tautschnig
6m 58s main
main
6m 58s
Tests for Verilog bitwise operators Syntactic checks #3534: Pull request #1480 opened by kroening
1m 35s verilog-bitwise-tests
verilog-bitwise-tests
1m 35s
Tests for Verilog bitwise operators Build and Test HW-CBMC #5337: Pull request #1480 opened by kroening
11m 1s verilog-bitwise-tests
verilog-bitwise-tests
11m 1s
Implement --show-modules for SMV Build and Test HW-CBMC #5336: Pull request #1479 opened by kroening
2m 57s show-modules-smv
show-modules-smv
2m 57s
Implement --show-modules for SMV Syntactic checks #3533: Pull request #1479 opened by kroening
1m 30s show-modules-smv
show-modules-smv
1m 30s
SMV: test for next(...) in rhs of ASSIGN next(...) Build and Test HW-CBMC #5335: Pull request #1478 opened by kroening
6m 42s assign_next1
assign_next1
6m 42s
SMV: test for next(...) in rhs of ASSIGN next(...) Syntactic checks #3532: Pull request #1478 opened by kroening
1m 30s assign_next1
assign_next1
1m 30s
Merge pull request #1476 from diffblue/aval-bval-zero-extend Build and Test HW-CBMC #5334: Commit 22d6e48 pushed by tautschnig
9m 2s main
main
9m 2s
Merge pull request #1477 from diffblue/smv-no-next-allowed Build and Test HW-CBMC #5333: Commit 7efdbb7 pushed by tautschnig
8m 13s main
main
8m 13s
SMV: check for cases of disallowed next Syntactic checks #3531: Pull request #1477 synchronize by kroening
6m 59s smv-no-next-allowed
smv-no-next-allowed
6m 59s
SMV: check for cases of disallowed next Build and Test HW-CBMC #5332: Pull request #1477 synchronize by kroening
7m 10s smv-no-next-allowed
smv-no-next-allowed
7m 10s
SMV: check for cases of disallowed next Build and Test HW-CBMC #5331: Pull request #1477 opened by kroening
8m 0s smv-no-next-allowed
smv-no-next-allowed
8m 0s
SMV: check for cases of disallowed next Syntactic checks #3530: Pull request #1477 opened by kroening
1m 26s smv-no-next-allowed
smv-no-next-allowed
1m 26s
netlist conversion: replace recursion by explicit stack Syntactic checks #3529: Pull request #1373 synchronize by kroening
1m 32s trans-netlist-explicit-stack
trans-netlist-explicit-stack
1m 32s
netlist conversion: replace recursion by explicit stack Build and Test HW-CBMC #5330: Pull request #1373 synchronize by kroening
7m 8s trans-netlist-explicit-stack
trans-netlist-explicit-stack
7m 8s
Verilog: aval/bval encoding for zero extension Syntactic checks #3528: Pull request #1476 synchronize by kroening
1m 35s aval-bval-zero-extend
aval-bval-zero-extend
1m 35s
Verilog: aval/bval encoding for zero extension Build and Test HW-CBMC #5329: Pull request #1476 synchronize by kroening
9m 12s aval-bval-zero-extend
aval-bval-zero-extend
9m 12s
Merge pull request #1468 from diffblue/self1 Build and Test HW-CBMC #5328: Commit f4f5c9e pushed by tautschnig
8m 7s main
main
8m 7s
KNOWNBUG test for SMV's self Syntactic checks #3527: Pull request #1468 synchronize by tautschnig
1m 37s self1
self1
1m 37s
KNOWNBUG test for SMV's self Build and Test HW-CBMC #5327: Pull request #1468 synchronize by tautschnig
8m 31s self1
self1
8m 31s
KNOWNBUG test for SMV's self Build and Test HW-CBMC #5326: Pull request #1468 synchronize by tautschnig
7m 47s self1
self1
7m 47s
KNOWNBUG test for SMV's self Syntactic checks #3526: Pull request #1468 synchronize by tautschnig
1m 29s self1
self1
1m 29s
Merge pull request #1475 from diffblue/smv-netlist-iff Build and Test HW-CBMC #5325: Commit b357ced pushed by tautschnig
8m 10s main
main
8m 10s