add PartitionedBool class (based on PartitionedXOR)
-rw-r--r-- 78 .gitignore
-rw-r--r-- 2004 .gitlab-ci.yml
-rw-r--r-- 238 .gitmodules
-rw-r--r-- 1262 Makefile
-rw-r--r-- 0 NEWS.txt
-rw-r--r-- 1276 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
-rw-r--r-- 440 index.rst
-rw-r--r-- 1175 setup.py
drwxr-xr-x - src