crux-0.7: Simple top-level library for Crucible Simulation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Crux.Model

Description

This file is almost exactly the same as crucible-csrcModel.hs

Documentation

emptyModelView :: ModelView Source #

toDouble :: Rational -> Double Source #

showBVLiteral :: 1 <= w => NatRepr w -> BV w -> String Source #

showFloatLiteral :: BigFloat -> String Source #

showDoubleLiteral :: BigFloat -> String Source #

valsJS :: BaseTypeRepr ty -> Vals ty -> IO [JS] Source #

modelJS :: ModelView -> IO JS Source #