search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Add support for bitcast instructions between bitvectors and float types #53

Closed sallaigy closed 3 years ago