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

Directory listing for sbv-14.0 source tarball

sbv-14.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
      • TH.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
      • 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
        • SquareBirthday.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/
        • Ackermann.hs
        • Basics.hs
        • BinarySearch.hs
        • CaseSplit.hs
        • Coins.hs
        • Collatz.hs
        • ConstFold.hs
        • Countdown.hs
        • Fibonacci.hs
        • GCD.hs
        • InsertionSort.hs
        • Kadane.hs
        • Kleene.hs
        • Lists.hs
        • Majority.hs
        • McCarthy91.hs
        • MergeSort.hs
        • MutualCorecursion.hs
        • NatStream.hs
        • Numeric.hs
        • Peano.hs
        • PigeonHole.hs
        • PowerMod.hs
        • Primes.hs
        • QuickSort.hs
        • RevAcc.hs
        • Reverse.hs
        • ShefferStroke.hs
        • SortHelpers.hs
        • Sqrt2IsIrrational.hs
        • StrongInduction.hs
        • SumReverse.hs
        • Tao.hs
        • TautologyChecker.hs
        • UpDown.hs
        • VM.hs
      • Transformers/
        • SymbolicEval.hs
      • Uninterpreted/
        • AUF.hs
        • Deduce.hs
        • EUFLogic.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_lit00.gold
    • adt_lit00c.gold
    • adt_lit01.gold
    • adt_lit01c.gold
    • adt_lit02.gold
    • adt_lit02c.gold
    • adt_lit03.gold
    • adt_lit03c.gold
    • adt_lit04.gold
    • adt_lit04c.gold
    • adt_lit05.gold
    • adt_lit05c.gold
    • adt_mr00.gold
    • adt_mr01.gold
    • adt_mr02.gold
    • adt_mr03.gold
    • adt_mr04.gold
    • adt_nested00.gold
    • adt_nested00c.gold
    • adt_nested01.gold
    • adt_nested01c.gold
    • adt_nested02.gold
    • adt_nested02c.gold
    • adt_nested03.gold
    • adt_nested03c.gold
    • adt_nested04.gold
    • adt_nested04c.gold
    • adt_nested05.gold
    • adt_nested05c.gold
    • adt_nested06.gold
    • adt_nested06c.gold
    • adt_nested07.gold
    • adt_nested07c.gold
    • adt_nested08.gold
    • adt_nested08c.gold
    • adt_nested09.gold
    • adt_nested09c.gold
    • adt_nested10.gold
    • adt_nested10c.gold
    • adt_nested11.gold
    • adt_nested11c.gold
    • adt_nested12.gold
    • adt_nested12c.gold
    • adt_nested13.gold
    • adt_nested13c.gold
    • adt_nested14.gold
    • adt_nested14c.gold
    • adt_nested15.gold
    • adt_nested15c.gold
    • adt_nested16.gold
    • adt_nested16c.gold
    • adt_nested17.gold
    • adt_nested17c.gold
    • adt_nested18.gold
    • adt_nested19.gold
    • adt_nested19c.gold
    • adt_nested20.gold
    • adt_nested20c.gold
    • adt_nested21.gold
    • adt_nested21c.gold
    • adt_nested22.gold
    • adt_nested22c.gold
    • adt_nested23.gold
    • adt_nested24.gold
    • adt_nested25.gold
    • adt_nested25c.gold
    • adt_nested26.gold
    • adt_nested26c.gold
    • adt_nested27.gold
    • adt_nested27c.gold
    • adt_nested28.gold
    • adt_nested28c.gold
    • adt_nested29.gold
    • adt_nested30.gold
    • adt_nested30c.gold
    • adt_nested31.gold
    • adt_nested31c.gold
    • adt_nested32.gold
    • adt_nested32c.gold
    • adt_nested33.gold
    • adt_nested33c.gold
    • adt_nested34.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
    • lambda57a.gold
    • lambda57b.gold
    • lambda57c.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
    • qOpt_1.gold
    • qOpt_2.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
    • recursive10_mutual.gold
    • recursive11_chain.gold
    • recursive12_badMutual.gold
    • recursive13_mutualMeasure.gold
    • recursive14_badMutualMeasure.gold
    • recursive15_mixedMutualMeasure.gold
    • recursive16_badMixedMutualMeasure.gold
    • recursive17_chainMeasure.gold
    • recursive19_selfAndMutual.gold
    • recursive1_ack.gold
    • recursive20_mutualTP.gold
    • recursive21_allSelfBadCross.gold
    • recursive22_allSelfGoodCross.gold
    • recursive23_mutualProductive.gold
    • recursive24_badMutualProductive.gold
    • recursive25_contractMutualRejected.gold
    • recursive26_selfAndMutualProductive.gold
    • recursive27_mutualProductive3.gold
    • recursive28_noTermCheck.gold
    • recursive2_enum.gold
    • recursive3_badMeasure.gold
    • recursive4_mcCarthy91.gold
    • recursive5_badContract.gold
    • recursive6_uselessContract.gold
    • recursive7_productive.gold
    • recursive8_badProductive.gold
    • recursive9_productive2.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
    • smtFuncUniq_captureConflict.gold
    • smtFuncUniq_captureTagged.gold
    • smtFuncUniq_conflict.gold
    • smtFuncUniq_recursiveConflict.gold
    • smtFuncUniq_recursiveOk.gold
    • smtFuncUniq_sameOk.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
    • tpCache_alias.gold
    • tpCache_calcCollapse.gold
    • tpCache_hit.gold
    • tpCache_miss.gold
    • tpCache_nested.gold
    • tpCache_statsHit.gold
    • tpCache_statsMiss.gold
    • tpCache_statsNested.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-1a.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
      • SmtFunctionUnique.hs
      • SquashReals.hs
      • String.hs
      • Sum.hs
      • TOut.hs
      • TPCaching.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/
      • PCase.hs
      • SCase.hs
      • PCase/
        • Expr.hs
        • PCase01.hs
        • PCase01.stderr
        • PCase02.hs
        • PCase02.stderr
        • PCase03.hs
        • PCase03.stderr
        • PCase04.hs
        • PCase04.stderr
        • PCase05.hs
        • PCase05.stderr
        • PCase06.hs
        • PCase06.stderr
        • PCase07.hs
        • PCase07.stderr
        • PCase08.hs
        • PCase08.stderr
        • PCase09.hs
        • PCase09.stderr
        • PCase10.hs
        • PCase10.stderr
        • PCase11.hs
        • PCase11.stderr
        • PCase12.hs
        • PCase12.stderr
        • PCase13.hs
        • PCase13.stderr
        • PCase14.hs
        • PCase14.stderr
        • PCase15.hs
        • PCase15.stderr
        • PCase16.hs
        • PCase16.stderr
        • PCase17.hs
        • PCase17.stderr
        • PCase18.hs
        • PCase18.stderr
        • PCase19.hs
        • PCase19.stderr
        • PCase20.hs
        • PCase20.stderr
        • PCase21.hs
        • PCase21.stderr
        • PCase22.hs
        • PCase22.stderr
        • PCase23.hs
        • PCase23.stderr
        • PCase24.hs
        • PCase24.stderr
        • PCase25.hs
        • PCase25.stderr
        • PCase26.hs
        • PCase26.stderr
        • PCase27.hs
        • PCase27.stderr
        • PCase28.hs
        • PCase28.stderr
        • PCase29.hs
        • PCase29.stderr
        • PCase30.hs
        • PCase30.stderr
        • PCase31.hs
        • PCase31.stderr
        • PCase32.hs
        • PCase32.stderr
        • PCase33.hs
        • PCase33.stderr
        • PCase34.hs
        • PCase34.stderr
        • PCase35.hs
        • PCase35.stderr
        • PCase36.hs
        • PCase36.stderr
        • PCase37.hs
        • PCase37.stderr
        • PCase38.hs
        • PCase38.stderr
        • PCase39.hs
        • PCase39.stderr
        • PCase40.hs
        • PCase40.stderr
        • PCase41.hs
        • PCase41.stderr
        • PCase42.hs
        • PCase42.stderr
        • PCase43.hs
        • PCase43.stderr
        • PCase44.hs
        • PCase44.stderr
        • PCase45.hs
        • PCase45.stderr
        • PCase46.hs
        • PCase46.stderr
        • PCase47.hs
        • PCase47.stderr
        • PCase48.hs
        • PCase48.stderr
        • PCase49.hs
        • PCase49.stderr
        • PCase50.hs
        • PCase50.stderr
        • PCase51.hs
        • PCase51.stderr
        • PCase52.hs
        • PCase52.stderr
        • PCase53.hs
        • PCase53.stderr
        • PCase54.hs
        • PCase54.stderr
        • PCase55.hs
        • PCase55.stderr
        • PCase56.hs
        • PCase56.stderr
        • PCase57.hs
        • PCase57.stderr
        • PCase58.hs
        • PCase58.stderr
        • PCase59.hs
        • PCase59.stderr
        • PCase60.hs
        • PCase60.stderr
        • PCase61.hs
        • PCase61.stderr
        • PCase62.hs
        • PCase62.stderr
        • PCase63.hs
        • PCase63.stderr
        • PCase64.hs
        • PCase64.stderr
        • PCase65.hs
        • PCase65.stderr
        • PCase66.hs
        • PCase66.stderr
        • PCase67.hs
        • PCase67.stderr
        • PCase68.hs
        • PCase68.stderr
        • PCase69.hs
        • PCase69.stderr
        • PCase70.hs
        • PCase70.stderr
        • PCase71.hs
        • PCase71.stderr
        • PCase72.hs
        • PCase72.stderr
        • PCase73.hs
        • PCase73.stderr
        • PCase74.hs
        • PCase74.stderr
        • PCase75.hs
        • PCase75.stderr
        • PCase76.hs
        • PCase76.stderr
      • 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
        • SCase100.hs
        • SCase100.stderr
        • SCase101.hs
        • SCase101.stderr
        • SCase102.hs
        • SCase102.stderr
        • SCase103.hs
        • SCase103.stderr
        • SCase104.hs
        • SCase104.stderr
        • SCase105.hs
        • SCase105.stderr
        • SCase106.hs
        • SCase106.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
        • SCase33.hs
        • SCase33.stderr
        • SCase34.hs
        • SCase34.stderr
        • SCase35.hs
        • SCase35.stderr
        • SCase36.hs
        • SCase36.stderr
        • SCase37.hs
        • SCase37.stderr
        • SCase38.hs
        • SCase38.stderr
        • SCase39.hs
        • SCase39.stderr
        • SCase40.hs
        • SCase40.stderr
        • SCase41.hs
        • SCase41.stderr
        • SCase42.hs
        • SCase42.stderr
        • SCase43.hs
        • SCase43.stderr
        • SCase44.hs
        • SCase44.stderr
        • SCase45.hs
        • SCase45.stderr
        • SCase46.hs
        • SCase46.stderr
        • SCase47.hs
        • SCase47.stderr
        • SCase48.hs
        • SCase48.stderr
        • SCase49.hs
        • SCase49.stderr
        • SCase50.hs
        • SCase50.stderr
        • SCase51.hs
        • SCase51.stderr
        • SCase52.hs
        • SCase52.stderr
        • SCase53.hs
        • SCase53.stderr
        • SCase54.hs
        • SCase54.stderr
        • SCase55.hs
        • SCase55.stderr
        • SCase56.hs
        • SCase56.stderr
        • SCase57.hs
        • SCase57.stderr
        • SCase58.hs
        • SCase58.stderr
        • SCase59.hs
        • SCase59.stderr
        • SCase60.hs
        • SCase60.stderr
        • SCase61.hs
        • SCase61.stderr
        • SCase62.hs
        • SCase62.stderr
        • SCase63.hs
        • SCase63.stderr
        • SCase64.hs
        • SCase64.stderr
        • SCase65.hs
        • SCase65.stderr
        • SCase66.hs
        • SCase66.stderr
        • SCase67.hs
        • SCase67.stderr
        • SCase68.hs
        • SCase68.stderr
        • SCase69.hs
        • SCase69.stderr
        • SCase70.hs
        • SCase70.stderr
        • SCase71.hs
        • SCase71.stderr
        • SCase72.hs
        • SCase72.stderr
        • SCase73.hs
        • SCase73.stderr
        • SCase74.hs
        • SCase74.stderr
        • SCase75.hs
        • SCase75.stderr
        • SCase76.hs
        • SCase76.stderr
        • SCase77.hs
        • SCase77.stderr
        • SCase78.hs
        • SCase78.stderr
        • SCase79.hs
        • SCase79.stderr
        • SCase80.hs
        • SCase80.stderr
        • SCase81.hs
        • SCase81.stderr
        • SCase82.hs
        • SCase82.stderr
        • SCase83.hs
        • SCase83.stderr
        • SCase84.hs
        • SCase84.stderr
        • SCase85.hs
        • SCase85.stderr
        • SCase86.hs
        • SCase86.stderr
        • SCase87.hs
        • SCase87.stderr
        • SCase88.hs
        • SCase88.stderr
        • SCase89.hs
        • SCase89.stderr
        • SCase90.hs
        • SCase90.stderr
        • SCase91.hs
        • SCase91.stderr
        • SCase92.hs
        • SCase92.stderr
        • SCase93.hs
        • SCase93.stderr
        • SCase94.hs
        • SCase94.stderr
        • SCase95.hs
        • SCase95.stderr
        • SCase96.hs
        • SCase96.stderr
        • SCase97.hs
        • SCase97.stderr
        • SCase98.hs
        • SCase98.stderr
        • SCase99.hs
        • SCase99.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
      • EUFLogic.hs
      • Function.hs
      • Sort.hs
      • Uninterpreted.hs
  • Utils/
    • SBVTestFramework.hs