From: clairexen <claire@symbioticeda.com>
Date: Thu, 2 Jul 2020 15:50:22 +0000 (+0200)
Subject: Merge pull request #2132 from YosysHQ/eddie/verific_initial
X-Git-Tag: working-ls180~425
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3d8d98d7093aa92f858a98d21a82cd453d8481dc;p=yosys.git

Merge pull request #2132 from YosysHQ/eddie/verific_initial

verific: rewrite initial assume/asserts prior to elaboration
---

3d8d98d7093aa92f858a98d21a82cd453d8481dc