Encode floating point operations as uninterpreted functions - #1095

Open

can-leh-emmtrix wants to merge 7 commits into

AliveToolkit:masterfrom

emmtrix:uf-float-2

Commits on Oct 9, 2024

Add unit tests
can-leh-emmtrix
committed
a2cdfce
Encode floating point operations as uninterpreted functions
can-leh-emmtrix
committed
59cebcc
Revert changes to llvm2alive
can-leh-emmtrix
committed
b407dfc
Return bit vectors from float constructors
can-leh-emmtrix
committed
aa96616
Add argument and range types to UF name
can-leh-emmtrix
committed
a38be5a
Add uf-float approximation
can-leh-emmtrix
committed
15eef2a
Fix
can-leh-emmtrix
committed
69ada2a