projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b07d470 d53479a)
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)
the smtlib2 support in nmigen needs $divfloor support in its tests:
https://gitlab.com/nmigen/nmigen/-/merge_requests/7

1  2 
backends/smt2/smt2.cc patch | diff1 | diff2 | blob | history
kernel/constids.inc patch | diff1 | diff2 | blob | history

diff --cc backends/smt2/smt2.cc
Simple merge
diff --cc kernel/constids.inc
Simple merge