New implementation of a software floating point implementation (sdbl) for consistency across different platforms and compilers. Removing useless files and compile time options related to variable activity data type (it can only be sdbl).
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
bmc | Loading commit data... | |
bsat | Loading commit data... | |
bsat2 | Loading commit data... | |
cnf | Loading commit data... | |
csat | Loading commit data... | |
lsat | Loading commit data... | |
msat | Loading commit data... | |
proof | Loading commit data... | |
psat | Loading commit data... | |
satoko | Loading commit data... | |
xsat | Loading commit data... |