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

Engine heuristic: fix for assumptions unsupported by k-induction Syntactic checks #1928: Pull request #923 synchronize by kroening
January 7, 2025 12:18 1m 38s k-induction6-fix
k-induction6-fix
January 7, 2025 12:18 1m 38s
vlindex: fix parsing for constraint_block Syntactic checks #1927: Pull request #924 opened by kroening
January 6, 2025 18:38 1m 27s vlindex-constraint_block
vlindex-constraint_block
January 6, 2025 18:38 1m 27s
Engine heuristic: fix for assumptions unsupported by k-induction Syntactic checks #1926: Pull request #923 opened by kroening
January 6, 2025 18:20 1m 35s k-induction6-fix
k-induction6-fix
January 6, 2025 18:20 1m 35s
KNOWNBUG test for engine heuristic Syntactic checks #1925: Pull request #922 synchronize by kroening
January 6, 2025 18:08 1m 25s k-induction6
k-induction6
January 6, 2025 18:08 1m 25s
KNOWNBUG test for engine heuristic Syntactic checks #1924: Pull request #922 opened by kroening
January 6, 2025 17:44 2m 37s k-induction6
k-induction6
January 6, 2025 17:44 2m 37s
liveness engine Syntactic checks #1923: Pull request #915 synchronize by kroening
January 3, 2025 15:17 2m 35s liveness_engine
liveness_engine
January 3, 2025 15:17 2m 35s
liveness engine Syntactic checks #1922: Pull request #915 synchronize by kroening
January 3, 2025 15:01 1m 29s liveness_engine
liveness_engine
January 3, 2025 15:01 1m 29s
EBMC: basic engine selection heuristic Syntactic checks #1921: Pull request #896 synchronize by kroening
January 3, 2025 14:56 1m 28s engine-heuristic
engine-heuristic
January 3, 2025 14:56 1m 28s
EBMC: basic engine selection heuristic Syntactic checks #1920: Pull request #896 synchronize by kroening
January 3, 2025 13:18 7m 42s engine-heuristic
engine-heuristic
January 3, 2025 13:18 7m 42s
SystemVerilog: associative arrays Syntactic checks #1919: Pull request #917 synchronize by kroening
January 3, 2025 13:13 4m 39s verilog_associative_array
verilog_associative_array
January 3, 2025 13:13 4m 39s
EBMC: basic engine selection heuristic Syntactic checks #1918: Pull request #896 synchronize by kroening
January 3, 2025 13:12 2m 9s engine-heuristic
engine-heuristic
January 3, 2025 13:12 2m 9s
SystemVerilog: string data type Syntactic checks #1917: Pull request #838 synchronize by kroening
January 3, 2025 13:06 1m 29s verilog_string
verilog_string
January 3, 2025 13:06 1m 29s
SystemVerilog: event data type Syntactic checks #1916: Pull request #839 synchronize by kroening
January 3, 2025 13:03 2m 36s verilog_event
verilog_event
January 3, 2025 13:03 2m 36s
SystemVerilog: event data type Syntactic checks #1915: Pull request #839 synchronize by kroening
January 3, 2025 13:00 1m 30s verilog_event
verilog_event
January 3, 2025 13:00 1m 30s
SystemVerilog: string data type Syntactic checks #1914: Pull request #838 synchronize by kroening
January 3, 2025 12:44 1m 33s verilog_string
verilog_string
January 3, 2025 12:44 1m 33s
SystemVerilog: event data type Syntactic checks #1913: Pull request #839 synchronize by kroening
January 3, 2025 12:42 1m 29s verilog_event
verilog_event
January 3, 2025 12:42 1m 29s
SystemVerilog: chandle data type Syntactic checks #1912: Pull request #837 synchronize by kroening
January 3, 2025 12:41 1m 29s chandle
chandle
January 3, 2025 12:41 1m 29s
SystemVerilog: chandle data type Syntactic checks #1911: Pull request #837 synchronize by kroening
January 3, 2025 12:30 1m 29s chandle
chandle
January 3, 2025 12:30 1m 29s
SystemVerilog: chandle data type Syntactic checks #1910: Pull request #837 synchronize by kroening
January 3, 2025 12:29 1m 31s chandle
chandle
January 3, 2025 12:29 1m 31s
SystemVerilog: conversion functions Syntactic checks #1909: Pull request #894 synchronize by kroening
January 3, 2025 12:23 2m 15s verilog-conversion-functions
verilog-conversion-functions
January 3, 2025 12:23 2m 15s
SystemVerilog: conversion functions Syntactic checks #1908: Pull request #894 synchronize by kroening
January 3, 2025 12:14 1m 27s verilog-conversion-functions
verilog-conversion-functions
January 3, 2025 12:14 1m 27s
SystemVerilog: delay expansion of string literals Syntactic checks #1907: Pull request #913 synchronize by kroening
January 3, 2025 12:12 1m 27s verilog-string-literals
verilog-string-literals
January 3, 2025 12:12 1m 27s
SystemVerilog: delay expansion of string literals Syntactic checks #1906: Pull request #913 synchronize by kroening
January 3, 2025 12:09 1m 32s verilog-string-literals
verilog-string-literals
January 3, 2025 12:09 1m 32s
fixup! IC3: better error message when given assumption Syntactic checks #1905: Pull request #920 synchronize by tautschnig
January 3, 2025 10:55 1m 28s ic3-fix
ic3-fix
January 3, 2025 10:55 1m 28s
fixup! IC3: better error message when given assumption Syntactic checks #1904: Pull request #920 opened by tautschnig
January 3, 2025 10:20 1m 27s ic3-fix
ic3-fix
January 3, 2025 10:20 1m 27s