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: fix string literals Syntactic checks #122: Pull request #269 opened by kroening
December 10, 2023 13:38 54s verilog-string
verilog-string
December 10, 2023 13:38 54s
Verilog: parameters may be typed Syntactic checks #121: Pull request #268 opened by kroening
December 10, 2023 00:25 1m 5s parameter-types
parameter-types
December 10, 2023 00:25 1m 5s
Verilog enum Syntactic checks #120: Pull request #200 synchronize by kroening
December 9, 2023 21:08 1m 0s verilog-enum
verilog-enum
December 9, 2023 21:08 1m 0s
ebmc: test for k-induction with both refuted and proved property Syntactic checks #119: Pull request #266 synchronize by kroening
December 9, 2023 19:33 57s k-induction5
k-induction5
December 9, 2023 19:33 57s
ebmc: offer k-induction interface Syntactic checks #118: Pull request #267 opened by kroening
December 9, 2023 19:32 1m 4s extract-k-induction
extract-k-induction
December 9, 2023 19:32 1m 4s
ebmc: test for k-induction with both refuted and proved property Syntactic checks #117: Pull request #266 opened by kroening
December 9, 2023 19:32 55s k-induction5
k-induction5
December 9, 2023 19:32 55s
ebmc: fix -p command line option Syntactic checks #116: Pull request #264 synchronize by kroening
December 9, 2023 17:44 1m 4s p-command-line-option1
p-command-line-option1
December 9, 2023 17:44 1m 4s
ebmc: liveness to safety translation Syntactic checks #115: Pull request #116 synchronize by kroening
December 9, 2023 16:54 53s liveness-to-safety
liveness-to-safety
December 9, 2023 16:54 53s
ebmc: liveness to safety translation Syntactic checks #114: Pull request #116 synchronize by kroening
December 9, 2023 16:50 59s liveness-to-safety
liveness-to-safety
December 9, 2023 16:50 59s
ebmc: move transition system printing code to its class Syntactic checks #113: Pull request #265 opened by kroening
December 9, 2023 16:00 1m 17s transition_systemt_output
transition_systemt_output
December 9, 2023 16:00 1m 17s
ebmc: fix -p command line option Syntactic checks #112: Pull request #264 synchronize by kroening
December 9, 2023 14:03 58s p-command-line-option1
p-command-line-option1
December 9, 2023 14:03 58s
ebmc: fix -p command line option Syntactic checks #111: Pull request #264 opened by kroening
December 9, 2023 13:17 54s p-command-line-option1
p-command-line-option1
December 9, 2023 13:17 54s
ebmc: liveness to safety translation Syntactic checks #110: Pull request #116 synchronize by kroening
December 8, 2023 23:50 53s liveness-to-safety
liveness-to-safety
December 8, 2023 23:50 53s
ebmc: liveness to safety translation Syntactic checks #109: Pull request #116 synchronize by kroening
December 8, 2023 19:59 1m 29s liveness-to-safety
liveness-to-safety
December 8, 2023 19:59 1m 29s
ebmc: transition_systemt does not need optional transt Syntactic checks #108: Pull request #263 synchronize by kroening
December 8, 2023 19:51 58s trans_expr_not_optional
trans_expr_not_optional
December 8, 2023 19:51 58s
ebmc: transition_systemt does not need optional transt Syntactic checks #107: Pull request #263 opened by kroening
December 8, 2023 19:51 1m 23s trans_expr_not_optional
trans_expr_not_optional
December 8, 2023 19:51 1m 23s
ebmc: liveness to safety translation Syntactic checks #106: Pull request #116 synchronize by kroening
December 8, 2023 19:21 59s liveness-to-safety
liveness-to-safety
December 8, 2023 19:21 59s
Verilog OVL URL Syntactic checks #105: Pull request #262 synchronize by kroening
December 8, 2023 17:37 1m 20s verilog-OVL-URL
verilog-OVL-URL
December 8, 2023 17:37 1m 20s
Verilog OVL URL Syntactic checks #104: Pull request #262 opened by kroening
December 8, 2023 17:36 1m 24s verilog-OVL-URL
verilog-OVL-URL
December 8, 2023 17:36 1m 24s
Verilog: rename token for identifiers Syntactic checks #103: Pull request #261 opened by kroening
December 8, 2023 17:28 1m 34s verilog-identifier-token
verilog-identifier-token
December 8, 2023 17:28 1m 34s
Verilog: propagate constants of any type during synthesis Syntactic checks #102: Pull request #248 synchronize by kroening
December 8, 2023 15:10 1m 23s synth-values-expr2
synth-values-expr2
December 8, 2023 15:10 1m 23s
Verilog: propagate constants of any type during synthesis Syntactic checks #101: Pull request #248 synchronize by kroening
December 8, 2023 14:33 1m 1s synth-values-expr2
synth-values-expr2
December 8, 2023 14:33 1m 1s
Verilog: propagate constants of any type during synthesis Syntactic checks #100: Pull request #248 synchronize by kroening
December 7, 2023 16:14 53s synth-values-expr2
synth-values-expr2
December 7, 2023 16:14 53s
ebmc: add lexicographic ranking function test Syntactic checks #99: Pull request #260 opened by kroening
December 6, 2023 22:50 1m 5s clock24h
clock24h
December 6, 2023 22:50 1m 5s
ebmc: revise property status output Syntactic checks #98: Pull request #259 synchronize by kroening
December 6, 2023 19:56 1m 44s property-status
property-status
December 6, 2023 19:56 1m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-12-06 or the other filters available.