Schanuel’s conjecture and the semantics of FPSan

I ve been spending some of my time recently developing a tool called FPSan in collaboration with Pawel Szczerbuk. It s implemented as a Triton compiler pass, but has none of the desirable properties expected of a compiler pass: in particular, it Continue reading