|
ftz 0.0.1
Fast, reproducible floating-point arithmetic
|
Results of finite startup witnesses for this scalar compilation and calling thread. These observations are not an exhaustive proof of every arithmetic input. More...
Results of finite startup witnesses for this scalar compilation and calling thread. These observations are not an exhaustive proof of every arithmetic input.
Definition at line 229 of file ftz.controls.ccm.