From: Jannis Harder <me@jix.one>
Date: Mon, 16 May 2022 14:15:04 +0000 (+0200)
Subject: Merge pull request #3314 from jix/sva_value_change_logic_wide
X-Git-Tag: divfloor-in-write_smt2-old-test~26
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2864f2826a41574b5c01e6674efa6bd6acc2f2e2;p=yosys.git

Merge pull request #3314 from jix/sva_value_change_logic_wide

verific: Use new value change logic also for $stable of wide signals.
---

2864f2826a41574b5c01e6674efa6bd6acc2f2e2