Skip to content

Actions: diffblue/hw-cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
syntax-checks.yaml
1,928 workflow runs
1,928 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ebmc: revise property status output Syntactic checks #97: Pull request #259 opened by kroening
December 6, 2023 19:53 1m 38s property-status
property-status
December 6, 2023 19:53 1m 38s
ebmc: Downgrade level of progress output during unwinding Syntactic checks #96: Pull request #258 synchronize by kroening
December 6, 2023 15:54 53s unwind-progress
unwind-progress
December 6, 2023 15:54 53s
ebmc: Downgrade level of progress output during unwinding Syntactic checks #95: Pull request #258 synchronize by kroening
December 6, 2023 15:51 1m 4s unwind-progress
unwind-progress
December 6, 2023 15:51 1m 4s
ebmc: Downgrade level of progress output during unwinding Syntactic checks #94: Pull request #258 synchronize by kroening
December 6, 2023 15:35 58s unwind-progress
unwind-progress
December 6, 2023 15:35 58s
ebmc: Downgrade level of progress output during unwinding Syntactic checks #93: Pull request #258 synchronize by kroening
December 6, 2023 15:34 58s unwind-progress
unwind-progress
December 6, 2023 15:34 58s
ebmc: Downgrade level of progress output during unwinding Syntactic checks #92: Pull request #258 opened by kroening
December 6, 2023 15:34 55s unwind-progress
unwind-progress
December 6, 2023 15:34 55s
ebmc: help for --random-trace and --random-waveform Syntactic checks #91: Pull request #257 opened by kroening
December 6, 2023 15:25 59s random-trace-help
random-trace-help
December 6, 2023 15:25 59s
ebmc: add a test for 1-induction Syntactic checks #90: Pull request #256 opened by kroening
December 6, 2023 15:25 58s k-induction4
k-induction4
December 6, 2023 15:25 58s
ebmc: random traces with waveform output Syntactic checks #89: Pull request #255 opened by kroening
December 6, 2023 12:40 1m 9s random-traces-waveform
random-traces-waveform
December 6, 2023 12:40 1m 9s
nuTerm for VCDs Syntactic checks #88: Pull request #243 synchronize by tautschnig
December 6, 2023 10:50 1m 5s nuterm
nuterm
December 6, 2023 10:50 1m 5s
Verilog: fix nested hierarchical identifiers Syntactic checks #87: Pull request #254 synchronize by kroening
December 6, 2023 01:02 1m 4s hierarchical_identifiers2
hierarchical_identifiers2
December 6, 2023 01:02 1m 4s
Verilog: fix nested hierarchical identifiers Syntactic checks #86: Pull request #254 opened by kroening
December 6, 2023 00:45 1m 28s hierarchical_identifiers2
hierarchical_identifiers2
December 6, 2023 00:45 1m 28s
ebmc: add --random-waveform and --random-trace Syntactic checks #85: Pull request #253 synchronize by kroening
December 5, 2023 22:15 1m 13s random-waveform
random-waveform
December 5, 2023 22:15 1m 13s
ebmc: add --random-waveform and --random-trace Syntactic checks #84: Pull request #253 synchronize by kroening
December 5, 2023 22:12 1m 3s random-waveform
random-waveform
December 5, 2023 22:12 1m 3s
ebmc: add --random-waveform and --random-trace Syntactic checks #83: Pull request #253 opened by kroening
December 5, 2023 21:53 58s random-waveform
random-waveform
December 5, 2023 21:53 58s
synthesise command-line expressions Syntactic checks #82: Pull request #251 synchronize by kroening
December 5, 2023 21:05 1m 3s verilog_synthesis_expr
verilog_synthesis_expr
December 5, 2023 21:05 1m 3s
ebmc: test for lexicographic ranking functions Syntactic checks #81: Pull request #252 opened by kroening
December 5, 2023 20:53 58s lex
lex
December 5, 2023 20:53 58s
synthesise command-line expressions Syntactic checks #80: Pull request #251 synchronize by kroening
December 5, 2023 19:53 1m 1s verilog_synthesis_expr
verilog_synthesis_expr
December 5, 2023 19:53 1m 1s
ebmc: add a KNOWNBUG test for checking a ranking function with hierarchical identifier Syntactic checks #79: Pull request #250 synchronize by kroening
December 5, 2023 19:52 1m 22s counter_in_module1
counter_in_module1
December 5, 2023 19:52 1m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.