From: Jacob Lifshay Date: Wed, 25 May 2022 01:01:52 +0000 (-0700) Subject: Merge branch 'divfloor-in-write_smt2' into smtlib2-expr-support X-Git-Tag: smtlib2-expr-support-old X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f2cb1aa99c4e7fddc95558c8cc14363a8589d83f;p=yosys.git Merge branch 'divfloor-in-write_smt2' into smtlib2-expr-support the smtlib2 support in nmigen needs $divfloor support in its tests: https://gitlab.com/nmigen/nmigen/-/merge_requests/7 --- f2cb1aa99c4e7fddc95558c8cc14363a8589d83f