data/haskell-sbv-8.7/CHANGES.md:128: upto ==> up to
data/haskell-sbv-8.7/CHANGES.md:621: perfomance ==> performance
data/haskell-sbv-8.7/CHANGES.md:851: multipler ==> multiplier, multiple
data/haskell-sbv-8.7/CHANGES.md:1520: convertable ==> convertible
data/haskell-sbv-8.7/CHANGES.md:1575: insted ==> instead
data/haskell-sbv-8.7/CHANGES.md:2141: allways ==> always
data/haskell-sbv-8.7/Data/SBV.hs:59: upto ==> up to
data/haskell-sbv-8.7/Data/SBV.hs:686: intial ==> initial
data/haskell-sbv-8.7/Data/SBV.hs:696: intial ==> initial
data/haskell-sbv-8.7/Data/SBV.hs:705: upto ==> up to
data/haskell-sbv-8.7/Data/SBV.hs:763: wit ==> with
data/haskell-sbv-8.7/Data/SBV/Control.hs:20: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Control.hs:79: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/RegExp.hs:11: specificly ==> specifically
data/haskell-sbv-8.7/Data/SBV/Tuple.hs:146: 3nd ==> 3rd
data/haskell-sbv-8.7/Data/SBV/Client/BaseIO.hs:394: unamed ==> unnamed
data/haskell-sbv-8.7/Data/SBV/Control/Query.hs:488: aCount ==> account
data/haskell-sbv-8.7/Data/SBV/Control/Query.hs:491: aCount ==> account
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:75: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:206: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:212: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:860: te ==> the, be, we
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:864: te ==> the, be, we
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:869: te ==> the, be, we
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:877: te ==> the, be, we
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:883: te ==> the, be, we
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:1042: upto ==> up to
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:1105: upto ==> up to
data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:1509: Cant' ==> Can't
data/haskell-sbv-8.7/Data/SBV/Core/AlgReals.hs:44: wheter ==> whether
data/haskell-sbv-8.7/Data/SBV/Core/Concrete.hs:85: Assing ==> Assign
data/haskell-sbv-8.7/Data/SBV/Core/Concrete.hs:460: upto ==> up to
data/haskell-sbv-8.7/Data/SBV/Core/Data.hs:639: unintialized ==> uninitialized
data/haskell-sbv-8.7/Data/SBV/Core/Data.hs:672: unintialized ==> uninitialized
data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:760: withing ==> within
data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1037: multipler ==> multiplier, multiple
data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1908: ba ==> by, be
data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1908: ba ==> by, be
data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1910: ba ==> by, be
data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1912: ba ==> by, be
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:561: wit ==> with
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:574: wit ==> with
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:580: agressive ==> aggressive
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:608: alltogether ==> altogether, all together
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:1029: accesing ==> accessing
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:1072: accesing ==> accessing
data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:1074: accesing ==> accessing
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:55: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:270: StrAt ==> start, strata
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:616: queriable ==> queryable
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:618: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:671: definiton ==> definition
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:798: cecking ==> checking
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:1344: cant ==> can't
data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:1348: cant ==> can't
data/haskell-sbv-8.7/Data/SBV/Provers/Prover.hs:361: happaned ==> happened
data/haskell-sbv-8.7/Data/SBV/Provers/Prover.hs:782: sufficently ==> sufficiently
data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs:139: becase ==> because
data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs:442: returing ==> returning
data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs:602: currrent ==> current
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:255: lits ==> list
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:260: lits ==> list
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:482: initializiation ==> initialization
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:562: initializiation ==> initialization
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:636: fo ==> of, for
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:636: fo ==> of, for
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:639: fo ==> of, for
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:639: fo ==> of, for
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:683: fo ==> of, for
data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:683: fo ==> of, for
data/haskell-sbv-8.7/Data/SBV/Tools/BMC.hs:31: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Tools/BMC.hs:42: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs:83: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs:95: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs:141: initation ==> initiation
data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:54: minumum ==> minimum
data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:227: allOne ==> alone, all one
data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:228: allOne ==> alone, all one
data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:230: allOne ==> alone, all one
data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:453: allOne ==> alone, all one
data/haskell-sbv-8.7/Data/SBV/Tools/Polynomial.hs:58: usally ==> usually
data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs:209: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs:316: maitained ==> maintained
data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs:340: Queriable ==> Queryable
data/haskell-sbv-8.7/Data/SBV/Utils/PrettyNum.hs:231: wether ==> weather, whether
data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/Legato.hs:125: multipler ==> multiplier, multiple
data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/MultMask.hs:43: multipled ==> multiplied
data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs:83: eqivalent ==> equivalent
data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs:52: upto ==> up to
data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs:46: wit ==> with
data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/AES.hs:431: follewed ==> followed
data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/AES.hs:474: serios ==> serious
data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/BoundedMutex.hs:59: upto ==> up to
data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/BoundedMutex.hs:80: implicity ==> implicitly
data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Enumerate.hs:74: minumum ==> minimum
data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/ExtField.hs:20: demostrates ==> demonstrates
data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs:62: finalY ==> finally, finale
data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs:66: finalY ==> finally, finale
data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs:69: finalY ==> finally, finale
data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Coins.hs:20: cant ==> can't
data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Coins.hs:24: cant ==> can't
data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Garden.hs:73: declar ==> declare
data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/FourFours.hs:141: evalutes ==> evaluates
data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs:41: colums ==> columns
data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs:100: BA ==> BY, BE
data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs:100: BA ==> BY, BE
data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/SQLInjection.hs:72: lenght ==> length
data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Multiply.hs:28: definining ==> defining
data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Append.hs:62: Queriable ==> Queryable
data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Basics.hs:9: demostrating ==> demonstrating
data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Length.hs:63: Queriable ==> Queryable
data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Sum.hs:110: upto ==> up to
data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Sum.hs:121: upto ==> up to
data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Bench/Bench.hs:78: arbritrary ==> arbitrary
data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Bench/Bench.hs:187: comparision ==> comparison
data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Coins.hs:31: apparantly ==> apparently
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/freshVars.gold:85: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/freshVars.gold:99: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays1.gold:25: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays5.gold:23: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays6.gold:21: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays7.gold:21: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays8.gold:21: initializiation ==> initialization
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold:35: tey ==> they
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold:137: tey ==> they
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold:177: tey ==> they
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold:35: tey ==> they
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold:137: tey ==> they
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold:158: tey ==> they
data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples5.gold:14: ba ==> by, be
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs:240: toWords ==> towards
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs:241: toWords ==> towards
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithSolver.hs:280: toWords ==> towards
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithSolver.hs:281: toWords ==> towards
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ModelValidate.hs:39: tE ==> the, be, we
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ModelValidate.hs:44: tE ==> the, be, we
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:57: valIf ==> valid
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:59: valIf ==> valid
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:62: valIf ==> valid
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:64: valIf ==> valid
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:67: valIf ==> valid
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:69: valIf ==> valid
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/String.hs:82: ba ==> by, be
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/String.hs:113: ba ==> by, be
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Quantified.hs:9: iwth ==> with
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Temperature.hs:31: celcius ==> celsius
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Temperature.hs:37: celcius ==> celsius
data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/UISatEx.hs:84: tey ==> they