cryptol-2.9.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2020 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Cryptol.Symbolic.What4

Description

 

Documentation

data W4ProverConfig Source #

defaultProver :: W4ProverConfig Source #

proverNames :: [String] Source #

setupProver :: String -> IO (Either String ([String], W4ProverConfig)) Source #

satProve :: W4ProverConfig -> Bool -> ProverCommand -> ModuleCmd (Maybe String, ProverResult) Source #

satProveOffline :: W4ProverConfig -> Bool -> ProverCommand -> ((Handle -> IO ()) -> IO ()) -> ModuleCmd (Maybe String) Source #

data W4Exception Source #

Constructors

W4Ex SomeException 
W4PortfolioFailure [Either SomeException (Maybe String, String)] 
Instances
Show W4Exception Source # 
Instance details

Defined in Cryptol.Symbolic.What4

Methods

showsPrec :: Int -> W4Exception -> ShowS #

show :: W4Exception -> String #

showList :: [W4Exception] -> ShowS #

Exception W4Exception Source # 
Instance details

Defined in Cryptol.Symbolic.What4

Methods

toException :: W4Exception -> SomeException #

fromException :: SomeException -> Maybe W4Exception #

displayException :: W4Exception -> String #