Skip to content

Pull requests: diffblue/hw-cbmc

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bump actions/checkout from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1931 opened Jun 22, 2026 by dependabot Bot Loading…
Verilog: support for $value$plusargs
#1929 opened Jun 21, 2026 by kroening Collaborator Loading…
AIGER output
#1928 opened Jun 21, 2026 by kroening Collaborator Draft
Verilog: support for let expressions with ports
#1925 opened Jun 21, 2026 by kroening Collaborator Draft
SystemVerilog: named sequence/property ports Verilog
#1923 opened Jun 21, 2026 by kroening Collaborator Draft
Verilog: preresolving identifiers Verilog
#1921 opened Jun 20, 2026 by kroening Collaborator Draft
introduce verilog_let_typet Verilog
#1919 opened Jun 20, 2026 by kroening Collaborator Draft
Verilog: SystemVerilog interfaces
#1907 opened Jun 18, 2026 by kroening Collaborator Draft
module types now contain the symbol set Verilog
#1869 opened May 24, 2026 by kroening Collaborator Draft
RFC: pyebmc Python bindings design
#1848 opened May 10, 2026 by kroening Collaborator Loading…
Verilog: grammar for classes Verilog
#1842 opened May 4, 2026 by kroening Collaborator Draft
bump cbmc dependency dependencies Pull requests that update a dependency file
#1839 opened Apr 30, 2026 by kroening Collaborator Draft
New IC3/PDR engine
#1817 opened Apr 21, 2026 by kroening Collaborator Draft
Verilog: grammar for programs Verilog
#1811 opened Apr 18, 2026 by kroening Collaborator Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.