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

Verilog: parse fork...join_any and fork...join_none
#1950 opened Jun 28, 2026 by kroening Collaborator Draft
1 task done
Verilog: handle deassign, release, and disable in convert_statement
#1949 opened Jun 28, 2026 by kroening Collaborator Draft
1 task done
Verilog: support dynamic array declarators in merged_type
#1948 opened Jun 28, 2026 by kroening Collaborator Draft
1 task done
Verilog: handle streaming concatenation with multiple stream expressions
#1947 opened Jun 28, 2026 by kroening Collaborator Draft
1 task done
Verilog: skip method calls in convert_function_call_or_task_enable
#1946 opened Jun 28, 2026 by kroening Collaborator Draft
1 task done
Verilog: add missing statement types to collect_symbols
#1945 opened Jun 28, 2026 by kroening Collaborator Draft
1 task done
Add vlsim: Verilog simulator using the src/verilog front-end
#1942 opened Jun 28, 2026 by kroening Collaborator Loading…
5 tasks
BTOR2: implement sdivo and udivo overflow operators
#1939 opened Jun 27, 2026 by kroening Collaborator Loading…
3 tasks
AIGER: KNOWNBUG tests for front-end bugs found by fuzzing
#1935 opened Jun 27, 2026 by kroening Collaborator Loading…
AIGER output
#1928 opened Jun 21, 2026 by kroening Collaborator Draft
fastppa: word-level delay, area, and power estimation tool
#1927 opened Jun 21, 2026 by kroening Collaborator Loading…
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
9 tasks done
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…
ProTip! Adding no:label will show everything without a label.