chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Verification

Documentation

data Option Source #

Constructors

Name String 
ShowTime 
Sat Int 
NoBacktracking 
Depth Int 
Increasing 
RestrictStates 
Instances
Eq Option Source # 
Instance details

Defined in Lava.Verification

Methods

(==) :: Option -> Option -> Bool

(/=) :: Option -> Option -> Bool

Show Option Source # 
Instance details

Defined in Lava.Verification

Methods

showsPrec :: Int -> Option -> ShowS

show :: Option -> String

showList :: [Option] -> ShowS

data ProofResult Source #

Instances
Eq ProofResult Source # 
Instance details

Defined in Lava.Verification

Methods

(==) :: ProofResult -> ProofResult -> Bool

(/=) :: ProofResult -> ProofResult -> Bool

Show ProofResult Source # 
Instance details

Defined in Lava.Verification

Methods

showsPrec :: Int -> ProofResult -> ShowS

show :: ProofResult -> String

showList :: [ProofResult] -> ShowS

verifyDir :: FilePath Source #