Skip to content

Pull requests: diffblue/hw-cbmc

New pull request New
105 Open 1,840 Closed
105 Open 1,840 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix unsound fairness handling in liveness-to-safety translation engines
#2022 opened Jul 17, 2026 by kroening Collaborator • Draft
1
CI: run ebmc over the LogikBench circuits and publish a report
#2021 opened Jul 16, 2026 by kroening Collaborator Loading…
new IC3: recycle frame solvers after 2000 queries
#2020 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: improved obligation priority and activity decay
#2019 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: eager clause pushing in blocking and propagation
#2018 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: parent-lemma optimization and MIC_FAIL_MAX increase
#2017 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: polarity hinting for frame solvers
#2016 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: enable CTG with budget and EXCTG
#2015 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: restrict SAT solver decisions to latch and input variables
#2014 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
new IC3: handle netlist invariant constraints
#2013 opened Jul 16, 2026 by kroening Collaborator Loading…
2 tasks done
hw-cbmc: use CPROVER_EXIT_* constants instead of magic exit codes cleanup engines
#2011 opened Jul 16, 2026 by kroening Collaborator Loading…
hw-cbmc: make register_languages a proper override
#2010 opened Jul 16, 2026 by kroening Collaborator • Draft
hw-cbmc: remove dead transition-system trace code
#2009 opened Jul 16, 2026 by kroening Collaborator Loading…
hw-cbmc: re-enable --vcd
#2008 opened Jul 16, 2026 by kroening Collaborator • Draft
Temporal Logic: fix s_until_with lowering for BDD
#2006 opened Jul 13, 2026 by kroening Collaborator Loading…
Verilog: fix strong release in word-level BMC
#2005 opened Jul 13, 2026 by kroening Collaborator Loading…
BDD: ignore finite deadend branches in AG engines
#2004 opened Jul 13, 2026 by kroening Collaborator • Draft
Temporal logic: restrict LTL_to_CTL to common fragment engines
#2003 opened Jul 13, 2026 by kroening Collaborator Loading…
1
BDD: add AF AG dead-end reproducer engines Tests
#2002 opened Jul 13, 2026 by kroening Collaborator • Draft
BDD: project inputs in EX engines
#2001 opened Jul 13, 2026 by kroening Collaborator • Draft
BDD: add EX input reproducer engines Tests
#2000 opened Jul 13, 2026 by kroening Collaborator Loading…
SMV: error on duplicate module names SMV
#1997 opened Jul 12, 2026 by kroening Collaborator Loading…
SMV: error on FAIRNESS constraints SMV
#1996 opened Jul 12, 2026 by kroening Collaborator Loading…
SMV: KNOWNBUG test for bare section headers SMV
#1995 opened Jul 12, 2026 by kroening Collaborator Loading…
New IC3: fix spurious refutations under invariant constraints engines
#1994 opened Jul 12, 2026 by kroening Collaborator Loading…
ProTip! Adding no:label will show everything without a label.