| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cryptol.Eval.What4.Float
Description
Floating point primitives for the What4 backend.
Synopsis
- floatPrims :: IsSymExprBuilder sym => What4 sym -> Map PrimIdent (Value sym)
Documentation
floatPrims :: IsSymExprBuilder sym => What4 sym -> Map PrimIdent (Value sym) Source #
Table of floating point primitives