/dports/editors/texstudio/texstudio-4.1.2/completion/ |
H A D | multido.cwl | 12 \fpSub{num1}{num2}{cmd}#d
|
H A D | fltpoint.cwl | 5 \fpSub{cmd}{num1}{num2}#d
|
/dports/math/py-claripy/claripy-9.0.5405/claripy/ast/ |
H A D | fp.py | 158 fpSub = operations.op('fpSub', (fp.RM, FP, FP), FP, bound=False, extra_check=_fp_binop_check, calc_… variable 178 FP.__sub__ = fpSub
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/CodeGeneration/ |
H A D | Floats.hs | 115 … , test2 "f_FP_Sub" (fpSub sRoundNearestTiesToEven :: SFloat -> SFloat -> SFloat) 116 …, test2 "d_FP_Sub" (fpSub sRoundNearestTiesToEven :: SDouble -> SDouble -> SDouble)
|
/dports/converters/p5-LaTeXML/LaTeXML-0.8.6/t/expansion/ |
H A D | testmultido.tex | 79 Subtract...\fpSub{1.75}{0.25}{\answer}
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
H A D | SFloat.hs | 43 , fpSub 297 fpSub :: IsExprBuilder sym => SFloatBinArith sym 298 fpSub = fpBinArith floatSub function
|
/dports/converters/p5-LaTeXML/LaTeXML-0.8.6/lib/LaTeXML/Package/ |
H A D | multido.sty.ltxml | 118 DefMacro('\fpSub {Float} {Float} DefToken', sub {
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
H A D | Floating.hs | 80 fpSub :: SRoundingMode -> SBV a -> SBV a -> SBV a 148 fpSub = lift2 FP_Sub (Just (-)) . Just function 897 fpSub = lift2FP bfSub (lift2 FP_Sub (Just (-))) function
|
/dports/math/py-claripy/claripy-9.0.5405/claripy/ |
H A D | fp.py | 422 def fpSub(_rm, a, b): function
|
/dports/security/hs-cryptol/cryptol-2.11.0/lib/ |
H A D | Float.cry | 176 fpSub : {e,p} ValidFloat e p =>
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
H A D | ArithNoSolver.hs | 352 … ++ floatRun2M "fpSub" (-) fpSub comb 353 … ++ doubleRun2M "fpSub" (-) fpSub comb
|
H A D | ArithSolver.hs | 339 …++ [("fpSub", show x, show y, mkThm2 (m fpSub) x y ((-) x y)) | x <…
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/ |
H A D | What4.hs | 453 fpMinus = fpBinArith FP.fpSub
|
/dports/math/z3/z3-z3-4.8.13/src/api/python/z3/ |
H A D | z3.py | 9397 return fpSub(_dflt_rm(), a, b, self.ctx) 9407 return fpSub(_dflt_rm(), a, b, self.ctx) 10060 def fpSub(rm, a, b, ctx=None): function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/ |
H A D | z3.py | 8917 return fpSub(_dflt_rm(), a, b, self.ctx) 8927 return fpSub(_dflt_rm(), a, b, self.ctx) 9525 def fpSub(rm, a, b, ctx=None): function
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/ |
H A D | Reference.lhs | 1647 > , "fpSub" ~> fpArith FP.bfSub
|