data/haskell-sbv-8.7/CHANGES.md: ASCII text data/haskell-sbv-8.7/COPYRIGHT: ASCII text data/haskell-sbv-8.7/Data/SBV.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Char.hs: ASCII text, with very long lines data/haskell-sbv-8.7/Data/SBV/Client.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Client/BaseIO.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Compilers/C.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Compilers/CodeGen.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Control.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Control/BaseIO.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Control/Query.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Control/Types.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/AlgReals.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Concrete.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Data.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Floating.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Kind.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Model.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Sized.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Dynamic.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Either.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Internals.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/List.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Maybe.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/ABC.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/Boolector.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/CVC4.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/MathSAT.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/Prover.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/Yices.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Provers/Z3.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/RegExp.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/SMT/SMTLibNames.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/SMT/Utils.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Set.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/String.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/BMC.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/BoundedFix.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/BoundedList.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/CodeGen.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/GenTest.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/Polynomial.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/Range.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/STree.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Trans.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Trans/Control.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Tuple.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Utils/ExtractIO.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Utils/Lib.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Utils/Numeric.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Utils/PrettyNum.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Utils/SExpr.hs: ASCII text data/haskell-sbv-8.7/Data/SBV/Utils/TDiff.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/BitTricks.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/Legato.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/MergeSort.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/MultMask.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/PrefixSum.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/AddSub.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/GCD.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/AES.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/RC4.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/SHA.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Existentials/CRCPolynomial.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Existentials/Diophantine.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/BoundedMutex.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/Nested.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Auxiliary.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Enumerate.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Floating.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/ModelExtract.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Newtypes.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/NoDiv0.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Polynomials.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/SetAlgebra.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/SoftConstrain.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Tuple.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Enumerate.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/ExtField.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/LinearOpt.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/VM.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/ProofTools/BMC.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/ProofTools/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/ProofTools/Strengthen.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/ProofTools/Sum.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Birthday.hs: UTF-8 Unicode text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Coins.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Counts.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/DogCatMouse.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Euler185.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Fish.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Garden.hs: UTF-8 Unicode text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/HexPuzzle.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs: UTF-8 Unicode text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/MagicSquare.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/NQueens.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Sudoku.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/U2Bridge.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/AllSat.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/CaseSplit.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/Concurrency.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/Enums.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/FourFours.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/GuessNumber.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/Interpolants.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/UnsatCore.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/SQLInjection.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Transformers/SymbolicEval.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/AUF.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Deduce.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Function.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Multiply.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Shannon.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Sort.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Append.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Basics.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Fib.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/GCD.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Length.hs: ASCII text data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Sum.hs: ASCII text data/haskell-sbv-8.7/INSTALL: ASCII text data/haskell-sbv-8.7/LICENSE: ASCII text data/haskell-sbv-8.7/README.md: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Bench/Bench.hs: C source, ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/BitPrecise/BitTricks.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/BitPrecise/BrokenSearch.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/BitPrecise/Legato.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/BitPrecise/MergeSort.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/BitPrecise/MultMask.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/BitPrecise/PrefixSum.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/CodeGeneration/AddSub.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/CodeGeneration/CRC_USB5.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/CodeGeneration/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/CodeGeneration/GCD.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/CodeGeneration/PopulationCount.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/CodeGeneration/Uninterpreted.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Crypto/AES.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Crypto/RC4.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Crypto/SHA.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Existentials/CRCPolynomial.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Existentials/Diophantine.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Lists/BoundedMutex.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Lists/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Lists/Nested.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/Auxiliary.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/Enumerate.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/Floating.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/ModelExtract.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/Newtypes.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/NoDiv0.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/Polynomials.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/SetAlgebra.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/SoftConstrain.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Misc/Tuple.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Optimization/Enumerate.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Optimization/ExtField.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Optimization/Instances.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Optimization/LinearOpt.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Optimization/Production.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Optimization/VM.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/ProofTools/BMC.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/ProofTools/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/ProofTools/Strengthen.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/ProofTools/Sum.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Birthday.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Coins.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Counts.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/DogCatMouse.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Euler185.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Garden.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/LadyAndTigers.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/MagicSquare.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/NQueens.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/SendMoreMoney.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Sudoku.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/U2Bridge.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/AllSat.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/CaseSplit.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/Concurrency.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/Enums.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/FourFours.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/GuessNumber.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/Interpolants.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Queries/UnsatCore.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Strings/RegexCrossword.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Strings/SQLInjection.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Transformers/SymbolicEval.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/AUF.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/Deduce.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/Function.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/Multiply.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/Shannon.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/Sort.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Uninterpreted/UISortAllSat.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/Append.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/Basics.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/Fib.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/GCD.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/Instances.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/IntDiv.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/IntSqrt.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/Length.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/WeakestPreconditions/Sum.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/SBVBench.hs: ASCII text data/haskell-sbv-8.7/SBVBenchSuite/Utils/SBVBenchFramework.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/U2Bridge.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/addSub.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/aes128Dec.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/aes128Enc.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/aes128Lib.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/allSat1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/allSat2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/allSat3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/allSat4.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/allSat5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/allSat6.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/assertWithPenalty1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/assertWithPenalty2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/auf-0.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/auf-1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int16_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int16_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int16_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int16_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int32_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int32_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int32_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int32_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int64_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int64_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int64_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int64_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int8_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int8_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int8_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Int8_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word16_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word16_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word16_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word16_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word32_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word32_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word32_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word32_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word64_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word64_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word64_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word64_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word8_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word8_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word8_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Left_Word8_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int16_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int16_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int16_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int16_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int32_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int32_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int32_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int32_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int64_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int64_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int64_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int64_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int8_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int8_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int8_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Int8_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word16_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word16_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word16_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word16_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word32_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word32_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word32_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word32_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word64_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word64_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word64_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word64_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word8_Word16.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word8_Word32.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word8_Word64.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/barrelRotate_Right_Word8_Word8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-1_1.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-1_2.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-1_3.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-1_4.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-1_5.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-2_1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-2_2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-2_3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-2_4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-2_5.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-3_1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-3_2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-3_3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-3_4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-3_5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-4_1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-4_2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-4_3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-4_4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-4_5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-5_1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-5_2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-5_3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-5_4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/basic-5_5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/boxed1.gold: Apache Avro version 101 data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/ccitt.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/cgUninterpret.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/codeGen1.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/coins.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/combined1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/combined2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/concreteFoldl.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/concreteFoldr.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/concreteReverse.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/concreteSort.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/counts.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/crcPolyExist.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/crcUSB5_1.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/crcUSB5_2.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/dogCatMouse.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/euler185.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/exceptionLocal1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/exceptionLocal2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/exceptionRemote1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/fib1.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/fib2.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/floats_cgen.gold: C source, ASCII text, with very long lines data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/foldlABC1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/foldlABC2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/foldlABC3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/foldrAB1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/foldrAB2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/foldrAB3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/freshVars.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/gcd.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/genBenchMark1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/genBenchMark2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-1.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-2.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-3.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-4.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-5.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-6.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-7.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-8.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/higher-9.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/iteTest1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/iteTest2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/iteTest3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/legato.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/legato_c.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/mapNoFailure.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/mapWithFailure.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/maxlWithFailure.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/maxrWithFailure.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/merge.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/noOpt1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/noOpt2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasics1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasics2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_08_signed_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_08_signed_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_08_unsigned_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_08_unsigned_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_16_signed_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_16_signed_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_16_unsigned_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_16_unsigned_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_32_signed_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_32_signed_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_32_unsigned_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_32_unsigned_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_64_signed_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_64_signed_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_64_unsigned_max.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optBasicsRange_64_unsigned_min.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optExtField1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optExtField2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optExtField3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat1a.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat1b.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat1c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat1d.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat2a.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat2b.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat2c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat2d.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optFloat4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optQuant1.gold: diff output, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optQuant2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optQuant3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optQuant4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optQuant5.gold: diff output, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optReal1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/optTuple1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pareto1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pareto2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pareto3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbAtLeast.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbAtMost.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbEq.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbEq2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbExactly.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbGe.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbLe.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbMutexed.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/pbStronglyMutexed.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/popCount1.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/popCount2.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/qEnum1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/qUninterp1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsexists_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsexists_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsexists_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsexists_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsexists_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsexists_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsforall_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsforall_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsforall_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsforall_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsforall_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_existsforall_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallexists_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallexists_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallexists_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallexists_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallexists_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallexists_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallforall_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallforall_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallforall_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallforall_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallforall_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_prove_forallforall_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsexists_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsexists_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsexists_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsexists_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsexists_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsexists_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsforall_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsforall_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsforall_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsforall_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsforall_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_existsforall_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallexists_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallexists_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallexists_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallexists_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallexists_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallexists_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallforall_contradiction_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallforall_contradiction_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallforall_satisfiable_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallforall_satisfiable_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallforall_thm_c.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/quantified_sat_forallforall_thm_p.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays2.gold: ASCII text, with very long lines data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays3.gold: ASCII text, with very long lines data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays4.gold: ASCII text, with very long lines data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays6.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays7.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Chars1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Interpolant1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Interpolant2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Interpolant3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Interpolant4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_ListOfMaybe.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_ListOfSum.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Lists1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Maybe.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Strings1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_SumMaybeBoth.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Sums.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Tuples1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_Tuples2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_abc.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_badOption.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_boolector.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_cvc4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_mathsat.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_sumMergeEither1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_sumMergeEither2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_sumMergeMaybe1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_sumMergeMaybe2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uiSat_test1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uiSat_test2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_yices.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_z3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/reverse.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/reverseAlt10.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/safe1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/safe2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/selChecked.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/selUnchecked.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqConcat.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqConcatBad.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples6.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples7.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqExamples8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqIndexOf.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/seqIndexOfBad.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_compl1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_delete1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_diff1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_disj1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_empty1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_full1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_insert1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_intersect1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_member1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_notMember1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_psubset1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_subset1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_tupleSet.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_uninterp1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_uninterp2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/set_union1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sha256HashBlock.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sort.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/squashReals1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/squashReals2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/squashReals3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/squashReals4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strConcat.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strConcatBad.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples10.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples11.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples12.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples13.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples6.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples7.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples8.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples9.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strIndexOf.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strIndexOfBad.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumBimapPlus.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumEitherSat.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumLiftEither.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumLiftMaybe.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumMaybe.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumMaybeBoth.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumMergeEither1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumMergeEither2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumMergeMaybe1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/sumMergeMaybe2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/temperature.gold: ASCII text, with no line terminators data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tgen_c.gold: C source, ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tgen_forte.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tgen_haskell.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/timeout1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_enum.gold: ASCII text, with very long lines data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_list.gold: ASCII text, with very long lines data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_makePair.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_nested.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_swap.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_twoTwo.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_unequal.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/tuple_unit.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/uiSat_test1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/uiSat_test2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/uiSat_test3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/unint-axioms-query.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_0.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_1.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_2.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_3.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_4.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_5.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_6.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/validate_7.gold: ASCII text data/haskell-sbv-8.7/SBVTestSuite/SBVDocTest.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/SBVHLint.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/SBVTest.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Arrays/InitVals.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Arrays/Memory.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Arrays/Query.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/AllSat.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithSolver.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Assert.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/BarrelRotate.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/BasicTests.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/BoundedList.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/DynSign.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Exceptions.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/GenBenchmark.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Higher.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Index.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/IteTest.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/List.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ModelValidate.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ProofTests.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/QRem.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Quantifiers.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Recursive.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Set.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/SmallShifts.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/SquashReals.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/String.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Sum.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/TOut.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/Tuple.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/UISat.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/BitPrecise/BitTricks.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/BitPrecise/Legato.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/BitPrecise/MergeSort.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/BitPrecise/PrefixSum.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CRC/CCITT.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CRC/CCITT_Unidir.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CRC/GenPoly.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CRC/Parity.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CRC/USB5.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/AddSub.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/CRC_USB5.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/CgTests.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/Fibonacci.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/Floats.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/GCD.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/PopulationCount.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/CodeGeneration/Uninterpreted.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Crypto/AES.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Crypto/RC4.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Crypto/SHA.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Existentials/CRCPolynomial.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/GenTest/GenTests.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/AssertWithPenalty.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Basics.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Combined.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/ExtensionField.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Floats.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/NoOpt.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Quantified.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Reals.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Tuples.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Overflows/Arithmetic.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Overflows/Casts.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Polynomials/Polynomials.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Coins.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Counts.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/DogCatMouse.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Euler185.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/MagicSquare.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/NQueens.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/PowerSet.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Sudoku.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Temperature.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/U2Bridge.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/BadOption.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/BasicQuery.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Enums.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/FreshVars.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Int_ABC.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Int_Boolector.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Int_CVC4.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Int_Mathsat.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Int_Yices.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Int_Z3.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Interpolants.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Lists.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Strings.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Sums.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Tuples.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/UISat.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/UISatEx.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/Uninterpreted.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/QuickCheck/QC.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Transformers/SymbolicEval.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Uninterpreted/AUF.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Uninterpreted/Axioms.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Uninterpreted/Function.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Uninterpreted/Sort.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Uninterpreted/Uninterpreted.hs: ASCII text data/haskell-sbv-8.7/SBVTestSuite/Utils/SBVTestFramework.hs: ASCII text data/haskell-sbv-8.7/Setup.hs: ASCII text data/haskell-sbv-8.7/sbv.cabal: ASCII text data/haskell-sbv-8.7/debian/changelog: ASCII text data/haskell-sbv-8.7/debian/compat: ASCII text data/haskell-sbv-8.7/debian/control: ASCII text data/haskell-sbv-8.7/debian/copyright: ASCII text data/haskell-sbv-8.7/debian/rules: a /usr/bin/make -f script, ASCII text executable data/haskell-sbv-8.7/debian/source/format: ASCII text data/haskell-sbv-8.7/debian/watch: ASCII text data/haskell-sbv-8.7/.pc/.version: ASCII text data/haskell-sbv-8.7/.pc/.quilt_patches: ASCII text data/haskell-sbv-8.7/.pc/.quilt_series: ASCII text data/haskell-sbv-8.7/.pc/applied-patches: empty