sbv-5.14: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- #
- %
- &
- .
- <
- =
- |
- ~
- _
- All

Index - R

Ratio | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
Rational | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
RC4 | Data.SBV.Examples.Crypto.RC4
rc4IsCorrect | Data.SBV.Examples.Crypto.RC4
readArray | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
readBin | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
readSArr | Data.SBV.Dynamic
readSTree | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
Red | Data.SBV.Examples.Puzzles.Fish
RegA | Data.SBV.Examples.BitPrecise.Legato
Register | Data.SBV.Examples.BitPrecise.Legato
Registers | Data.SBV.Examples.BitPrecise.Legato
registers | Data.SBV.Examples.BitPrecise.Legato
RegX | Data.SBV.Examples.BitPrecise.Legato
Rem | Data.SBV.Internals
render' | Data.SBV.Internals
renderCgPgmBundle | Data.SBV.Internals
renderTest | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
resArrays | Data.SBV.Internals
resAsgns | Data.SBV.Internals
resAssertions | Data.SBV.Internals
resAxioms | Data.SBV.Internals
resConstraints | Data.SBV.Internals
resConsts | Data.SBV.Internals
resetArray | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
resetSArr | Data.SBV.Dynamic
resInputs | Data.SBV.Internals
reskinds | Data.SBV.Internals
resOutputs | Data.SBV.Internals
resTables | Data.SBV.Internals
resTraces | Data.SBV.Internals
resUIConsts | Data.SBV.Internals
resUISegs | Data.SBV.Internals
Result |
1 (Type/Class) | Data.SBV.Internals
2 (Data Constructor) | Data.SBV.Internals
Rol | Data.SBV.Internals
Ror | Data.SBV.Internals
rorM | Data.SBV.Examples.BitPrecise.Legato
rorR | Data.SBV.Examples.BitPrecise.Legato
rotate | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
rotateL | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
rotateR | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
rotR | Data.SBV.Examples.Crypto.AES
roundConstants | Data.SBV.Examples.Crypto.AES
roundingAdd | Data.SBV.Examples.Misc.Floating
RoundingMode | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
roundingMode | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3, Data.SBV.Dynamic
RoundNearestTiesToAway | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
RoundNearestTiesToEven | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
RoundTowardNegative | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
RoundTowardPositive | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
RoundTowardZero | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
Row |
1 (Type/Class) | Data.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class) | Data.SBV.Examples.Puzzles.Sudoku
run | Data.SBV.Examples.Puzzles.U2Bridge
runLegato | Data.SBV.Examples.BitPrecise.Legato
runSymbolic | Data.SBV.Internals
runSymbolic' | Data.SBV.Internals