supportsIEEE754 (reference) in projects: dports

Searched refs:supportsIEEE754 (Results 1 – 9 of 9) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Provers/
H A D	ABC.hs	`42 , supportsIEEE754 = False function`
H A D	Boolector.hs	`40 , supportsIEEE754 = False function`
H A D	Yices.hs	`42 , supportsIEEE754 = False function`
H A D	Z3.hs	`42 , supportsIEEE754 = True function`
H A D	MathSAT.hs	`44 , supportsIEEE754 = True function`
H A D	CVC4.hs	`44 , supportsIEEE754 = True function`
H A D	DReal.hs	`44 , supportsIEEE754 = False function`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/
H A D	SMTLib.hs	`47 \| (needsFloats \|\| needsDoubles) && not (supportsIEEE754 solverCaps)`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A D	Symbolic.hs	`1963 , supportsIEEE754 :: Bool -- ^ Supports floating point numbers? function`