what4-1.1: Solver-agnostic symbolic values support for issuing queries
Safe HaskellNone
LanguageHaskell2010

What4.Utils.Versions

Synopsis

Documentation

data SolverBounds Source #

Instances

Instances details
Lift SolverBounds Source # 
Instance details

Defined in What4.Utils.Versions

parseSolverBounds :: FilePath -> IO [(Text, SolverBounds)] Source #

This method parses configuration files describing the upper and lower bounds of solver versions we expect to work correctly with What4. See the file "solverBounds.config" for examples of how such bounds are specified.

Orphan instances

Lift VUnit Source # 
Instance details

Methods

lift :: VUnit -> Q Exp #

liftTyped :: VUnit -> Q (TExp VUnit) #

Lift Version Source # 
Instance details

Methods

lift :: Version -> Q Exp #

liftTyped :: Version -> Q (TExp Version) #