projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
3f8fb28
fada77b
)
Merge pull request #3314 from jix/sva_value_change_logic_wide
author
Jannis Harder
<me@jix.one>
Mon, 16 May 2022 14:15:04 +0000
(16:15 +0200)
committer
GitHub
<noreply@github.com>
Mon, 16 May 2022 14:15:04 +0000
(16:15 +0200)
verific: Use new value change logic also for $stable of wide signals.
Trivial merge