Home
last modified time | relevance | path

Searched refs:floatOps (Results 1 – 7 of 7) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/test/
H A DTestTemplate.hs332 | n == 1 = base <> floatOps fpp rs base
339 f d = [ TVar (BaseFloatRepr fpp) ] <> floatOps fpp rs (f (d-1))
341 floatOps ::
346 floatOps fpp@(FloatingPointPrecisionRepr eb sb) rs subterms = casts <> uops <> bops <> fma function
/dports/graphics/ampasCTL/CTL-57b48a2/unittest/IlmCtl/
H A DtestVarying.ctl42 floatOps(input varying float a,
/dports/lang/yorick/yorick-y_2_2_04/yorick/
H A Dydata.h364 PLUG_API Operations floatOps; variable
H A Dopsv.c451 Operations floatOps = { variable
636 0, &structDefOps, &floatOps, sizeof(float),
H A Dops3.c104 OPERATION(AssignF, floatOps, ToFloat)
H A Dyapi.c446 if (ops != &floatOps) { in ygeta_f()
H A Dops2.c664 if (ops==&floatOps) PowerXF(l, r); in Power_BB()