Merge branch 'divfloor-in-write_smt2' into smtlib2-expr-support smtlib2-expr-support-old
authorJacob Lifshay <programmerjake@gmail.com>
Wed, 25 May 2022 01:01:52 +0000 (18:01 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Wed, 25 May 2022 01:09:08 +0000 (18:09 -0700)
commitf2cb1aa99c4e7fddc95558c8cc14363a8589d83f
tree431abb93c52986749451c1605c414e9bba8f529d
parentb07d4707e49c93df0ce94f7733741ba28045e26c
parentd53479a0d6e7c799e29c18cae47f96dfabee9d21
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
backends/smt2/smt2.cc
kernel/constids.inc