Floating Point and Linear Algebra - Whiley/WhileyCompiler GitHub Wiki
Todo: Write up ideas for smooth integration of floating point in Whiley without complicating the verifier. See forum thread on modelling unknown bits.
Resources
Intel instruction manual (pdf)
Floating point bit-explorer tool (online javascript app)
How the Intel compiler deals with floating point optimization (pdf)
Intel intrinsics guide (online browser)
Instruction performance on various CPUs: cycles, throughput (pdf)