projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c196c78) | patch
add fpmul_test.smt2 as a test to see if we should bother trying to wire-up smtlib2...
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 08:23:32 +0000 (01:23 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 08:23:32 +0000 (01:23 -0700)
commiteb55e2592d0dba8565beff291aeee45bceffe9b8
tree90a8f592efd44cbd477834faa0ddc88c388f0165tree
parentc196c78e1aed3d1620ff1b83f56405922f8bb783commit | diff
add fpmul_test.smt2 as a test to see if we should bother trying to wire-up smtlib2 real and fp support in yosys and nmigen

It's probably correct, z3 ran longer than I bothered to wait, it usually stops relatively quickly if there's an error in the logic.
fpmul_test.smt2 [new file with mode: 0644] blob