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

Directory listing for sbv-13.0 source tarball

sbv-13.0/

• CHANGES.md
• COPYRIGHT
• INSTALL
• LICENSE
• README.md
• Setup.hs
• sbv.cabal
• Data/
  • SBV.hs
  • SBV/
    • Char.hs
    • Client.hs
    • Control.hs
    • Dynamic.hs
    • Either.hs
    • Float.hs
    • Internals.hs
    • Lambda.hs
    • List.hs
    • Maybe.hs
    • Rational.hs
    • RegExp.hs
    • SCase.hs
    • SEnum.hs
    • Set.hs
    • TP.hs
    • Trans.hs
    • Tuple.hs
    • Client/
      • BaseIO.hs
    • Compilers/
      • C.hs
      • CodeGen.hs
    • Control/
      • BaseIO.hs
      • Query.hs
      • Types.hs
      • Utils.hs
    • Core/
      • AlgReals.hs
      • Concrete.hs
      • Data.hs
      • Floating.hs
      • Kind.hs
      • Model.hs
      • Operations.hs
      • Sized.hs
      • SizedFloats.hs
      • Symbolic.hs
    • Provers/
      • ABC.hs
      • Bitwuzla.hs
      • Boolector.hs
      • CVC4.hs
      • CVC5.hs
      • DReal.hs
      • MathSAT.hs
      • OpenSMT.hs
      • Prover.hs
      • Yices.hs
      • Z3.hs
    • SMT/
      • SMT.hs
      • SMTLib.hs
      • SMTLib2.hs
      • SMTLibNames.hs
      • Utils.hs
    • TP/
      • Kernel.hs
      • List.hs
      • TP.hs
      • Utils.hs
    • Tools/
      • BMC.hs
      • BVOptimize.hs
      • CodeGen.hs
      • GenTest.hs
      • Induction.hs
      • Overflow.hs
      • Polynomial.hs
      • Range.hs
      • STree.hs
      • WeakestPreconditions.hs
    • Trans/
      • Control.hs
    • Utils/
      • CrackNum.hs
      • ExtractIO.hs
      • Lib.hs
      • Numeric.hs
      • PrettyNum.hs
      • SExpr.hs
      • TDiff.hs
• Documentation/
  • SBV/
    • Examples/
      • ADT/
        • Expr.hs
        • Param.hs
        • Types.hs
      • BitPrecise/
        • BitTricks.hs
        • BrokenSearch.hs
        • Legato.hs
        • MergeSort.hs
        • PEXT_PDEP.hs
        • PrefixSum.hs
      • CodeGeneration/
        • AddSub.hs
        • CRC_USB5.hs
        • Fibonacci.hs
        • GCD.hs
        • PopulationCount.hs
        • Uninterpreted.hs
      • Crypto/
        • AES.hs
        • Prince.hs
        • RC4.hs
        • SHA.hs
      • DeltaSat/
        • DeltaSat.hs
      • Existentials/
        • Diophantine.hs
      • Lists/
        • BoundedMutex.hs
        • CountOutAndTransfer.hs
        • Fibonacci.hs
      • Misc/
        • Auxiliary.hs
        • Definitions.hs
        • Enumerate.hs
        • FirstOrderLogic.hs
        • Floating.hs
        • LambdaArray.hs
        • ModelExtract.hs
        • NestedArray.hs
        • Newtypes.hs
        • NoDiv0.hs
        • Polynomials.hs
        • ProgramPaths.hs
        • SetAlgebra.hs
        • SoftConstrain.hs
        • Tuple.hs
      • Optimization/
        • Enumerate.hs
        • ExtField.hs
        • LinearOpt.hs
        • Production.hs
        • VM.hs
      • ProofTools/
        • AddHorn.hs
        • BMC.hs
        • Fibonacci.hs
        • Strengthen.hs
        • Sum.hs
      • Puzzles/
        • AOC_2021_24.hs
        • Birthday.hs
        • Coins.hs
        • Counts.hs
        • DieHard.hs
        • DogCatMouse.hs
        • Drinker.hs
        • Euler185.hs
        • Fish.hs
        • Garden.hs
        • HexPuzzle.hs
        • Jugs.hs
        • KnightsAndKnaves.hs
        • LadyAndTigers.hs
        • MagicSquare.hs
        • Murder.hs
        • NQueens.hs
        • Newspaper.hs
        • Orangutans.hs
        • Rabbits.hs
        • SendMoreMoney.hs
        • Sudoku.hs
        • Tower.hs
        • U2Bridge.hs
      • Queries/
        • Abducts.hs
        • AllSat.hs
        • CaseSplit.hs
        • Concurrency.hs
        • Enums.hs
        • FourFours.hs
        • GuessNumber.hs
        • Interpolants.hs
        • UnsatCore.hs
      • Strings/
        • RegexCrossword.hs
        • SQLInjection.hs
      • TP/
        • Basics.hs
        • BinarySearch.hs
        • CaseSplit.hs
        • Fibonacci.hs
        • GCD.hs
        • InsertionSort.hs
        • Kleene.hs
        • Majority.hs
        • McCarthy91.hs
        • MergeSort.hs
        • Numeric.hs
        • Peano.hs
        • PowerMod.hs
        • QuickSort.hs
        • RevAcc.hs
        • Reverse.hs
        • ShefferStroke.hs
        • SortHelpers.hs
        • Sqrt2IsIrrational.hs
        • StrongInduction.hs
        • SumReverse.hs
        • Tao.hs
        • VM.hs
      • Transformers/
        • SymbolicEval.hs
      • Uninterpreted/
        • AUF.hs
        • Deduce.hs
        • Function.hs
        • Multiply.hs
        • Shannon.hs
        • Sort.hs
        • UISortAllSat.hs
      • WeakestPreconditions/
        • Append.hs
        • Basics.hs
        • Fib.hs
        • GCD.hs
        • IntDiv.hs
        • IntSqrt.hs
        • Length.hs
        • Sum.hs
• SBVBenchSuite/
  • SBVBench.hs
  • BenchSuite/
    • Bench/
      • Bench.hs
    • BitPrecise/
      • BitTricks.hs
      • BrokenSearch.hs
      • Legato.hs
      • MergeSort.hs
      • PrefixSum.hs
    • CodeGeneration/
      • AddSub.hs
      • CRC_USB5.hs
      • Fibonacci.hs
      • GCD.hs
      • PopulationCount.hs
      • Uninterpreted.hs
    • Crypto/
      • AES.hs
      • RC4.hs
      • SHA.hs
    • Existentials/
      • Diophantine.hs
    • Lists/
      • BoundedMutex.hs
      • Fibonacci.hs
    • Misc/
      • Auxiliary.hs
      • Enumerate.hs
      • Floating.hs
      • ModelExtract.hs
      • Newtypes.hs
      • NoDiv0.hs
      • Polynomials.hs
      • SetAlgebra.hs
      • SoftConstrain.hs
      • Tuple.hs
    • Optimization/
      • Enumerate.hs
      • ExtField.hs
      • Instances.hs
      • LinearOpt.hs
      • Production.hs
      • VM.hs
    • ProofTools/
      • BMC.hs
      • Fibonacci.hs
      • Strengthen.hs
      • Sum.hs
    • Puzzles/
      • Birthday.hs
      • Coins.hs
      • Counts.hs
      • DogCatMouse.hs
      • Euler185.hs
      • Garden.hs
      • LadyAndTigers.hs
      • MagicSquare.hs
      • NQueens.hs
      • SendMoreMoney.hs
      • Sudoku.hs
      • U2Bridge.hs
    • Queries/
      • AllSat.hs
      • CaseSplit.hs
      • Concurrency.hs
      • Enums.hs
      • FourFours.hs
      • GuessNumber.hs
      • Interpolants.hs
      • UnsatCore.hs
    • Strings/
      • RegexCrossword.hs
      • SQLInjection.hs
    • Transformers/
      • SymbolicEval.hs
    • Uninterpreted/
      • AUF.hs
      • Deduce.hs
      • Function.hs
      • Multiply.hs
      • Shannon.hs
      • Sort.hs
      • UISortAllSat.hs
    • WeakestPreconditions/
      • Append.hs
      • Basics.hs
      • Fib.hs
      • GCD.hs
      • Instances.hs
      • IntDiv.hs
      • IntSqrt.hs
      • Length.hs
      • Sum.hs
  • Utils/
    • SBVBenchFramework.hs
• SBVTestSuite/
  • SBVConnectionTest.hs
  • SBVDocTest.hs
  • SBVHLint.hs
  • SBVTest.hs
  • GoldFiles/
    • U2Bridge.gold
    • addSub.gold
    • adt00.gold
    • adt01.gold
    • adt02.gold
    • adt03.gold
    • adt04.gold
    • adt05.gold
    • adt06.gold
    • adt_chk01.gold
    • adt_expr00.gold
    • adt_expr00c.gold
    • adt_expr01.gold
    • adt_expr01c.gold
    • adt_expr02.gold
    • adt_expr02c.gold
    • adt_expr03.gold
    • adt_expr03c.gold
    • adt_expr04.gold
    • adt_expr05.gold
    • adt_expr06.gold
    • adt_expr06c.gold
    • adt_expr07.gold
    • adt_expr07c.gold
    • adt_expr08.gold
    • adt_expr08c.gold
    • adt_expr09.gold
    • adt_expr09c.gold
    • adt_expr10.gold
    • adt_expr10c.gold
    • adt_expr11.gold
    • adt_expr11c.gold
    • adt_expr12.gold
    • adt_expr12c.gold
    • adt_expr13.gold
    • adt_expr13c.gold
    • adt_expr14.gold
    • adt_expr14c.gold
    • adt_expr15.gold
    • adt_expr15c.gold
    • adt_expr16.gold
    • adt_expr16c.gold
    • adt_expr17.gold
    • adt_expr17c.gold
    • adt_expr18.gold
    • adt_expr18c.gold
    • adt_gen00.gold
    • adt_gen01.gold
    • adt_gen02.gold
    • adt_gen03.gold
    • adt_gen04.gold
    • adt_gen05.gold
    • adt_gen06.gold
    • adt_gen07.gold
    • adt_gen08.gold
    • adt_gen09.gold
    • adt_gen10.gold
    • adt_gen11.gold
    • adt_gen12.gold
    • adt_mr00.gold
    • adt_mr01.gold
    • adt_mr02.gold
    • adt_mr03.gold
    • adt_mr04.gold
    • adt_pchk01.gold
    • adt_pexpr00.gold
    • adt_pexpr00c.gold
    • adt_pexpr01.gold
    • adt_pexpr01c.gold
    • adt_pexpr02.gold
    • adt_pexpr02c.gold
    • adt_pexpr03.gold
    • adt_pexpr03c.gold
    • adt_pexpr04.gold
    • adt_pexpr05.gold
    • adt_pexpr06.gold
    • adt_pexpr06c.gold
    • adt_pexpr07.gold
    • adt_pexpr07c.gold
    • adt_pexpr08.gold
    • adt_pexpr08c.gold
    • adt_pexpr09.gold
    • adt_pexpr09c.gold
    • adt_pexpr10.gold
    • adt_pexpr10c.gold
    • adt_pexpr11.gold
    • adt_pexpr11c.gold
    • adt_pexpr12.gold
    • adt_pexpr12c.gold
    • adt_pexpr13.gold
    • adt_pexpr13c.gold
    • adt_pexpr14.gold
    • adt_pexpr14c.gold
    • adt_pexpr15.gold
    • adt_pexpr15c.gold
    • adt_pexpr16.gold
    • adt_pexpr16c.gold
    • adt_pexpr17.gold
    • adt_pexpr17c.gold
    • adt_pexpr18.gold
    • adt_pexpr18c.gold
    • adt_pexpr19.gold
    • adt_pexpr20.gold
    • adt_pexpr21.gold
    • adt_pgen00.gold
    • adt_pgen01.gold
    • adt_pgen02.gold
    • adt_pgen03.gold
    • adt_pgen04.gold
    • adt_pgen05.gold
    • adt_pgen06.gold
    • adt_pgen07.gold
    • adt_pgen08.gold
    • adt_pgen09.gold
    • adt_pgen10.gold
    • adt_pgen11.gold
    • adt_pgen12.gold
    • aes128Dec.gold
    • aes128Enc.gold
    • aes128Lib.gold
    • allSat1.gold
    • allSat2.gold
    • allSat3.gold
    • allSat4.gold
    • allSat5.gold
    • allSat6.gold
    • allSat7.gold
    • allSat8.gold
    • arbFp_opt_1.gold
    • arrayGetValTest1.gold
    • array_caching_01.gold
    • array_caching_02.gold
    • array_misc_1.gold
    • array_misc_11.gold
    • array_misc_12.gold
    • array_misc_13.gold
    • array_misc_14.gold
    • array_misc_15.gold
    • array_misc_16.gold
    • array_misc_17.gold
    • array_misc_18.gold
    • array_misc_19.gold
    • array_misc_2.gold
    • array_misc_20.gold
    • array_misc_21.gold
    • array_misc_22.gold
    • array_misc_23.gold
    • array_misc_24.gold
    • array_misc_25.gold
    • array_misc_26.gold
    • array_misc_27.gold
    • array_misc_28.gold
    • array_misc_29.gold
    • array_misc_3.gold
    • array_misc_30.gold
    • array_misc_31.gold
    • array_misc_5.gold
    • array_misc_7.gold
    • array_misc_9.gold
    • assertWithPenalty1.gold
    • assertWithPenalty2.gold
    • auf-1.gold
    • barrelRotate_Left_Int16_Word16.gold
    • barrelRotate_Left_Int16_Word32.gold
    • barrelRotate_Left_Int16_Word64.gold
    • barrelRotate_Left_Int16_Word8.gold
    • barrelRotate_Left_Int32_Word16.gold
    • barrelRotate_Left_Int32_Word32.gold
    • barrelRotate_Left_Int32_Word64.gold
    • barrelRotate_Left_Int32_Word8.gold
    • barrelRotate_Left_Int64_Word16.gold
    • barrelRotate_Left_Int64_Word32.gold
    • barrelRotate_Left_Int64_Word64.gold
    • barrelRotate_Left_Int64_Word8.gold
    • barrelRotate_Left_Int8_Word16.gold
    • barrelRotate_Left_Int8_Word32.gold
    • barrelRotate_Left_Int8_Word64.gold
    • barrelRotate_Left_Int8_Word8.gold
    • barrelRotate_Left_Word16_Word16.gold
    • barrelRotate_Left_Word16_Word32.gold
    • barrelRotate_Left_Word16_Word64.gold
    • barrelRotate_Left_Word16_Word8.gold
    • barrelRotate_Left_Word32_Word16.gold
    • barrelRotate_Left_Word32_Word32.gold
    • barrelRotate_Left_Word32_Word64.gold
    • barrelRotate_Left_Word32_Word8.gold
    • barrelRotate_Left_Word64_Word16.gold
    • barrelRotate_Left_Word64_Word32.gold
    • barrelRotate_Left_Word64_Word64.gold
    • barrelRotate_Left_Word64_Word8.gold
    • barrelRotate_Left_Word8_Word16.gold
    • barrelRotate_Left_Word8_Word32.gold
    • barrelRotate_Left_Word8_Word64.gold
    • barrelRotate_Left_Word8_Word8.gold
    • barrelRotate_Right_Int16_Word16.gold
    • barrelRotate_Right_Int16_Word32.gold
    • barrelRotate_Right_Int16_Word64.gold
    • barrelRotate_Right_Int16_Word8.gold
    • barrelRotate_Right_Int32_Word16.gold
    • barrelRotate_Right_Int32_Word32.gold
    • barrelRotate_Right_Int32_Word64.gold
    • barrelRotate_Right_Int32_Word8.gold
    • barrelRotate_Right_Int64_Word16.gold
    • barrelRotate_Right_Int64_Word32.gold
    • barrelRotate_Right_Int64_Word64.gold
    • barrelRotate_Right_Int64_Word8.gold
    • barrelRotate_Right_Int8_Word16.gold
    • barrelRotate_Right_Int8_Word32.gold
    • barrelRotate_Right_Int8_Word64.gold
    • barrelRotate_Right_Int8_Word8.gold
    • barrelRotate_Right_Word16_Word16.gold
    • barrelRotate_Right_Word16_Word32.gold
    • barrelRotate_Right_Word16_Word64.gold
    • barrelRotate_Right_Word16_Word8.gold
    • barrelRotate_Right_Word32_Word16.gold
    • barrelRotate_Right_Word32_Word32.gold
    • barrelRotate_Right_Word32_Word64.gold
    • barrelRotate_Right_Word32_Word8.gold
    • barrelRotate_Right_Word64_Word16.gold
    • barrelRotate_Right_Word64_Word32.gold
    • barrelRotate_Right_Word64_Word64.gold
    • barrelRotate_Right_Word64_Word8.gold
    • barrelRotate_Right_Word8_Word16.gold
    • barrelRotate_Right_Word8_Word32.gold
    • barrelRotate_Right_Word8_Word64.gold
    • barrelRotate_Right_Word8_Word8.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
    • ccitt.gold
    • cgUninterpret.gold
    • charConstr00.gold
    • charConstr01.gold
    • charConstr02.gold
    • charConstr03.gold
    • charConstr04.gold
    • charConstr05.gold
    • charConstr06.gold
    • charConstr07.gold
    • charConstr08.gold
    • charConstr09.gold
    • charConstr10.gold
    • charConstr11.gold
    • check1.gold
    • check2.gold
    • codeGen1.gold
    • coins.gold
    • combined1.gold
    • combined2.gold
    • constArr2_SArray.gold
    • constArr_SArray.gold
    • counts.gold
    • crcUSB5_1.gold
    • crcUSB5_2.gold
    • doctest_sanity.gold
    • dogCatMouse.gold
    • dsat01.gold
    • euler185.gold
    • exceptionLocal1.gold
    • exceptionLocal2.gold
    • exceptionRemote1.gold
    • fib1.gold
    • fib2.gold
    • floats_cgen.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
    • lambda01.gold
    • lambda02.gold
    • lambda03.gold
    • lambda04.gold
    • lambda05.gold
    • lambda06.gold
    • lambda07.gold
    • lambda08.gold
    • lambda09.gold
    • lambda10.gold
    • lambda11.gold
    • lambda12.gold
    • lambda13.gold
    • lambda14.gold
    • lambda15.gold
    • lambda16.gold
    • lambda17.gold
    • lambda18.gold
    • lambda19.gold
    • lambda20.gold
    • lambda21.gold
    • lambda22.gold
    • lambda23.gold
    • lambda24.gold
    • lambda25.gold
    • lambda26.gold
    • lambda27.gold
    • lambda28.gold
    • lambda29.gold
    • lambda30.gold
    • lambda31.gold
    • lambda32.gold
    • lambda33.gold
    • lambda34.gold
    • lambda35.gold
    • lambda36.gold
    • lambda37.gold
    • lambda38.gold
    • lambda40.gold
    • lambda41.gold
    • lambda42.gold
    • lambda43.gold
    • lambda44.gold
    • lambda45.gold
    • lambda46.gold
    • lambda47.gold
    • lambda47_c.gold
    • lambda48.gold
    • lambda48_c.gold
    • lambda49.gold
    • lambda49_c.gold
    • lambda50.gold
    • lambda50_c.gold
    • lambda51.gold
    • lambda51_c.gold
    • lambda52.gold
    • lambda52_c.gold
    • lambda53.gold
    • lambda54.gold
    • lambda55.gold
    • lambda56.gold
    • lambda57.gold
    • lambda58.gold
    • lambda59.gold
    • lambda60.gold
    • lambda61.gold
    • lambda62.gold
    • lambda63.gold
    • lambda64.gold
    • lambda65.gold
    • lambda66.gold
    • lambda67.gold
    • lambda68.gold
    • lambda69.gold
    • lambda70.gold
    • lambda71.gold
    • lambda72.gold
    • lambda73.gold
    • lambda74.gold
    • lambda75.gold
    • lambda76.gold
    • lambda77.gold
    • lambda78.gold
    • lambda79.gold
    • lambda80.gold
    • lambda81.gold
    • lambda82.gold
    • lambda83.gold
    • lambda84.gold
    • lambda85.gold
    • lambda86.gold
    • lambda87.gold
    • lambda88.gold
    • legato.gold
    • legato_c.gold
    • listFloat1.gold
    • listFloat2.gold
    • listFloat3.gold
    • merge.gold
    • nested1.gold
    • nested2.gold
    • nested3.gold
    • nested4.gold
    • noOpt1.gold
    • noOpt2.gold
    • nonlinear_cvc4.gold
    • nonlinear_cvc5.gold
    • nonlinear_z3.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
    • optFloat1a.gold
    • optFloat1b.gold
    • optFloat1c.gold
    • optFloat1d.gold
    • optFloat2a.gold
    • optFloat2b.gold
    • optFloat2c.gold
    • optFloat2d.gold
    • optFloat3.gold
    • optFloat4.gold
    • optQuant1.gold
    • optQuant2.gold
    • optQuant3.gold
    • optQuant4.gold
    • optQuant5.gold
    • optReal1.gold
    • optTuple1.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
    • quantifiedB_0.gold
    • quantifiedB_1.gold
    • quantifiedB_2.gold
    • quantifiedB_3.gold
    • quantifiedB_4.gold
    • quantifiedB_5.gold
    • quantifiedB_6.gold
    • quantifiedB_7.gold
    • quantifiedB_8.gold
    • quantifiedB_9.gold
    • quantifiedB_A.gold
    • quantifiedB_B.gold
    • quantified_prove_existsexists_contradiction_p.gold
    • quantified_prove_existsexists_satisfiable_p.gold
    • quantified_prove_existsexists_thm_p.gold
    • quantified_prove_existsforall_contradiction_p.gold
    • quantified_prove_existsforall_satisfiable_p.gold
    • quantified_prove_existsforall_thm_p.gold
    • quantified_prove_forallexists_contradiction_p.gold
    • quantified_prove_forallexists_satisfiable_p.gold
    • quantified_prove_forallexists_thm_p.gold
    • quantified_prove_forallforall_contradiction_p.gold
    • quantified_prove_forallforall_satisfiable_p.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
    • queryArrays10.gold
    • queryArrays11.gold
    • queryArrays12.gold
    • queryArrays13.gold
    • queryArrays14.gold
    • queryArrays15.gold
    • queryArrays16.gold
    • queryArrays17.gold
    • queryArrays2.gold
    • queryArrays3.gold
    • queryArrays4.gold
    • queryArrays5.gold
    • queryArrays6.gold
    • queryArrays7.gold
    • queryArrays8.gold
    • queryArrays9.gold
    • queryTables.gold
    • query_Chars1.gold
    • query_Interpolant1.gold
    • query_Interpolant2.gold
    • query_Interpolant3.gold
    • query_Interpolant4.gold
    • query_ListOfMaybe.gold
    • query_ListOfSum.gold
    • query_Lists1.gold
    • query_Maybe.gold
    • query_Strings1.gold
    • query_SumMaybeBoth.gold
    • query_Sums.gold
    • query_Tuples1.gold
    • query_Tuples2.gold
    • query_abc.gold
    • query_badOption.gold
    • query_bitwuzla.gold
    • query_boolector.gold
    • query_cvc4.gold
    • query_cvc5.gold
    • query_mathsat.gold
    • query_sumMergeEither1.gold
    • query_sumMergeEither2.gold
    • query_sumMergeMaybe1.gold
    • query_sumMergeMaybe2.gold
    • query_uiSat_test1.gold
    • query_uiSat_test2.gold
    • query_uisatex1.gold
    • query_uisatex2.gold
    • query_uisatex3.gold
    • query_yices.gold
    • query_z3.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
    • set_compl1.gold
    • set_delete1.gold
    • set_diff1.gold
    • set_disj1.gold
    • set_empty1.gold
    • set_full1.gold
    • set_insert1.gold
    • set_intersect1.gold
    • set_member1.gold
    • set_notMember1.gold
    • set_psubset1.gold
    • set_subset1.gold
    • set_tupleSet.gold
    • set_uninterp1.gold
    • set_uninterp2.gold
    • set_union1.gold
    • sha256HashBlock.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
    • sumBimapPlus.gold
    • sumEitherSat.gold
    • sumLiftEither.gold
    • sumLiftMaybe.gold
    • sumMaybe.gold
    • sumMaybeBoth.gold
    • sumMergeEither1.gold
    • sumMergeEither2.gold
    • sumMergeMaybe1.gold
    • sumMergeMaybe2.gold
    • temperature.gold
    • tgen_c.gold
    • tgen_forte.gold
    • tgen_haskell.gold
    • timeout1.gold
    • tuple_enum.gold
    • tuple_list.gold
    • tuple_makePair.gold
    • tuple_nested.gold
    • tuple_swap.gold
    • tuple_twoTwo.gold
    • tuple_unequal.gold
    • tuple_unit.gold
    • uiSat_test1.gold
    • uiSat_test2.gold
    • uiSat_test3.gold
    • unint-axioms-empty.gold
    • unint-axioms-query.gold
    • unint-axioms.gold
    • unint-sort01.gold
    • uninterpreted-3.gold
    • uninterpreted-3a.gold
    • uninterpreted-4.gold
    • uninterpreted-4a.gold
    • validate_0.gold
    • validate_1.gold
    • validate_2.gold
    • validate_3.gold
    • validate_4.gold
    • validate_5.gold
    • validate_6.gold
    • validate_7.gold
  • TestSuite/
    • ADT/
      • ADT.hs
      • Expr.hs
      • MutRec.hs
      • PExpr.hs
    • Arrays/
      • Caching.hs
      • InitVals.hs
      • Memory.hs
      • Query.hs
    • Basics/
      • AllSat.hs
      • ArbFloats.hs
      • ArithNoSolver.hs
      • ArithNoSolver2.hs
      • ArithSolver.hs
      • Assert.hs
      • BarrelRotate.hs
      • BasicTests.hs
      • DynSign.hs
      • EqSym.hs
      • Exceptions.hs
      • GenBenchmark.hs
      • Higher.hs
      • Index.hs
      • IteTest.hs
      • Lambda.hs
      • List.hs
      • ModelValidate.hs
      • Nonlinear.hs
      • ProofTests.hs
      • PseudoBoolean.hs
      • QRem.hs
      • Quantifiers.hs
      • Recursive.hs
      • Set.hs
      • SmallShifts.hs
      • SquashReals.hs
      • String.hs
      • Sum.hs
      • TOut.hs
      • Tuple.hs
      • UISat.hs
    • BitPrecise/
      • BitTricks.hs
      • Legato.hs
      • MergeSort.hs
      • PrefixSum.hs
    • CRC/
      • CCITT.hs
      • CCITT_Unidir.hs
      • GenPoly.hs
      • Parity.hs
      • USB5.hs
    • CantTypeCheck/
      • Misc.hs
    • Char/
      • Char.hs
    • CodeGeneration/
      • AddSub.hs
      • CRC_USB5.hs
      • CgTests.hs
      • Fibonacci.hs
      • Floats.hs
      • GCD.hs
      • PopulationCount.hs
      • Uninterpreted.hs
    • CompileTests/
      • SCase.hs
      • SCase/
        • Expr.hs
        • SCase01.hs
        • SCase01.stderr
        • SCase02.hs
        • SCase02.stderr
        • SCase03.hs
        • SCase03.stderr
        • SCase04.hs
        • SCase04.stderr
        • SCase05.hs
        • SCase05.stderr
        • SCase06.hs
        • SCase06.stderr
        • SCase07.hs
        • SCase07.stderr
        • SCase08.hs
        • SCase08.stderr
        • SCase09.hs
        • SCase09.stderr
        • SCase10.hs
        • SCase10.stderr
        • SCase11.hs
        • SCase11.stderr
        • SCase12.hs
        • SCase12.stderr
        • SCase13.hs
        • SCase13.stderr
        • SCase14.hs
        • SCase14.stderr
        • SCase15.hs
        • SCase15.stderr
        • SCase16.hs
        • SCase16.stderr
        • SCase17.hs
        • SCase17.stderr
        • SCase18.hs
        • SCase18.stderr
        • SCase19.hs
        • SCase19.stderr
        • SCase20.hs
        • SCase20.stderr
        • SCase21.hs
        • SCase21.stderr
        • SCase22.hs
        • SCase22.stderr
        • SCase23.hs
        • SCase23.stderr
        • SCase24.hs
        • SCase24.stderr
        • SCase25.hs
        • SCase25.stderr
        • SCase26.hs
        • SCase26.stderr
        • SCase27.hs
        • SCase27.stderr
        • SCase28.hs
        • SCase28.stderr
        • SCase29.hs
        • SCase29.stderr
        • SCase30.hs
        • SCase30.stderr
        • SCase31.hs
        • SCase31.stderr
        • SCase32.hs
        • SCase32.stderr
    • Crypto/
      • AES.hs
      • RC4.hs
      • SHA.hs
    • GenTest/
      • GenTests.hs
    • Optimization/
      • AssertWithPenalty.hs
      • Basics.hs
      • Combined.hs
      • ExtensionField.hs
      • Floats.hs
      • NoOpt.hs
      • Quantified.hs
      • Reals.hs
      • Tuples.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/
      • ArrayGetVal.hs
      • BadOption.hs
      • BasicQuery.hs
      • DSat.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
      • Sums.hs
      • Tables.hs
      • Tuples.hs
      • UISat.hs
      • UISatEx.hs
      • Uninterpreted.hs
    • QuickCheck/
      • QC.hs
    • Transformers/
      • SymbolicEval.hs
    • Uninterpreted/
      • AUF.hs
      • Axioms.hs
      • Function.hs
      • Sort.hs
      • Uninterpreted.hs
  • Utils/
    • SBVTestFramework.hs