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
2,509 workflow runs
2,509 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

BDD engine: transform SVA to LTL, then LTL to CTL Build and Test HW-CBMC #3898: Pull request #1096 synchronize by kroening
May 3, 2025 22:20 7m 18s bdd-sva-via-ltl
bdd-sva-via-ltl
May 3, 2025 22:20 7m 18s
extract SVA_to_LTL(exprt) into a separate file Build and Test HW-CBMC #3897: Pull request #1098 opened by kroening
May 3, 2025 02:36 2m 56s extract-SVA_to_LTL
extract-SVA_to_LTL
May 3, 2025 02:36 2m 56s
SMV netlists: use TRUE/FALSE instead of 1/0 Build and Test HW-CBMC #3896: Pull request #1097 synchronize by kroening
May 2, 2025 22:25 6m 58s smv-netlist-true-false
smv-netlist-true-false
May 2, 2025 22:25 6m 58s
SMV netlists: use TRUE/FALSE instead of 1/0 Build and Test HW-CBMC #3895: Pull request #1097 opened by kroening
May 2, 2025 22:23 3m 30s smv-netlist-true-false
smv-netlist-true-false
May 2, 2025 22:23 3m 30s
BDD engine: transform SVA to LTL, then LTL to CTL Build and Test HW-CBMC #3894: Pull request #1096 synchronize by kroening
May 2, 2025 21:35 14m 40s bdd-sva-via-ltl
bdd-sva-via-ltl
May 2, 2025 21:35 14m 40s
BDD engine: transform SVA to LTL, then LTL to CTL Build and Test HW-CBMC #3893: Pull request #1096 opened by kroening
May 2, 2025 21:29 4m 21s bdd-sva-via-ltl
bdd-sva-via-ltl
May 2, 2025 21:29 4m 21s
implement NNF for SVA s_always Build and Test HW-CBMC #3892: Pull request #1095 opened by kroening
May 2, 2025 17:16 6m 28s s_always1
s_always1
May 2, 2025 17:16 6m 28s
SMV: convert typecasts to SMV Build and Test HW-CBMC #3891: Pull request #1094 synchronize by kroening
May 1, 2025 00:47 8m 43s expr2smv-typecast
expr2smv-typecast
May 1, 2025 00:47 8m 43s
SMV: convert typecasts to SMV Build and Test HW-CBMC #3890: Pull request #1094 opened by kroening
May 1, 2025 00:26 2m 31s expr2smv-typecast
expr2smv-typecast
May 1, 2025 00:26 2m 31s
SMV: introduce classes for extend, resize, signed, unsigned Build and Test HW-CBMC #3889: Pull request #1093 synchronize by kroening
May 1, 2025 00:19 6m 28s smv_expr_h
smv_expr_h
May 1, 2025 00:19 6m 28s
SMV: introduce classes for extend, resize, signed, unsigned Build and Test HW-CBMC #3888: Pull request #1093 opened by kroening
May 1, 2025 00:10 6m 23s smv_expr_h
smv_expr_h
May 1, 2025 00:10 6m 23s
SVA [*...] for sequence operands Build and Test HW-CBMC #3887: Pull request #1092 synchronize by kroening
April 30, 2025 16:59 7m 9s sequence_repetition7
sequence_repetition7
April 30, 2025 16:59 7m 9s
SVA [*...] for sequence operands Build and Test HW-CBMC #3886: Pull request #1092 opened by kroening
April 30, 2025 16:51 3m 40s sequence_repetition7
sequence_repetition7
April 30, 2025 16:51 3m 40s
Merge pull request #1090 from diffblue/sva_sequence_repetition Build and Test HW-CBMC #3885: Commit f20c412 pushed by kroening
April 30, 2025 16:13 18m 51s main
main
April 30, 2025 16:13 18m 51s
use sva_sequence_repetition_exprt for [*] and [+] Build and Test HW-CBMC #3884: Pull request #1090 synchronize by kroening
April 29, 2025 19:59 19m 1s sva_sequence_repetition
sva_sequence_repetition
April 29, 2025 19:59 19m 1s
Merge pull request #1088 from diffblue/smv-binary-precedence Build and Test HW-CBMC #3883: Commit 86f6cd1 pushed by tautschnig
April 29, 2025 19:26 19m 9s main
main
April 29, 2025 19:26 19m 9s
Merge pull request #1079 from diffblue/sva-seq-range Build and Test HW-CBMC #3882: Commit 07be4ff pushed by tautschnig
April 29, 2025 19:24 18m 55s main
main
April 29, 2025 19:24 18m 55s
Merge pull request #1091 from diffblue/bump-cbmc Build and Test HW-CBMC #3881: Commit ec600da pushed by tautschnig
April 29, 2025 19:23 18m 5s main
main
April 29, 2025 19:23 18m 5s
bump CBMC to 6.6.0 Build and Test HW-CBMC #3880: Pull request #1091 synchronize by kroening
April 29, 2025 18:14 18m 12s bump-cbmc
bump-cbmc
April 29, 2025 18:14 18m 12s
bump CBMC to 6.6.0 Build and Test HW-CBMC #3879: Pull request #1091 opened by kroening
April 29, 2025 18:13 17m 59s bump-cbmc
bump-cbmc
April 29, 2025 18:13 17m 59s
SVA/LTL property instrumentation Build and Test HW-CBMC #3878: Pull request #797 synchronize by kroening
April 28, 2025 00:25 3m 51s instrument_property
instrument_property
April 28, 2025 00:25 3m 51s
aval/bval lowering for reduction operators Build and Test HW-CBMC #3877: Pull request #930 synchronize by kroening
April 28, 2025 00:20 6m 46s reduction3
reduction3
April 28, 2025 00:20 6m 46s
SystemVerilog: declarations in named blocks in tasks/functions Build and Test HW-CBMC #3876: Pull request #970 synchronize by kroening
April 28, 2025 00:19 8m 17s named_block1-fix
named_block1-fix
April 28, 2025 00:19 8m 17s
SystemVerilog: create identifier expressions in scanner Build and Test HW-CBMC #3875: Pull request #953 synchronize by kroening
April 27, 2025 19:48 16m 39s identifier-tokens2
identifier-tokens2
April 27, 2025 19:48 16m 39s
SVA's [->x:y] and [=x:y] Build and Test HW-CBMC #3874: Pull request #1079 synchronize by kroening
April 26, 2025 18:19 11m 44s sva-seq-range
sva-seq-range
April 26, 2025 18:19 11m 44s