From: Miodrag Milanović Date: Mon, 23 May 2022 18:01:44 +0000 (+0200) Subject: Merge pull request #3332 from YosysHQ/verific_f X-Git-Tag: divfloor-in-write_smt2-old-test~3 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=335b4888ce1cd31e2efdac008f089449b27ce700;p=yosys.git Merge pull request #3332 from YosysHQ/verific_f Update Verific command file documentation --- 335b4888ce1cd31e2efdac008f089449b27ce700