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

Index

#Data.SBV.Plugin
ABCData.SBV.Plugin.Data, Data.SBV.Plugin
AnySolverData.SBV.Plugin.Data, Data.SBV.Plugin
BoolectorData.SBV.Plugin.Data, Data.SBV.Plugin
checkBadData.SBV.Plugin.Examples.MicroController
checkGoodData.SBV.Plugin.Examples.MicroController
checkSpecData.SBV.Plugin.Examples.MicroController
computeLastBadData.SBV.Plugin.Examples.MicroController
computeLastGoodData.SBV.Plugin.Examples.MicroController
conditionalSetClearCorrectData.SBV.Plugin.Examples.BitTricks
CVC4Data.SBV.Plugin.Data, Data.SBV.Plugin
DebugData.SBV.Plugin.Data, Data.SBV.Plugin
elemData.SBV.Plugin.Examples.BitTricks
extendData.SBV.Plugin
fastMaxCorrectData.SBV.Plugin.Examples.BitTricks
fastMinCorrectData.SBV.Plugin.Examples.BitTricks
IgnoreFailureData.SBV.Plugin.Data, Data.SBV.Plugin
isPermutationOfData.SBV.Plugin.Examples.MergeSort
ListSizeData.SBV.Plugin.Data, Data.SBV.Plugin
maskedMergeCorrectData.SBV.Plugin.Examples.BitTricks
MathSATData.SBV.Plugin.Data, Data.SBV.Plugin
maxTimeSinceData.SBV.Plugin.Examples.MicroController
mergeData.SBV.Plugin.Examples.MergeSort
mergeSortData.SBV.Plugin.Examples.MergeSort
mergeSortCorrectData.SBV.Plugin.Examples.MergeSort
NamesData.SBV.Plugin.Data, Data.SBV.Plugin
nonDecreasingData.SBV.Plugin.Examples.MergeSort
oneIfData.SBV.Plugin.Examples.BitTricks
oppositeSignsCorrectData.SBV.Plugin.Examples.BitTricks
optionsData.SBV.Plugin.Data, Data.SBV.Plugin
pluginData.SBV.Plugin
powerOfTwoCorrectData.SBV.Plugin.Examples.BitTricks
ProvedData.SBV.Plugin.Data, Data.SBV.Plugin
QuickCheckData.SBV.Plugin.Data, Data.SBV.Plugin
roundPowerOfTwoCorrectData.SBV.Plugin.Examples.BitTricks
safetyDistanceData.SBV.Plugin.Examples.MicroController
SBVData.SBV.Plugin.Data, Data.SBV.Plugin
sbvData.SBV.Plugin.Data, Data.SBV.Plugin
SBVAnnotationData.SBV.Plugin.Data, Data.SBV.Plugin
SBVOptionData.SBV.Plugin.Data, Data.SBV.Plugin
SkipData.SBV.Plugin.Data, Data.SBV.Plugin
splitData.SBV.Plugin
SplittableData.SBV.Plugin
theoremData.SBV.Plugin.Data, Data.SBV.Plugin
UninterpretData.SBV.Plugin.Data, Data.SBV.Plugin
VerboseData.SBV.Plugin.Data, Data.SBV.Plugin
YicesData.SBV.Plugin.Data, Data.SBV.Plugin
Z3Data.SBV.Plugin.Data, Data.SBV.Plugin
zeroInWordData.SBV.Plugin.Examples.BitTricks