working on implementing fma, f16 rtz formal proof seems likely to work
-rw-r--r-- 109 .gitignore
-rw-r--r-- 3614 .gitlab-ci.yml
-rw-r--r-- 238 .gitmodules
-rw-r--r-- 1262 Makefile
-rw-r--r-- 0 NEWS.txt
-rw-r--r-- 1788 README.md
-rw-r--r-- 596 SoftPosit.patch
m--------- - berkeley-softfloat-3
-rw-r--r-- 790 berkeley-softfloat.patch
m--------- - berkeley-testfloat-3
-rw-r--r-- 6219 conf.py
drwxr-xr-x - doc
-rwxr-xr-x 1668 expand-simd-map-input.sh
-rw-r--r-- 14513 fp16mul_test.smt2
-rw-r--r-- 14631 fpmul_test.smt2
-rw-r--r-- 440 index.rst
-rw-r--r-- 551 pyproject.toml
-rw-r--r-- 1175 setup.py
drwxr-xr-x - src