projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c525b5f) | patch
add $divfloor support to write_smt2 divfloor-in-write_smt2
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:34:25 +0000 (01:34 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:34:25 +0000 (01:34 -0700)
commitd53479a0d6e7c799e29c18cae47f96dfabee9d21
treed5d64297bfd31b33e8ccd89ad59c259e70b4094btree
parentc525b5f91925bd51194ead99a4ecace313f9945ccommit | diff
add $divfloor support to write_smt2

Fixes: #3330
backends/smt2/smt2.cc diff | blob | history