projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5ccac3) | patch
add $divfloor support to write_smt2 smtlib2-expr-support-on-0.13-old
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:34:25 +0000 (01:34 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 26 May 2022 02:47:45 +0000 (19:47 -0700)
commitb45d530fa1524a4a8b24323e8d71eaf8e437a60a
tree633714078ebd3365641506cae57901d941ca6246tree
parentf5ccac3bd7bc0d420532646a3b3bd2990bdf06f8commit | diff
add $divfloor support to write_smt2

Fixes: #3330
(cherry picked from commit d53479a0d6e7c799e29c18cae47f96dfabee9d21)
backends/smt2/smt2.cc diff | blob | history