luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
9,634 Commits 3 Branches 169 Tags 205 MiB
Commit Graph

2 Commits

Author SHA1 Message Date
Wilson Snyder 64b91023b1 Commentary: Changes update 2026-04-23 12:47:22 -04:00
Yilou Wang cfebe805c9
Support implication operator with constraint_set (#7300) (#7448) 
* Support implication operator with constraint_set

* improve coverage, achieve 100 line cov

* Address review: simplify addNext; tighten disable soft grammar to constraint_primary

* Apply 'make format'

* re-run

---------

Co-authored-by: github action <action@example.com>
 2026-04-23 10:50:23 +02:00