├── .claude └── settings.local.json ├── .github └── workflows │ ├── haskell-ci.yml │ └── hlint.yml ├── .gitignore ├── .hlint.yaml ├── CHANGES.md ├── COPYRIGHT ├── Data ├── SBV.hs └── SBV │ ├── Char.hs │ ├── Client.hs │ ├── Client │ └── BaseIO.hs │ ├── Compilers │ ├── C.hs │ └── CodeGen.hs │ ├── Control.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 │ ├── Dynamic.hs │ ├── Either.hs │ ├── Float.hs │ ├── Internals.hs │ ├── Lambda.hs │ ├── List.hs │ ├── Maybe.hs │ ├── Provers │ ├── ABC.hs │ ├── Bitwuzla.hs │ ├── Boolector.hs │ ├── CVC4.hs │ ├── CVC5.hs │ ├── DReal.hs │ ├── MathSAT.hs │ ├── OpenSMT.hs │ ├── Prover.hs │ ├── Yices.hs │ └── Z3.hs │ ├── Rational.hs │ ├── RegExp.hs │ ├── SCase.hs │ ├── SEnum.hs │ ├── SMT │ ├── SMT.hs │ ├── SMTLib.hs │ ├── SMTLib2.hs │ ├── SMTLibNames.hs │ └── Utils.hs │ ├── Set.hs │ ├── TP.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.hs │ ├── Trans │ └── Control.hs │ ├── Tuple.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 │ ├── Primes.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 │ ├── 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 ├── INSTALL ├── LICENSE ├── Makefile ├── README.md ├── SBVBenchSuite ├── 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 ├── SBVBench.hs └── Utils │ └── SBVBenchFramework.hs ├── SBVTestSuite ├── 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-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 ├── SBVConnectionTest.hs ├── SBVDocTest.hs ├── SBVHLint.hs ├── SBVTest.hs ├── 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 │ │ ├── EUFLogic.hs │ │ ├── Function.hs │ │ ├── Sort.hs │ │ └── Uninterpreted.hs └── Utils │ └── SBVTestFramework.hs ├── SMTSolverVersions.md ├── Setup.hs └── sbv.cabal /.claude/settings.local.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/.claude/settings.local.json -------------------------------------------------------------------------------- /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.github/workflows/hlint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/.github/workflows/hlint.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- 1 | - ignore: {name: "Use otherwise"} 2 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/CHANGES.md -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/COPYRIGHT -------------------------------------------------------------------------------- /Data/SBV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV.hs -------------------------------------------------------------------------------- /Data/SBV/Char.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Char.hs -------------------------------------------------------------------------------- /Data/SBV/Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Client.hs -------------------------------------------------------------------------------- /Data/SBV/Client/BaseIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Client/BaseIO.hs -------------------------------------------------------------------------------- /Data/SBV/Compilers/C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Compilers/C.hs -------------------------------------------------------------------------------- /Data/SBV/Compilers/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Compilers/CodeGen.hs -------------------------------------------------------------------------------- /Data/SBV/Control.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Control.hs -------------------------------------------------------------------------------- /Data/SBV/Control/BaseIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Control/BaseIO.hs -------------------------------------------------------------------------------- /Data/SBV/Control/Query.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Control/Query.hs -------------------------------------------------------------------------------- /Data/SBV/Control/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Control/Types.hs -------------------------------------------------------------------------------- /Data/SBV/Control/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Control/Utils.hs -------------------------------------------------------------------------------- /Data/SBV/Core/AlgReals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/AlgReals.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Concrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Concrete.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Data.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Floating.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Floating.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Kind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Kind.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Model.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Operations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Operations.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Sized.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Sized.hs -------------------------------------------------------------------------------- /Data/SBV/Core/SizedFloats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/SizedFloats.hs -------------------------------------------------------------------------------- /Data/SBV/Core/Symbolic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Core/Symbolic.hs -------------------------------------------------------------------------------- /Data/SBV/Dynamic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Dynamic.hs -------------------------------------------------------------------------------- /Data/SBV/Either.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Either.hs -------------------------------------------------------------------------------- /Data/SBV/Float.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Float.hs -------------------------------------------------------------------------------- /Data/SBV/Internals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Internals.hs -------------------------------------------------------------------------------- /Data/SBV/Lambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Lambda.hs -------------------------------------------------------------------------------- /Data/SBV/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/List.hs -------------------------------------------------------------------------------- /Data/SBV/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Maybe.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/ABC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/ABC.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/Bitwuzla.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/Bitwuzla.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/Boolector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/Boolector.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/CVC4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/CVC4.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/CVC5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/CVC5.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/DReal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/DReal.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/MathSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/MathSAT.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/OpenSMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/OpenSMT.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/Prover.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/Prover.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/Yices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/Yices.hs -------------------------------------------------------------------------------- /Data/SBV/Provers/Z3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Provers/Z3.hs -------------------------------------------------------------------------------- /Data/SBV/Rational.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Rational.hs -------------------------------------------------------------------------------- /Data/SBV/RegExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/RegExp.hs -------------------------------------------------------------------------------- /Data/SBV/SCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SCase.hs -------------------------------------------------------------------------------- /Data/SBV/SEnum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SEnum.hs -------------------------------------------------------------------------------- /Data/SBV/SMT/SMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SMT/SMT.hs -------------------------------------------------------------------------------- /Data/SBV/SMT/SMTLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SMT/SMTLib.hs -------------------------------------------------------------------------------- /Data/SBV/SMT/SMTLib2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SMT/SMTLib2.hs -------------------------------------------------------------------------------- /Data/SBV/SMT/SMTLibNames.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SMT/SMTLibNames.hs -------------------------------------------------------------------------------- /Data/SBV/SMT/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/SMT/Utils.hs -------------------------------------------------------------------------------- /Data/SBV/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Set.hs -------------------------------------------------------------------------------- /Data/SBV/TP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/TP.hs -------------------------------------------------------------------------------- /Data/SBV/TP/Kernel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/TP/Kernel.hs -------------------------------------------------------------------------------- /Data/SBV/TP/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/TP/List.hs -------------------------------------------------------------------------------- /Data/SBV/TP/TP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/TP/TP.hs -------------------------------------------------------------------------------- /Data/SBV/TP/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/TP/Utils.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/BMC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/BMC.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/BVOptimize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/BVOptimize.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/CodeGen.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/GenTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/GenTest.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/Induction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/Induction.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/Overflow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/Overflow.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/Polynomial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/Polynomial.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/Range.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/Range.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/STree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/STree.hs -------------------------------------------------------------------------------- /Data/SBV/Tools/WeakestPreconditions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tools/WeakestPreconditions.hs -------------------------------------------------------------------------------- /Data/SBV/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Trans.hs -------------------------------------------------------------------------------- /Data/SBV/Trans/Control.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Trans/Control.hs -------------------------------------------------------------------------------- /Data/SBV/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Tuple.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/CrackNum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/CrackNum.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/ExtractIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/ExtractIO.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/Lib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/Lib.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/Numeric.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/Numeric.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/PrettyNum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/PrettyNum.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/SExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/SExpr.hs -------------------------------------------------------------------------------- /Data/SBV/Utils/TDiff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Data/SBV/Utils/TDiff.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/ADT/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/ADT/Expr.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/ADT/Param.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/ADT/Param.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/ADT/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/ADT/Types.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/BitPrecise/Legato.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/BitPrecise/Legato.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/CodeGeneration/GCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/CodeGeneration/GCD.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Crypto/AES.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Crypto/AES.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Crypto/Prince.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Crypto/Prince.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Crypto/RC4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Crypto/RC4.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Crypto/SHA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Crypto/SHA.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/DeltaSat/DeltaSat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/DeltaSat/DeltaSat.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Lists/BoundedMutex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Lists/BoundedMutex.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Lists/Fibonacci.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Lists/Fibonacci.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Auxiliary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Auxiliary.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Definitions.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Enumerate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Enumerate.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Floating.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Floating.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/LambdaArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/LambdaArray.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/ModelExtract.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/ModelExtract.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/NestedArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/NestedArray.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Newtypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Newtypes.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/NoDiv0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/NoDiv0.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Polynomials.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Polynomials.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/ProgramPaths.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/ProgramPaths.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/SetAlgebra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/SetAlgebra.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/SoftConstrain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/SoftConstrain.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Misc/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Misc/Tuple.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Optimization/VM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Optimization/VM.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/ProofTools/AddHorn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/ProofTools/AddHorn.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/ProofTools/BMC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/ProofTools/BMC.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/ProofTools/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/ProofTools/Sum.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Birthday.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Birthday.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Coins.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Coins.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Counts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Counts.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/DieHard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/DieHard.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Drinker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Drinker.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Euler185.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Euler185.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Fish.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Fish.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Garden.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Garden.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/HexPuzzle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/HexPuzzle.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Jugs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Jugs.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Murder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Murder.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/NQueens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/NQueens.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Newspaper.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Newspaper.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Rabbits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Rabbits.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Sudoku.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Sudoku.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/Tower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/Tower.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Puzzles/U2Bridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Puzzles/U2Bridge.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Queries/Abducts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Queries/Abducts.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Queries/AllSat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Queries/AllSat.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/Queries/Enums.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/Queries/Enums.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Basics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Basics.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/BinarySearch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/BinarySearch.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/CaseSplit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/CaseSplit.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Fibonacci.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Fibonacci.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/GCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/GCD.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/InsertionSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/InsertionSort.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Kleene.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Kleene.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Majority.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Majority.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/McCarthy91.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/McCarthy91.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/MergeSort.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Numeric.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Numeric.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Peano.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Peano.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/PowerMod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/PowerMod.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Primes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Primes.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/QuickSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/QuickSort.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/RevAcc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/RevAcc.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Reverse.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/ShefferStroke.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/ShefferStroke.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/SortHelpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/SortHelpers.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/SumReverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/SumReverse.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/Tao.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/Tao.hs -------------------------------------------------------------------------------- /Documentation/SBV/Examples/TP/VM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Documentation/SBV/Examples/TP/VM.hs -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/README.md -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Bench/Bench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Bench/Bench.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/BitPrecise/Legato.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/BitPrecise/Legato.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/CodeGeneration/GCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/CodeGeneration/GCD.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Crypto/AES.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Crypto/AES.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Crypto/RC4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Crypto/RC4.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Crypto/SHA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Crypto/SHA.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Lists/BoundedMutex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Lists/BoundedMutex.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Lists/Fibonacci.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Lists/Fibonacci.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/Auxiliary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/Auxiliary.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/Enumerate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/Enumerate.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/Floating.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/Floating.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/ModelExtract.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/ModelExtract.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/Newtypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/Newtypes.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/NoDiv0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/NoDiv0.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/Polynomials.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/Polynomials.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/SetAlgebra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/SetAlgebra.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/SoftConstrain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/SoftConstrain.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Misc/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Misc/Tuple.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Optimization/VM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Optimization/VM.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/ProofTools/BMC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/ProofTools/BMC.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/ProofTools/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/ProofTools/Sum.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/Birthday.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/Birthday.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/Coins.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/Coins.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/Counts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/Counts.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/Euler185.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/Euler185.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/Garden.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/Garden.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/NQueens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/NQueens.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/Sudoku.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/Sudoku.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Puzzles/U2Bridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Puzzles/U2Bridge.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Queries/AllSat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Queries/AllSat.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Queries/CaseSplit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Queries/CaseSplit.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Queries/Enums.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Queries/Enums.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Queries/FourFours.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Queries/FourFours.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Queries/UnsatCore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Queries/UnsatCore.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Uninterpreted/AUF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Uninterpreted/AUF.hs -------------------------------------------------------------------------------- /SBVBenchSuite/BenchSuite/Uninterpreted/Sort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/BenchSuite/Uninterpreted/Sort.hs -------------------------------------------------------------------------------- /SBVBenchSuite/SBVBench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/SBVBench.hs -------------------------------------------------------------------------------- /SBVBenchSuite/Utils/SBVBenchFramework.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVBenchSuite/Utils/SBVBenchFramework.hs -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/U2Bridge.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/U2Bridge.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/addSub.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/addSub.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_chk01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_chk01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr00c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr00c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr01c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr01c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr02c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr02c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr03c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr03c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr06c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr06c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr07.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr07.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr07c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr07c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr08.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr08.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr08c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr08c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr09.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr09.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr09c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr09c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr10c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr10c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr11c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr11c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr12c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr12c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr13.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr13.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr13c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr13c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr14.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr14.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr14c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr14c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr15.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr15.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr15c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr15c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr16.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr16.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr16c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr16c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr17.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr17.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr17c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr17c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr18.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr18.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_expr18c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_expr18c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen07.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen07.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen08.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen08.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen09.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen09.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_gen12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_gen12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_mr00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_mr00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_mr01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_mr01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_mr02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_mr02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_mr03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_mr03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_mr04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_mr04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pchk01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pchk01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr00c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr00c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr01c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr01c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr02c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr02c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr03c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr03c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr06c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr06c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr07.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr07.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr07c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr07c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr08.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr08.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr08c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr08c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr09.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr09.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr09c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr09c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr10c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr10c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr11c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr11c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr12c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr12c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr13.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr13.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr13c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr13c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr14.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr14.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr14c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr14c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr15.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr15.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr15c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr15c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr16.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr16.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr16c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr16c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr17.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr17.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr17c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr17c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr18.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr18.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr18c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr18c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr19.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr19.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr20.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr20.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pexpr21.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pexpr21.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen07.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen07.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen08.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen08.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen09.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen09.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/adt_pgen12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/adt_pgen12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/aes128Dec.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/aes128Dec.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/aes128Enc.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/aes128Enc.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/aes128Lib.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/aes128Lib.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat4.gold: -------------------------------------------------------------------------------- 1 | No solutions found. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat6.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat6.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat7.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/allSat8.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/allSat8.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/arbFp_opt_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/arbFp_opt_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/arrayGetValTest1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/arrayGetValTest1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_caching_01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_caching_01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_caching_02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_caching_02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_13.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_13.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_14.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_14.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_15.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_15.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_16.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_16.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_17.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_17.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_18.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_18.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_19.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_19.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_20.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_20.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_21.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_21.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_22.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_22.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_23.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_23.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_24.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_24.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_25.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_25.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_26.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_26.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_27.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_27.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_28.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_28.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_29.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_29.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_30.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_30.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_31.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_31.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_7.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/array_misc_9.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/array_misc_9.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/assertWithPenalty1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/assertWithPenalty1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/assertWithPenalty2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/assertWithPenalty2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/auf-1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/auf-1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-1_1.gold: -------------------------------------------------------------------------------- 1 | 5 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-1_2.gold: -------------------------------------------------------------------------------- 1 | 5 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-1_3.gold: -------------------------------------------------------------------------------- 1 | 25 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-1_4.gold: -------------------------------------------------------------------------------- 1 | 25 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-1_5.gold: -------------------------------------------------------------------------------- 1 | 4 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-2_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-2_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-2_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-2_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-2_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-2_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-2_4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-2_4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-2_5.gold: -------------------------------------------------------------------------------- 1 | 4 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-3_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-3_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-3_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-3_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-3_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-3_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-3_4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-3_4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-3_5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-3_5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-4_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-4_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-4_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-4_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-4_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-4_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-4_4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-4_4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-4_5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-4_5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-5_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-5_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-5_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-5_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-5_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-5_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-5_4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-5_4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/basic-5_5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/basic-5_5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/ccitt.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/ccitt.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/cgUninterpret.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/cgUninterpret.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr00.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr00.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr07.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr07.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr08.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr08.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr09.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr09.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/charConstr11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/charConstr11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/check1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/check1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/check2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/check2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/codeGen1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/codeGen1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/coins.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/coins.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/combined1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/combined1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/combined2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/combined2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/constArr2_SArray.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/constArr2_SArray.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/constArr_SArray.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/constArr_SArray.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/counts.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/counts.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/crcUSB5_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/crcUSB5_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/crcUSB5_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/crcUSB5_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/doctest_sanity.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/doctest_sanity.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/dogCatMouse.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/dogCatMouse.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/dsat01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/dsat01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/euler185.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/euler185.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/exceptionLocal1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/exceptionLocal1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/exceptionLocal2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/exceptionLocal2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/exceptionRemote1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/exceptionRemote1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/fib1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/fib1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/fib2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/fib2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/floats_cgen.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/floats_cgen.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/freshVars.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/freshVars.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/gcd.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/gcd.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/genBenchMark1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/genBenchMark1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/genBenchMark2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/genBenchMark2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-1.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-2.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-3.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-4.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-5.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-6.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-7.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-8.gold: -------------------------------------------------------------------------------- 1 | Q.E.D. -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/higher-9.gold: -------------------------------------------------------------------------------- 1 | Falsifiable. Counter-example: 2 | s0 = 128 :: Word8 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda01.gold: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda02.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda02.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda03.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda03.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda04.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda04.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda05.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda05.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda06.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda06.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda07.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda07.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda08.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda08.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda09.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda09.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda13.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda13.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda14.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda14.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda15.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda15.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda16.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda16.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda17.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda17.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda18.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda18.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda19.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda19.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda20.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda20.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda21.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda21.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda22.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda22.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda23.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda23.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda24.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda24.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda25.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda25.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda26.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda26.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda27.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda27.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda28.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda28.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda29.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda29.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda30.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda30.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda31.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda31.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda32.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda32.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda33.gold: -------------------------------------------------------------------------------- 1 | #x00 2 | -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda34.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda34.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda35.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda35.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda36.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda36.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda37.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda37.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda38.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda38.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda40.gold: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda41.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda41.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda42.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda42.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda43.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda43.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda44.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda44.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda45.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda45.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda46.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda46.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda47.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda47.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda47_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda47_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda48.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda48.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda48_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda48_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda49.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda49.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda49_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda49_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda50.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda50.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda50_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda50_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda51.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda51.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda51_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda51_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda52.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda52.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda52_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda52_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda53.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda53.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda54.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda54.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda55.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda55.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda56.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda56.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda57.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda57.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda58.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda58.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda59.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda59.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda60.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda60.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda61.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda61.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda62.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda62.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda63.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda63.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda64.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda64.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda65.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda65.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda66.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda66.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda67.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda67.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda68.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda68.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda69.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda69.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda70.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda70.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda71.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda71.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda72.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda72.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda73.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda73.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda74.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda74.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda75.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda75.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda76.gold: -------------------------------------------------------------------------------- 1 | ; Automatically generated by SBV. Do not modify! 2 | ; Type: Int 3 | 2 -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda77.gold: -------------------------------------------------------------------------------- 1 | ; Automatically generated by SBV. Do not modify! 2 | ; Type: String 3 | (_ char #x61) -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda78.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda78.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda79.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda79.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda80.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda80.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda81.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda81.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda82.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda82.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda83.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda83.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda84.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda84.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda85.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda85.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda86.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda86.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda87.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda87.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/lambda88.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/lambda88.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/legato.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/legato.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/legato_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/legato_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/listFloat1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/listFloat1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/listFloat2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/listFloat2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/listFloat3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/listFloat3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/merge.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/merge.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nested1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nested1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nested2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nested2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nested3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nested3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nested4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nested4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/noOpt1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/noOpt1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/noOpt2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/noOpt2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nonlinear_cvc4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nonlinear_cvc4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nonlinear_cvc5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nonlinear_cvc5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/nonlinear_z3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/nonlinear_z3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optBasics1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optBasics1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optBasics2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optBasics2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optExtField1.gold: -------------------------------------------------------------------------------- 1 | Optimal in an extension field: 2 | x_plus_y = oo :: Integer -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optExtField2.gold: -------------------------------------------------------------------------------- 1 | Optimal in an extension field: 2 | x_plus_y = -oo :: Integer -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optExtField3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optExtField3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat1a.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat1a.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat1b.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat1b.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat1c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat1c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat1d.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat1d.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat2a.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat2a.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat2b.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat2b.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat2c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat2c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat2d.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat2d.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optFloat4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optFloat4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optQuant1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optQuant1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optQuant2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optQuant2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optQuant3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optQuant3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optQuant4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optQuant4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optQuant5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optQuant5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optReal1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optReal1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/optTuple1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/optTuple1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pareto1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pareto1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pareto2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pareto2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pareto3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pareto3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbAtLeast.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbAtLeast.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbAtMost.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbAtMost.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbEq.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbEq.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbEq2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbEq2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbExactly.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbExactly.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbGe.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbGe.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbLe.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbLe.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbMutexed.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbMutexed.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/pbStronglyMutexed.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/pbStronglyMutexed.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/popCount1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/popCount1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/popCount2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/popCount2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/qEnum1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/qEnum1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/qUninterp1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/qUninterp1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_0.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_0.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_6.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_6.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_7.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_8.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_8.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_9.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_9.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_A.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_A.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/quantifiedB_B.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/quantifiedB_B.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays13.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays13.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays14.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays14.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays15.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays15.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays16.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays16.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays17.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays17.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays6.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays6.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays7.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays8.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays8.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryArrays9.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryArrays9.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/queryTables.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/queryTables.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Chars1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Chars1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Interpolant1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Interpolant1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Interpolant2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Interpolant2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Interpolant3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Interpolant3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Interpolant4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Interpolant4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_ListOfMaybe.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_ListOfMaybe.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_ListOfSum.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_ListOfSum.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Lists1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Lists1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Maybe.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Maybe.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Strings1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Strings1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_SumMaybeBoth.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_SumMaybeBoth.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Sums.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Sums.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Tuples1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Tuples1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_Tuples2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_Tuples2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_abc.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_abc.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_badOption.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_badOption.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_bitwuzla.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_bitwuzla.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_boolector.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_boolector.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_cvc4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_cvc4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_cvc5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_cvc5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_mathsat.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_mathsat.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_uiSat_test1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_uiSat_test1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_uiSat_test2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_uiSat_test2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_uisatex1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_uisatex1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_uisatex2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_uisatex2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_uisatex3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_uisatex3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_yices.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_yices.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/query_z3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/query_z3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/safe1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/safe1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/safe2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/safe2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/selChecked.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/selChecked.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/selUnchecked.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/selUnchecked.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqConcat.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqConcat.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqConcatBad.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqConcatBad.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples6.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples6.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples7.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqExamples8.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqExamples8.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqIndexOf.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqIndexOf.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/seqIndexOfBad.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/seqIndexOfBad.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_compl1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_compl1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_delete1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_delete1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_diff1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_diff1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_disj1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_disj1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_empty1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_empty1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_full1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_full1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_insert1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_insert1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_intersect1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_intersect1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_member1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_member1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_notMember1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_notMember1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_psubset1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_psubset1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_subset1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_subset1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_tupleSet.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_tupleSet.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_uninterp1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_uninterp1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_uninterp2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_uninterp2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/set_union1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/set_union1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sha256HashBlock.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sha256HashBlock.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/squashReals1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/squashReals1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/squashReals2.gold: -------------------------------------------------------------------------------- 1 | Satisfiable. Model: 2 | s0 = 4.0 :: Real -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/squashReals3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/squashReals3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/squashReals4.gold: -------------------------------------------------------------------------------- 1 | Satisfiable. Model: 2 | s0 = 4.0 :: Real -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strConcat.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strConcat.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strConcatBad.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strConcatBad.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples10.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples10.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples11.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples11.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples12.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples12.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples13.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples13.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples6.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples6.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples7.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples8.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples8.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strExamples9.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strExamples9.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strIndexOf.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strIndexOf.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/strIndexOfBad.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/strIndexOfBad.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumBimapPlus.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumBimapPlus.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumEitherSat.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumEitherSat.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumLiftEither.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumLiftEither.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumLiftMaybe.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumLiftMaybe.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumMaybe.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumMaybe.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumMaybeBoth.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumMaybeBoth.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumMergeEither1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumMergeEither1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumMergeEither2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumMergeEither2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumMergeMaybe1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumMergeMaybe1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/sumMergeMaybe2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/sumMergeMaybe2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/temperature.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/temperature.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tgen_c.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tgen_c.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tgen_forte.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tgen_forte.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tgen_haskell.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tgen_haskell.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/timeout1.gold: -------------------------------------------------------------------------------- 1 | Unknown. 2 | Reason: timeout -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_enum.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tuple_enum.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_list.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tuple_list.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_makePair.gold: -------------------------------------------------------------------------------- 1 | 2 | FINAL: () 3 | DONE! 4 | -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_nested.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tuple_nested.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_swap.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tuple_swap.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_twoTwo.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tuple_twoTwo.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_unequal.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/tuple_unequal.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/tuple_unit.gold: -------------------------------------------------------------------------------- 1 | 2 | FINAL: () 3 | DONE! 4 | -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uiSat_test1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uiSat_test1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uiSat_test2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uiSat_test2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uiSat_test3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uiSat_test3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/unint-axioms-empty.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/unint-axioms-empty.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/unint-axioms-query.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/unint-axioms-query.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/unint-axioms.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/unint-axioms.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/unint-sort01.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/unint-sort01.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uninterpreted-1a.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uninterpreted-1a.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uninterpreted-3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uninterpreted-3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uninterpreted-3a.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uninterpreted-3a.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uninterpreted-4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uninterpreted-4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/uninterpreted-4a.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/uninterpreted-4a.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_0.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_0.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_1.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_2.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_3.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_4.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_5.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_5.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_6.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_6.gold -------------------------------------------------------------------------------- /SBVTestSuite/GoldFiles/validate_7.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/GoldFiles/validate_7.gold -------------------------------------------------------------------------------- /SBVTestSuite/SBVConnectionTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/SBVConnectionTest.hs -------------------------------------------------------------------------------- /SBVTestSuite/SBVDocTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/SBVDocTest.hs -------------------------------------------------------------------------------- /SBVTestSuite/SBVHLint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/SBVHLint.hs -------------------------------------------------------------------------------- /SBVTestSuite/SBVTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/SBVTest.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/ADT/ADT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/ADT/ADT.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/ADT/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/ADT/Expr.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/ADT/MutRec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/ADT/MutRec.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/ADT/PExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/ADT/PExpr.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Arrays/Caching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Arrays/Caching.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Arrays/InitVals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Arrays/InitVals.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Arrays/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Arrays/Memory.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Arrays/Query.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Arrays/Query.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/AllSat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/AllSat.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/ArbFloats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/ArbFloats.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/ArithSolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/ArithSolver.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Assert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Assert.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/BarrelRotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/BarrelRotate.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/BasicTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/BasicTests.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/DynSign.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/DynSign.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/EqSym.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/EqSym.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Exceptions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Exceptions.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/GenBenchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/GenBenchmark.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Higher.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Higher.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Index.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Index.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/IteTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/IteTest.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Lambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Lambda.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/List.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/ModelValidate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/ModelValidate.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Nonlinear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Nonlinear.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/ProofTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/ProofTests.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/QRem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/QRem.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Quantifiers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Quantifiers.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Recursive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Recursive.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Set.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/SmallShifts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/SmallShifts.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/SquashReals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/SquashReals.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/String.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/String.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Sum.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/TOut.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/TOut.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/Tuple.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Basics/UISat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Basics/UISat.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/BitPrecise/BitTricks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/BitPrecise/BitTricks.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/BitPrecise/Legato.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/BitPrecise/Legato.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/BitPrecise/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/BitPrecise/MergeSort.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/BitPrecise/PrefixSum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/BitPrecise/PrefixSum.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CRC/CCITT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CRC/CCITT.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CRC/CCITT_Unidir.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CRC/CCITT_Unidir.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CRC/GenPoly.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CRC/GenPoly.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CRC/Parity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CRC/Parity.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CRC/USB5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CRC/USB5.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CantTypeCheck/Misc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CantTypeCheck/Misc.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Char/Char.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Char/Char.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CodeGeneration/GCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CodeGeneration/GCD.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CompileTests/SCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/CompileTests/SCase.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CompileTests/SCase/SCase17.stderr: -------------------------------------------------------------------------------- 1 | There was no failure during compilation. -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CompileTests/SCase/SCase24.stderr: -------------------------------------------------------------------------------- 1 | There was no failure during compilation. -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CompileTests/SCase/SCase26.stderr: -------------------------------------------------------------------------------- 1 | There was no failure during compilation. -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CompileTests/SCase/SCase28.stderr: -------------------------------------------------------------------------------- 1 | There was no failure during compilation. -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/CompileTests/SCase/SCase30.stderr: -------------------------------------------------------------------------------- 1 | There was no failure during compilation. -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Crypto/AES.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Crypto/AES.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Crypto/RC4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Crypto/RC4.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Crypto/SHA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Crypto/SHA.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/GenTest/GenTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/GenTest/GenTests.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Optimization/Basics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Optimization/Basics.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Optimization/Floats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Optimization/Floats.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Optimization/NoOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Optimization/NoOpt.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Optimization/Reals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Optimization/Reals.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Optimization/Tuples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Optimization/Tuples.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Overflows/Arithmetic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Overflows/Arithmetic.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Overflows/Casts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Overflows/Casts.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/Coins.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/Coins.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/Counts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/Counts.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/DogCatMouse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/DogCatMouse.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/Euler185.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/Euler185.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/MagicSquare.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/MagicSquare.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/NQueens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/NQueens.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/PowerSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/PowerSet.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/Sudoku.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/Sudoku.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/Temperature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/Temperature.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Puzzles/U2Bridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Puzzles/U2Bridge.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/ArrayGetVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/ArrayGetVal.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/BadOption.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/BadOption.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/BasicQuery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/BasicQuery.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/DSat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/DSat.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Enums.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Enums.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/FreshVars.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/FreshVars.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Int_ABC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Int_ABC.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Int_CVC4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Int_CVC4.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Int_Mathsat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Int_Mathsat.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Int_Yices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Int_Yices.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Int_Z3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Int_Z3.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Interpolants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Interpolants.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Lists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Lists.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Strings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Strings.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Sums.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Sums.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Tables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Tables.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/Tuples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/Tuples.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/UISat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/UISat.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Queries/UISatEx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Queries/UISatEx.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/QuickCheck/QC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/QuickCheck/QC.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Uninterpreted/AUF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Uninterpreted/AUF.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Uninterpreted/Axioms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Uninterpreted/Axioms.hs -------------------------------------------------------------------------------- /SBVTestSuite/TestSuite/Uninterpreted/Sort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/TestSuite/Uninterpreted/Sort.hs -------------------------------------------------------------------------------- /SBVTestSuite/Utils/SBVTestFramework.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SBVTestSuite/Utils/SBVTestFramework.hs -------------------------------------------------------------------------------- /SMTSolverVersions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/SMTSolverVersions.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/Setup.hs -------------------------------------------------------------------------------- /sbv.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbv/HEAD/sbv.cabal --------------------------------------------------------------------------------