cryptol-2.8.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Cryptol.Symbolic

Description

 
Synopsis

Documentation

data SatNum Source #

Constructors

AllSat 
SomeSat Int 

Instances

Instances details
Show SatNum Source # 
Instance details

Defined in Cryptol.Symbolic

Methods

showsPrec :: Int -> SatNum -> ShowS

show :: SatNum -> String

showList :: [SatNum] -> ShowS

data QueryType Source #

Constructors

SatQuery SatNum 
ProveQuery 

Instances

Instances details
Show QueryType Source # 
Instance details

Defined in Cryptol.Symbolic

Methods

showsPrec :: Int -> QueryType -> ShowS

show :: QueryType -> String

showList :: [QueryType] -> ShowS

data ProverCommand Source #

Constructors

ProverCommand 

Fields

type ProverStats = NominalDiffTime Source #

data ProverResult Source #

A prover result is either an error message, an empty result (eg for the offline prover), a counterexample or a lazy list of satisfying assignments.

parseValues :: [FinType] -> [CV] -> ([Value], [CV]) Source #

parseValue :: FinType -> [CV] -> (Value, [CV]) Source #

numType :: Integer -> Maybe Int Source #