• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for sbv-7.13 source tarball

sbv-7.13/

• CHANGES.md
• COPYRIGHT
• INSTALL
• LICENSE
• README.md
• Setup.hs
• sbv.cabal
• Data/
  • SBV.hs
  • SBV/
    • Char.hs
    • Control.hs
    • Dynamic.hs
    • Internals.hs
    • List.hs
    • RegExp.hs
    • String.hs
    • Compilers/
      • C.hs
      • CodeGen.hs
    • Control/
      • Query.hs
      • Types.hs
      • Utils.hs
    • Core/
      • AlgReals.hs
      • Concrete.hs
      • Data.hs
      • Floating.hs
      • Kind.hs
      • Model.hs
      • Operations.hs
      • Splittable.hs
      • Symbolic.hs
    • List/
      • Bounded.hs
    • Provers/
      • ABC.hs
      • Boolector.hs
      • CVC4.hs
      • MathSAT.hs
      • Prover.hs
      • Yices.hs
      • Z3.hs
    • SMT/
      • SMT.hs
      • SMTLib.hs
      • SMTLib2.hs
      • SMTLibNames.hs
      • Utils.hs
    • Tools/
      • BoundedFix.hs
      • CodeGen.hs
      • GenTest.hs
      • Overflow.hs
      • Polynomial.hs
      • Range.hs
      • STree.hs
    • Utils/
      • Boolean.hs
      • Lib.hs
      • Numeric.hs
      • PrettyNum.hs
      • SExpr.hs
      • TDiff.hs
• Documentation/
  • SBV/
    • Examples/
      • BitPrecise/
        • BitTricks.hs
        • BrokenSearch.hs
        • Legato.hs
        • MergeSort.hs
        • MultMask.hs
        • PrefixSum.hs
      • CodeGeneration/
        • AddSub.hs
        • CRC_USB5.hs
        • Fibonacci.hs
        • GCD.hs
        • PopulationCount.hs
        • Uninterpreted.hs
      • Crypto/
        • AES.hs
        • RC4.hs
      • Existentials/
        • CRCPolynomial.hs
        • Diophantine.hs
      • Lists/
        • BoundedMutex.hs
        • Fibonacci.hs
        • Nested.hs
      • Misc/
        • Auxiliary.hs
        • Enumerate.hs
        • Floating.hs
        • ModelExtract.hs
        • NoDiv0.hs
        • Polynomials.hs
        • SoftConstrain.hs
        • Word4.hs
      • Optimization/
        • ExtField.hs
        • LinearOpt.hs
        • Production.hs
        • VM.hs
      • Puzzles/
        • Birthday.hs
        • Coins.hs
        • Counts.hs
        • DogCatMouse.hs
        • Euler185.hs
        • Fish.hs
        • Garden.hs
        • HexPuzzle.hs
        • LadyAndTigers.hs
        • MagicSquare.hs
        • NQueens.hs
        • SendMoreMoney.hs
        • Sudoku.hs
        • U2Bridge.hs
      • Queries/
        • AllSat.hs
        • CaseSplit.hs
        • Enums.hs
        • FourFours.hs
        • GuessNumber.hs
        • Interpolants.hs
        • UnsatCore.hs
      • Strings/
        • RegexCrossword.hs
        • SQLInjection.hs
      • Uninterpreted/
        • AUF.hs
        • Deduce.hs
        • Function.hs
        • Shannon.hs
        • Sort.hs
        • UISortAllSat.hs
• SBVTestSuite/
  • SBVDocTest.hs
  • SBVHLint.hs
  • SBVTest.hs
  • GoldFiles/
    • U2Bridge.gold
    • addSub.gold
    • aes128Dec.gold
    • aes128Enc.gold
    • aes128Lib.gold
    • allSat1.gold
    • allSat2.gold
    • allSat3.gold
    • allSat4.gold
    • allSat5.gold
    • allSat6.gold
    • assertWithPenalty1.gold
    • assertWithPenalty2.gold
    • auf-0.gold
    • auf-1.gold
    • basic-1_1.gold
    • basic-1_2.gold
    • basic-1_3.gold
    • basic-1_4.gold
    • basic-1_5.gold
    • basic-2_1.gold
    • basic-2_2.gold
    • basic-2_3.gold
    • basic-2_4.gold
    • basic-2_5.gold
    • basic-3_1.gold
    • basic-3_2.gold
    • basic-3_3.gold
    • basic-3_4.gold
    • basic-3_5.gold
    • basic-4_1.gold
    • basic-4_2.gold
    • basic-4_3.gold
    • basic-4_4.gold
    • basic-4_5.gold
    • basic-5_1.gold
    • basic-5_2.gold
    • basic-5_3.gold
    • basic-5_4.gold
    • basic-5_5.gold
    • boxed1.gold
    • ccitt.gold
    • cgUninterpret.gold
    • codeGen1.gold
    • coins.gold
    • combined1.gold
    • combined2.gold
    • concreteFoldl.gold
    • concreteFoldr.gold
    • concreteReverse.gold
    • concreteSort.gold
    • counts.gold
    • crcPolyExist.gold
    • crcUSB5_1.gold
    • crcUSB5_2.gold
    • dogCatMouse.gold
    • euler185.gold
    • exceptionLocal1.gold
    • exceptionLocal2.gold
    • exceptionRemote1.gold
    • fib1.gold
    • fib2.gold
    • floats_cgen.gold
    • foldlABC1.gold
    • foldlABC2.gold
    • foldlABC3.gold
    • foldrAB1.gold
    • foldrAB2.gold
    • foldrAB3.gold
    • freshVars.gold
    • gcd.gold
    • genBenchMark1.gold
    • genBenchMark2.gold
    • higher-1.gold
    • higher-2.gold
    • higher-3.gold
    • higher-4.gold
    • higher-5.gold
    • higher-6.gold
    • higher-7.gold
    • higher-8.gold
    • higher-9.gold
    • iteTest1.gold
    • iteTest2.gold
    • iteTest3.gold
    • legato.gold
    • legato_c.gold
    • mapNoFailure.gold
    • mapWithFailure.gold
    • maxlWithFailure.gold
    • maxrWithFailure.gold
    • merge.gold
    • noOpt1.gold
    • noOpt2.gold
    • optBasics1.gold
    • optBasics2.gold
    • optBasicsRange_08_signed_max.gold
    • optBasicsRange_08_signed_min.gold
    • optBasicsRange_08_unsigned_max.gold
    • optBasicsRange_08_unsigned_min.gold
    • optBasicsRange_16_signed_max.gold
    • optBasicsRange_16_signed_min.gold
    • optBasicsRange_16_unsigned_max.gold
    • optBasicsRange_16_unsigned_min.gold
    • optBasicsRange_32_signed_max.gold
    • optBasicsRange_32_signed_min.gold
    • optBasicsRange_32_unsigned_max.gold
    • optBasicsRange_32_unsigned_min.gold
    • optBasicsRange_64_signed_max.gold
    • optBasicsRange_64_signed_min.gold
    • optBasicsRange_64_unsigned_max.gold
    • optBasicsRange_64_unsigned_min.gold
    • optExtField1.gold
    • optExtField2.gold
    • optExtField3.gold
    • optQuant1.gold
    • optQuant2.gold
    • optQuant3.gold
    • optQuant4.gold
    • optQuant5.gold
    • optReal1.gold
    • pareto1.gold
    • pareto2.gold
    • pareto3.gold
    • pbAtLeast.gold
    • pbAtMost.gold
    • pbEq.gold
    • pbEq2.gold
    • pbExactly.gold
    • pbGe.gold
    • pbLe.gold
    • pbMutexed.gold
    • pbStronglyMutexed.gold
    • popCount1.gold
    • popCount2.gold
    • qEnum1.gold
    • qUninterp1.gold
    • quantified_prove_existsexists_contradiction_c.gold
    • quantified_prove_existsexists_contradiction_p.gold
    • quantified_prove_existsexists_satisfiable_c.gold
    • quantified_prove_existsexists_satisfiable_p.gold
    • quantified_prove_existsexists_thm_c.gold
    • quantified_prove_existsexists_thm_p.gold
    • quantified_prove_existsforall_contradiction_c.gold
    • quantified_prove_existsforall_contradiction_p.gold
    • quantified_prove_existsforall_satisfiable_c.gold
    • quantified_prove_existsforall_satisfiable_p.gold
    • quantified_prove_existsforall_thm_c.gold
    • quantified_prove_existsforall_thm_p.gold
    • quantified_prove_forallexists_contradiction_c.gold
    • quantified_prove_forallexists_contradiction_p.gold
    • quantified_prove_forallexists_satisfiable_c.gold
    • quantified_prove_forallexists_satisfiable_p.gold
    • quantified_prove_forallexists_thm_c.gold
    • quantified_prove_forallexists_thm_p.gold
    • quantified_prove_forallforall_contradiction_c.gold
    • quantified_prove_forallforall_contradiction_p.gold
    • quantified_prove_forallforall_satisfiable_c.gold
    • quantified_prove_forallforall_satisfiable_p.gold
    • quantified_prove_forallforall_thm_c.gold
    • quantified_prove_forallforall_thm_p.gold
    • quantified_sat_existsexists_contradiction_c.gold
    • quantified_sat_existsexists_contradiction_p.gold
    • quantified_sat_existsexists_satisfiable_c.gold
    • quantified_sat_existsexists_satisfiable_p.gold
    • quantified_sat_existsexists_thm_c.gold
    • quantified_sat_existsexists_thm_p.gold
    • quantified_sat_existsforall_contradiction_c.gold
    • quantified_sat_existsforall_contradiction_p.gold
    • quantified_sat_existsforall_satisfiable_c.gold
    • quantified_sat_existsforall_satisfiable_p.gold
    • quantified_sat_existsforall_thm_c.gold
    • quantified_sat_existsforall_thm_p.gold
    • quantified_sat_forallexists_contradiction_c.gold
    • quantified_sat_forallexists_contradiction_p.gold
    • quantified_sat_forallexists_satisfiable_c.gold
    • quantified_sat_forallexists_satisfiable_p.gold
    • quantified_sat_forallexists_thm_c.gold
    • quantified_sat_forallexists_thm_p.gold
    • quantified_sat_forallforall_contradiction_c.gold
    • quantified_sat_forallforall_contradiction_p.gold
    • quantified_sat_forallforall_satisfiable_c.gold
    • quantified_sat_forallforall_satisfiable_p.gold
    • quantified_sat_forallforall_thm_c.gold
    • quantified_sat_forallforall_thm_p.gold
    • query1.gold
    • queryArrays1.gold
    • queryArrays2.gold
    • queryArrays3.gold
    • queryArrays4.gold
    • queryArrays5.gold
    • queryArrays6.gold
    • query_Chars1.gold
    • query_Interpolant1.gold
    • query_Interpolant2.gold
    • query_Lists1.gold
    • query_Strings1.gold
    • query_abc.gold
    • query_badOption.gold
    • query_boolector.gold
    • query_cvc4.gold
    • query_mathsat.gold
    • query_yices.gold
    • query_z3.gold
    • reverse.gold
    • reverseAlt10.gold
    • safe1.gold
    • safe2.gold
    • selChecked.gold
    • selUnchecked.gold
    • seqConcat.gold
    • seqConcatBad.gold
    • seqExamples1.gold
    • seqExamples2.gold
    • seqExamples3.gold
    • seqExamples4.gold
    • seqExamples5.gold
    • seqExamples6.gold
    • seqExamples7.gold
    • seqExamples8.gold
    • seqIndexOf.gold
    • seqIndexOfBad.gold
    • sort.gold
    • squashReals1.gold
    • squashReals2.gold
    • squashReals3.gold
    • squashReals4.gold
    • strConcat.gold
    • strConcatBad.gold
    • strExamples1.gold
    • strExamples10.gold
    • strExamples11.gold
    • strExamples12.gold
    • strExamples13.gold
    • strExamples2.gold
    • strExamples3.gold
    • strExamples4.gold
    • strExamples5.gold
    • strExamples6.gold
    • strExamples7.gold
    • strExamples8.gold
    • strExamples9.gold
    • strIndexOf.gold
    • strIndexOfBad.gold
    • temperature.gold
    • tgen_c.gold
    • tgen_forte.gold
    • tgen_haskell.gold
    • timeout1.gold
  • TestSuite/
    • Arrays/
      • InitVals.hs
      • Memory.hs
      • Query.hs
    • Basics/
      • AllSat.hs
      • ArithNoSolver.hs
      • ArithSolver.hs
      • Assert.hs
      • BasicTests.hs
      • BoundedList.hs
      • Exceptions.hs
      • GenBenchmark.hs
      • Higher.hs
      • Index.hs
      • IteTest.hs
      • List.hs
      • ProofTests.hs
      • PseudoBoolean.hs
      • QRem.hs
      • Quantifiers.hs
      • Recursive.hs
      • SmallShifts.hs
      • SquashReals.hs
      • String.hs
      • TOut.hs
    • BitPrecise/
      • BitTricks.hs
      • Legato.hs
      • MergeSort.hs
      • PrefixSum.hs
    • CRC/
      • CCITT.hs
      • CCITT_Unidir.hs
      • GenPoly.hs
      • Parity.hs
      • USB5.hs
    • CodeGeneration/
      • AddSub.hs
      • CRC_USB5.hs
      • CgTests.hs
      • Fibonacci.hs
      • Floats.hs
      • GCD.hs
      • PopulationCount.hs
      • Uninterpreted.hs
    • Crypto/
      • AES.hs
      • RC4.hs
    • Existentials/
      • CRCPolynomial.hs
    • GenTest/
      • GenTests.hs
    • Optimization/
      • AssertWithPenalty.hs
      • Basics.hs
      • Combined.hs
      • ExtensionField.hs
      • NoOpt.hs
      • Quantified.hs
      • Reals.hs
    • Overflows/
      • Arithmetic.hs
      • Casts.hs
    • Polynomials/
      • Polynomials.hs
    • Puzzles/
      • Coins.hs
      • Counts.hs
      • DogCatMouse.hs
      • Euler185.hs
      • MagicSquare.hs
      • NQueens.hs
      • PowerSet.hs
      • Sudoku.hs
      • Temperature.hs
      • U2Bridge.hs
    • Queries/
      • BadOption.hs
      • BasicQuery.hs
      • Enums.hs
      • FreshVars.hs
      • Int_ABC.hs
      • Int_Boolector.hs
      • Int_CVC4.hs
      • Int_Mathsat.hs
      • Int_Yices.hs
      • Int_Z3.hs
      • Interpolants.hs
      • Lists.hs
      • Strings.hs
      • Uninterpreted.hs
    • QuickCheck/
      • QC.hs
    • Uninterpreted/
      • AUF.hs
      • Axioms.hs
      • Function.hs
      • Sort.hs
      • Uninterpreted.hs
  • Utils/
    • SBVTestFramework.hs