cryptol-2.6.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
Show SatNum Source # 
Instance details

Defined in Cryptol.Symbolic

data QueryType Source #

Constructors

SatQuery SatNum 
ProveQuery 
Instances
Show QueryType Source # 
Instance details

Defined in Cryptol.Symbolic

data ProverCommand Source #

Constructors

ProverCommand 

Fields

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] -> [CW] -> ([Value], [CW]) Source #

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