sbvPlugin-0.5: Formally prove properties of Haskell programs using SBV/SMT (Index)

sbvPlugin-0.5: Formally prove properties of Haskell programs using SBV/SMT

Index

ABC	Data.SBV.Plugin
AnySolver	Data.SBV.Plugin
Boolector	Data.SBV.Plugin
checkBad	Data.SBV.Plugin.Examples.MicroController
checkGood	Data.SBV.Plugin.Examples.MicroController
checkSpec	Data.SBV.Plugin.Examples.MicroController
computeLastBad	Data.SBV.Plugin.Examples.MicroController
computeLastGood	Data.SBV.Plugin.Examples.MicroController
conditionalSetClearCorrect	Data.SBV.Plugin.Examples.BitTricks
CVC4	Data.SBV.Plugin
Debug	Data.SBV.Plugin
fastMaxCorrect	Data.SBV.Plugin.Examples.BitTricks
fastMinCorrect	Data.SBV.Plugin.Examples.BitTricks
IgnoreFailure	Data.SBV.Plugin
isPermutationOf	Data.SBV.Plugin.Examples.MergeSort
ListSize	Data.SBV.Plugin
MathSAT	Data.SBV.Plugin
maxTimeSince	Data.SBV.Plugin.Examples.MicroController
merge	Data.SBV.Plugin.Examples.MergeSort
mergeSort	Data.SBV.Plugin.Examples.MergeSort
mergeSortCorrect	Data.SBV.Plugin.Examples.MergeSort
Names	Data.SBV.Plugin
nonDecreasing	Data.SBV.Plugin.Examples.MergeSort
oneIf	Data.SBV.Plugin.Examples.BitTricks
oppositeSignsCorrect	Data.SBV.Plugin.Examples.BitTricks
options	Data.SBV.Plugin
plugin	Data.SBV.Plugin
powerOfTwoCorrect	Data.SBV.Plugin.Examples.BitTricks
QuickCheck	Data.SBV.Plugin
safetyDistance	Data.SBV.Plugin.Examples.MicroController
SBV	Data.SBV.Plugin
sbv	Data.SBV.Plugin
SBVAnnotation	Data.SBV.Plugin
SBVOption	Data.SBV.Plugin
Skip	Data.SBV.Plugin
theorem	Data.SBV.Plugin
Uninterpret	Data.SBV.Plugin
Verbose	Data.SBV.Plugin
Yices	Data.SBV.Plugin
Z3	Data.SBV.Plugin