data/cvc4-1.8/cvc4autoconfig.h.in:13: Extraversion ==> Extroversion
data/cvc4-1.8/CMakeLists.txt:12: Extraversion ==> Extroversion
data/cvc4-1.8/CMakeLists.txt:172: Supprted ==> Supported
data/cvc4-1.8/CMakeLists.txt:183: overriden ==> overridden
data/cvc4-1.8/CMakeLists.txt:358: explicitely ==> explicitly
data/cvc4-1.8/CMakeLists.txt:373: explicitely ==> explicitly
data/cvc4-1.8/cmake/FindCxxTest.cmake:4: excecutable ==> executable
data/cvc4-1.8/cmake/Helpers.cmake:76: requied ==> required
data/cvc4-1.8/cmake/UseCython.cmake:52: sematics ==> semantics
data/cvc4-1.8/cmake/targetLinkLibrariesWithDynamicLookup.cmake:306: occured ==> occurred
data/cvc4-1.8/contrib/cvc-mode.el:538: fisrt ==> first
data/cvc4-1.8/contrib/cvc-mode.el:553: openning ==> opening
data/cvc4-1.8/contrib/get-authors:36: everthing ==> everything
data/cvc4-1.8/contrib/luby.c:14: ist ==> is, it, its, it's, sit, list
data/cvc4-1.8/contrib/competitions/casc/run-script-casc26-fof:3: FOF ==> FOR
data/cvc4-1.8/contrib/competitions/casc/run-script-casc27-fof:3: FOF ==> FOR
data/cvc4-1.8/contrib/competitions/casc/run-script-cascj9-fof:3: FOF ==> FOR
data/cvc4-1.8/examples/api/java/Exceptions.java:14: execptions ==> exceptions
data/cvc4-1.8/examples/api/java/Relations.java:14: Jave ==> Java, have
data/cvc4-1.8/examples/api/java/Strings.java:14: Jave ==> Java, have
data/cvc4-1.8/examples/api/python/exceptions.py:16: execptions ==> exceptions
data/cvc4-1.8/examples/hashsmt/sha1_inversion.cpp:74: Ouput ==> Output
data/cvc4-1.8/proofs/signatures/lrat_test.plf:151: ans ==> and
data/cvc4-1.8/proofs/signatures/lrat_test.plf:152: ans ==> and
data/cvc4-1.8/proofs/signatures/sat.plf:21: interpretted ==> interpreted
data/cvc4-1.8/proofs/signatures/th_bv_bitblast.plf:624: ba ==> by, be
data/cvc4-1.8/proofs/signatures/th_bv_bitblast.plf:625: ba ==> by, be
data/cvc4-1.8/proofs/signatures/th_quant.plf:8: substitued ==> substituted, substitute
data/cvc4-1.8/proofs/signatures/drat.plf:27: interpretted ==> interpreted
data/cvc4-1.8/proofs/signatures/lrat.plf:430: Assymetric ==> Asymmetric
data/cvc4-1.8/proofs/signatures/lrat.plf:537: duplicat ==> duplicate
data/cvc4-1.8/proofs/signatures/th_lira.plf:361: actuall ==> actually, actual
data/cvc4-1.8/proofs/signatures/th_lira.plf:404: ba ==> by, be
data/cvc4-1.8/proofs/signatures/th_lira.plf:407: ba ==> by, be
data/cvc4-1.8/proofs/signatures/th_lira.plf:408: ba ==> by, be
data/cvc4-1.8/src/cvc4.i:161: ba ==> by, be
data/cvc4-1.8/src/cvc4.i:172: ba ==> by, be
data/cvc4-1.8/src/cvc4.i:173: ba ==> by, be
data/cvc4-1.8/src/cvc4.i:174: ba ==> by, be
data/cvc4-1.8/src/cvc4.i:189: ba ==> by, be
data/cvc4-1.8/src/api/cvc4cpp.h:165: interal ==> internal, interval, integral
data/cvc4-1.8/src/api/cvc4cpp.h:600: interal ==> internal, interval, integral
data/cvc4-1.8/src/api/cvc4cpp.h:2130: exacly ==> exactly
data/cvc4-1.8/src/api/cvc4cpp.h:2146: fuction ==> function
data/cvc4-1.8/src/api/cvc4cpp.h:3134: forumla ==> formula
data/cvc4-1.8/src/api/cvc4cppkind.h:921: reprsenting ==> representing
data/cvc4-1.8/src/api/cvc4cppkind.h:1523: Paramters ==> Parameters
data/cvc4-1.8/src/api/cvc4cpp.cpp:602: interally ==> internally
data/cvc4-1.8/src/api/cvc4cpp.cpp:2433: aci ==> acpi
data/cvc4-1.8/src/api/cvc4cpp.cpp:2435: aci ==> acpi
data/cvc4-1.8/src/api/cvc4cpp.cpp:3359: Reenable ==> Re-enable
data/cvc4-1.8/src/api/python/cvc4.pxi:52: oneliners ==> one-liners
data/cvc4-1.8/src/base/mktags:9: seperated ==> separated
data/cvc4-1.8/src/context/cdinsert_hashmap.h:25: derefence ==> dereference
data/cvc4-1.8/src/context/cdinsert_hashmap.h:79: begining ==> beginning
data/cvc4-1.8/src/context/cdinsert_hashmap.h:368: begining ==> beginning
data/cvc4-1.8/src/context/context.h:123: accidently ==> accidentally
data/cvc4-1.8/src/decision/justification_heuristic.cpp:156: arbitarily ==> arbitrarily
data/cvc4-1.8/src/decision/justification_heuristic.cpp:192: satisifed ==> satisfied
data/cvc4-1.8/src/expr/datatype.h:599: accomodate ==> accommodate
data/cvc4-1.8/src/expr/datatype.h:640: nubmer ==> number
data/cvc4-1.8/src/expr/dtype.cpp:550: nin ==> inn, min, bin, nine
data/cvc4-1.8/src/expr/dtype_cons.cpp:566: Constuctor ==> Constructor
data/cvc4-1.8/src/expr/lazy_proof.h:92: doesnt ==> doesn't, does not
data/cvc4-1.8/src/expr/node.h:602: Additionaly ==> Additionally
data/cvc4-1.8/src/expr/node.h:612: Additionaly ==> Additionally
data/cvc4-1.8/src/expr/node.h:624: atribute ==> attribute
data/cvc4-1.8/src/expr/node_builder.h:33: superceded ==> superseded
data/cvc4-1.8/src/expr/node_builder.h:766: hvae ==> have
data/cvc4-1.8/src/expr/node_manager.h:169: APPLYs ==> applies
data/cvc4-1.8/src/expr/node_manager.h:706: retieve ==> retrieve
data/cvc4-1.8/src/expr/node_manager.h:760: retieve ==> retrieve
data/cvc4-1.8/src/expr/node_traversal.h:40: indentical ==> identical
data/cvc4-1.8/src/expr/node_trie.cpp:60: interpretted ==> interpreted
data/cvc4-1.8/src/expr/node_value.h:324: numer ==> number
data/cvc4-1.8/src/expr/proof_generator.h:71: sucessful ==> successful
data/cvc4-1.8/src/expr/proof_node.h:97: strem ==> stream
data/cvc4-1.8/src/expr/record.h:30: cicular ==> circular
data/cvc4-1.8/src/expr/type_node.cpp:303: te ==> the, be, we
data/cvc4-1.8/src/expr/type_node.cpp:304: te ==> the, be, we
data/cvc4-1.8/src/expr/type_node.h:309: Additionaly ==> Additionally
data/cvc4-1.8/src/expr/type_node.h:323: atribute ==> attribute
data/cvc4-1.8/src/expr/type_node.h:571: paramater ==> parameter
data/cvc4-1.8/src/expr/expr_template.h:578: reponsible ==> responsible
data/cvc4-1.8/src/expr/metakind_template.h:100: APPLYs ==> applies
data/cvc4-1.8/src/main/util.cpp:199: nin ==> inn, min, bin, nine
data/cvc4-1.8/src/options/README:58: explicitely ==> explicitly
data/cvc4-1.8/src/options/README:139: placeholer ==> placeholder
data/cvc4-1.8/src/options/didyoumean_test.cpp:382: te ==> the, be, we
data/cvc4-1.8/src/options/mkoptions.py:387: placeholer ==> placeholder
data/cvc4-1.8/src/options/options_template.cpp:420: fof ==> for
data/cvc4-1.8/src/options/quantifiers_options.toml:1294: minimial ==> minimal
data/cvc4-1.8/src/options/quantifiers_options.toml:1302: minimial ==> minimal
data/cvc4-1.8/src/options/set_language.h:82: liek ==> like
data/cvc4-1.8/src/parser/antlr_input.cpp:379: nd ==> and, 2nd
data/cvc4-1.8/src/parser/antlr_input.cpp:412: inital ==> initial
data/cvc4-1.8/src/parser/antlr_input.h:142: auxillary ==> auxiliary
data/cvc4-1.8/src/parser/antlr_input_imports.cpp:400: somethign ==> something
data/cvc4-1.8/src/parser/antlr_line_buffered_input.cpp:57: endianess ==> endianness
data/cvc4-1.8/src/parser/antlr_line_buffered_input.cpp:58: endianess ==> endianness
data/cvc4-1.8/src/parser/antlr_line_buffered_input.cpp:173: definately ==> definitely
data/cvc4-1.8/src/parser/antlr_line_buffered_input.cpp:180: definately ==> definitely
data/cvc4-1.8/src/parser/antlr_line_buffered_input.cpp:187: definately ==> definitely
data/cvc4-1.8/src/parser/antlr_line_buffered_input.cpp:194: definately ==> definitely
data/cvc4-1.8/src/parser/bounded_token_buffer.cpp:203: adn ==> and
data/cvc4-1.8/src/parser/parser.cpp:127: te ==> the, be, we
data/cvc4-1.8/src/parser/parser.cpp:128: te ==> the, be, we
data/cvc4-1.8/src/parser/parser.cpp:128: te ==> the, be, we
data/cvc4-1.8/src/parser/cvc/Cvc.g:1491: functionss ==> functions
data/cvc4-1.8/src/parser/cvc/Cvc.g:2355: defintion ==> definition
data/cvc4-1.8/src/parser/smt2/Smt2.g:1082: aci ==> acpi
data/cvc4-1.8/src/parser/smt2/Smt2.g:1084: aci ==> acpi
data/cvc4-1.8/src/parser/smt2/Smt2.g:1087: aci ==> acpi
data/cvc4-1.8/src/parser/smt2/Smt2.g:1087: aci ==> acpi
data/cvc4-1.8/src/parser/smt2/Smt2.g:2140: seperation ==> separation
data/cvc4-1.8/src/parser/smt2/Smt2.g:2566: defintion ==> definition
data/cvc4-1.8/src/parser/smt2/smt2.cpp:1187: unecessary ==> unnecessary
data/cvc4-1.8/src/parser/smt2/smt2.h:155: descibed ==> described
data/cvc4-1.8/src/parser/tptp/Tptp.g:836: FOF ==> FOR
data/cvc4-1.8/src/parser/tptp/Tptp.g:1281: proccess ==> process
data/cvc4-1.8/src/parser/tptp/Tptp.g:1713: fof ==> for
data/cvc4-1.8/src/parser/tptp/Tptp.g:1715: fof ==> for
data/cvc4-1.8/src/parser/tptp/Tptp.g:1783: fof ==> for
data/cvc4-1.8/src/parser/tptp/tptp.cpp:74: FOF ==> FOR
data/cvc4-1.8/src/parser/tptp/tptp.h:49: fof ==> for
data/cvc4-1.8/src/parser/tptp/tptp.h:50: fof ==> for
data/cvc4-1.8/src/parser/tptp/tptp.h:50: fof ==> for
data/cvc4-1.8/src/parser/tptp/tptp.h:65: FOF ==> FOR
data/cvc4-1.8/src/parser/tptp/tptp.h:206: fof ==> for
data/cvc4-1.8/src/preprocessing/passes/ackermann.cpp:249: occured ==> occurred
data/cvc4-1.8/src/preprocessing/passes/bv_abstraction.cpp:47: te ==> the, be, we
data/cvc4-1.8/src/preprocessing/passes/bv_to_int.cpp:363: arithmetics ==> arithmetic
data/cvc4-1.8/src/preprocessing/passes/int_to_bv.cpp:94: childRes ==> children
data/cvc4-1.8/src/preprocessing/passes/int_to_bv.cpp:95: childRes ==> children
data/cvc4-1.8/src/preprocessing/passes/int_to_bv.cpp:179: childRes ==> children
data/cvc4-1.8/src/preprocessing/passes/int_to_bv.cpp:180: childRes ==> children
data/cvc4-1.8/src/preprocessing/passes/int_to_bv.cpp:189: childRes ==> children
data/cvc4-1.8/src/preprocessing/passes/miplib_trick.cpp:184: te ==> the, be, we
data/cvc4-1.8/src/preprocessing/passes/sygus_inference.cpp:40: succesfully ==> successfully
data/cvc4-1.8/src/preprocessing/passes/theory_preprocess.cpp:34: te ==> the, be, we
data/cvc4-1.8/src/preprocessing/util/ite_utilities.cpp:1593: childRes ==> children
data/cvc4-1.8/src/preprocessing/util/ite_utilities.cpp:1594: childRes ==> children
data/cvc4-1.8/src/printer/printer.h:37: acces ==> access
data/cvc4-1.8/src/printer/smt2/smt2_printer.cpp:444: outputing ==> outputting
data/cvc4-1.8/src/proof/arith_proof_recorder.cpp:33: conjuction ==> conjunction
data/cvc4-1.8/src/proof/arith_proof_recorder.cpp:60: lits ==> list
data/cvc4-1.8/src/proof/arith_proof_recorder.cpp:62: lits ==> list
data/cvc4-1.8/src/proof/arith_proof_recorder.cpp:62: lits ==> list
data/cvc4-1.8/src/proof/arith_proof_recorder.cpp:64: lits ==> list
data/cvc4-1.8/src/proof/arith_proof_recorder.h:93: lits ==> list
data/cvc4-1.8/src/proof/array_proof.h:12: Arrray ==> Array
data/cvc4-1.8/src/proof/clausal_bitvector_proof.h:67: recieved ==> received
data/cvc4-1.8/src/proof/cnf_proof.cpp:371: occured ==> occurred
data/cvc4-1.8/src/proof/lfsc_proof_printer.h:79: alreay ==> already
data/cvc4-1.8/src/proof/proof_manager.cpp:385: Mabye ==> Maybe
data/cvc4-1.8/src/proof/proof_manager.cpp:436: Mabye ==> Maybe
data/cvc4-1.8/src/proof/sat_proof.h:333: containting ==> containing
data/cvc4-1.8/src/proof/sat_proof.h:336: transfered ==> transferred
data/cvc4-1.8/src/proof/theory_proof.h:285: expresion ==> expression
data/cvc4-1.8/src/proof/drat/drat_proof.cpp:133: intialized ==> initialized
data/cvc4-1.8/src/proof/drat/drat_proof.h:91: gaurantees ==> guarantees
data/cvc4-1.8/src/proof/lrat/lrat_proof.cpp:287: Inludes ==> Includes
data/cvc4-1.8/src/prop/bv_sat_solver_notify.h:12: recieve ==> receive
data/cvc4-1.8/src/prop/cnf_stream.h:69: lits ==> list
data/cvc4-1.8/src/prop/cnf_stream.h:70: lits ==> list
data/cvc4-1.8/src/prop/cnf_stream.h:133: thirs ==> third, thirst
data/cvc4-1.8/src/prop/prop_engine.cpp:70: te ==> the, be, we
data/cvc4-1.8/src/prop/prop_engine.cpp:75: te ==> the, be, we
data/cvc4-1.8/src/prop/bvminisat/core/Dimacs.h:36: lits ==> list
data/cvc4-1.8/src/prop/bvminisat/core/Dimacs.h:38: lits ==> list
data/cvc4-1.8/src/prop/bvminisat/core/Dimacs.h:44: lits ==> list
data/cvc4-1.8/src/prop/bvminisat/core/Dimacs.h:50: lits ==> list
data/cvc4-1.8/src/prop/bvminisat/core/Dimacs.h:71: lits ==> list
data/cvc4-1.8/src/prop/bvminisat/core/Dimacs.h:72: lits ==> list
data/cvc4-1.8/src/prop/bvminisat/core/Solver.cc:645: bellow ==> below
data/cvc4-1.8/src/prop/bvminisat/core/Solver.cc:998: assigment ==> assignment
data/cvc4-1.8/src/prop/bvminisat/core/Solver.cc:1034: assigment ==> assignment
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:118: superflous ==> superfluous
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:162: contraints ==> constraints
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:170: managment ==> management
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:198: intitial ==> initial
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:266: assigments ==> assignments
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:280: exept ==> except, exempt
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:280: wich ==> which
data/cvc4-1.8/src/prop/bvminisat/core/Solver.h:291: contraints ==> constraints
data/cvc4-1.8/src/prop/bvminisat/core/SolverTypes.h:233: Lits ==> List
data/cvc4-1.8/src/prop/bvminisat/core/SolverTypes.h:234: Lits ==> List
data/cvc4-1.8/src/prop/bvminisat/core/SolverTypes.h:266: occurence ==> occurrence
data/cvc4-1.8/src/prop/bvminisat/doc/ReleaseNotes-2.2.0.txt:33: architechtures ==> architectures
data/cvc4-1.8/src/prop/bvminisat/mtl/XAlloc.h:31: situtaions ==> situations
data/cvc4-1.8/src/prop/bvminisat/simp/SimpSolver.h:83: managment ==> management
data/cvc4-1.8/src/prop/bvminisat/simp/SimpSolver.h:124: noticably ==> noticeably
data/cvc4-1.8/src/prop/bvminisat/simp/SimpSolver.cc:689: assymetric ==> asymmetric
data/cvc4-1.8/src/prop/minisat/CVC4-README:19: satisfiabilty ==> satisfiability
data/cvc4-1.8/src/prop/minisat/core/Dimacs.h:36: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Dimacs.h:38: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Dimacs.h:44: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Dimacs.h:50: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Dimacs.h:71: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Dimacs.h:72: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Solver.cc:976: necesserily ==> necessarily
data/cvc4-1.8/src/prop/minisat/core/Solver.cc:1153: lits ==> list
data/cvc4-1.8/src/prop/minisat/core/Solver.cc:1355: assigment ==> assignment
data/cvc4-1.8/src/prop/minisat/core/Solver.cc:1391: assigment ==> assignment
data/cvc4-1.8/src/prop/minisat/core/Solver.h:192: superflous ==> superfluous
data/cvc4-1.8/src/prop/minisat/core/Solver.h:240: contraints ==> constraints
data/cvc4-1.8/src/prop/minisat/core/Solver.h:248: managment ==> management
data/cvc4-1.8/src/prop/minisat/core/Solver.h:277: intitial ==> initial
data/cvc4-1.8/src/prop/minisat/core/Solver.h:353: assigments ==> assignments
data/cvc4-1.8/src/prop/minisat/core/Solver.h:382: exept ==> except, exempt
data/cvc4-1.8/src/prop/minisat/core/Solver.h:382: wich ==> which
data/cvc4-1.8/src/prop/minisat/core/Solver.h:393: contraints ==> constraints
data/cvc4-1.8/src/prop/minisat/core/SolverTypes.h:278: Lits ==> List
data/cvc4-1.8/src/prop/minisat/core/SolverTypes.h:279: Lits ==> List
data/cvc4-1.8/src/prop/minisat/core/SolverTypes.h:312: occurence ==> occurrence
data/cvc4-1.8/src/prop/minisat/doc/ReleaseNotes-2.2.0.txt:33: architechtures ==> architectures
data/cvc4-1.8/src/prop/minisat/mtl/XAlloc.h:31: situtaions ==> situations
data/cvc4-1.8/src/prop/minisat/simp/SimpSolver.h:75: managment ==> management
data/cvc4-1.8/src/prop/minisat/simp/SimpSolver.h:115: noticably ==> noticeably
data/cvc4-1.8/src/prop/minisat/simp/SimpSolver.cc:675: assymetric ==> asymmetric
data/cvc4-1.8/src/smt/managed_ostreams.h:93: recieve ==> receive
data/cvc4-1.8/src/smt/managed_ostreams.h:138: recieve ==> receive
data/cvc4-1.8/src/smt/set_defaults.cpp:1154: avaiable ==> available
data/cvc4-1.8/src/smt/set_defaults.cpp:1380: settting ==> setting
data/cvc4-1.8/src/smt/term_formula_removal.cpp:58: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:60: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:72: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:167: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:214: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:217: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:228: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:255: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:262: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:274: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:276: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:286: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.cpp:305: dont' ==> don't
data/cvc4-1.8/src/smt/term_formula_removal.h:50: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.h:50: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.h:133: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.h:137: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/term_formula_removal.h:143: inTerm ==> interim, intern
data/cvc4-1.8/src/smt/smt_engine.h:1145: unchaged ==> unchanged
data/cvc4-1.8/src/theory/decision_manager.h:38: indivdual ==> individual
data/cvc4-1.8/src/theory/decision_strategy.h:38: Initalize ==> Initialize
data/cvc4-1.8/src/theory/eager_proof_generator.cpp:84: shouldnt ==> shouldn't
data/cvc4-1.8/src/theory/eager_proof_generator.cpp:89: shouldnt ==> shouldn't
data/cvc4-1.8/src/theory/eager_proof_generator.h:35: depedent ==> dependent
data/cvc4-1.8/src/theory/eager_proof_generator.h:118: explictly ==> explicitly
data/cvc4-1.8/src/theory/ext_theory.cpp:60: chould ==> should, could
data/cvc4-1.8/src/theory/quantifiers_engine.h:58: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers_engine.h:115: precendence ==> precedence
data/cvc4-1.8/src/theory/rep_set.cpp:123: te ==> the, be, we
data/cvc4-1.8/src/theory/rep_set.cpp:124: te ==> the, be, we
data/cvc4-1.8/src/theory/rep_set.cpp:125: te ==> the, be, we
data/cvc4-1.8/src/theory/rep_set.cpp:129: te ==> the, be, we
data/cvc4-1.8/src/theory/rep_set.cpp:210: indicies ==> indices
data/cvc4-1.8/src/theory/shared_terms_database.h:169: alreday ==> already
data/cvc4-1.8/src/theory/shared_terms_database.h:241: Retursn ==> Returns
data/cvc4-1.8/src/theory/term_registration_visitor.h:79: Pre-registeres ==> Pre-registers
data/cvc4-1.8/src/theory/term_registration_visitor.h:134: Pre-registeres ==> Pre-registers
data/cvc4-1.8/src/theory/theory.h:256: substituion ==> substitution
data/cvc4-1.8/src/theory/theory.h:779: queriable ==> queryable
data/cvc4-1.8/src/theory/theory_engine.cpp:1029: apropriate ==> appropriate
data/cvc4-1.8/src/theory/theory_engine.cpp:1071: apropriate ==> appropriate
data/cvc4-1.8/src/theory/theory_engine.cpp:1235: refence ==> reference
data/cvc4-1.8/src/theory/theory_engine.cpp:1814: Kepping ==> Keeping
data/cvc4-1.8/src/theory/theory_engine.h:159: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_engine.h:159: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_engine.h:278: recievers ==> receivers
data/cvc4-1.8/src/theory/theory_engine.h:343: Enusre ==> Ensure
data/cvc4-1.8/src/theory/theory_engine.h:462: necesserily ==> necessarily
data/cvc4-1.8/src/theory/theory_engine.h:473: recieved ==> received
data/cvc4-1.8/src/theory/theory_engine.h:521: outputing ==> outputting
data/cvc4-1.8/src/theory/theory_engine.h:649: accomodate ==> accommodate
data/cvc4-1.8/src/theory/theory_model.cpp:336: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model.cpp:337: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model.cpp:354: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model.cpp:355: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model.h:211: albiet ==> albeit
data/cvc4-1.8/src/theory/theory_model_builder.cpp:42: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:45: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:54: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:58: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:63: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:63: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:693: teh ==> the
data/cvc4-1.8/src/theory/theory_model_builder.cpp:866: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:867: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:985: classe ==> class, classes
data/cvc4-1.8/src/theory/theory_model_builder.cpp:1285: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:1286: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:1319: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.cpp:1320: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_model_builder.h:47: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_registrar.h:38: te ==> the, be, we
data/cvc4-1.8/src/theory/theory_registrar.h:38: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:111: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:112: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:114: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:114: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:116: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:118: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:177: te ==> the, be, we
data/cvc4-1.8/src/theory/type_enumerator.h:179: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:69: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:73: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:74: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:78: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:100: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:103: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:108: te ==> the, be, we
data/cvc4-1.8/src/theory/type_set.cpp:117: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers_engine.cpp:176: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers_engine.cpp:177: te ==> the, be, we
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:204: TOLERENCE ==> TOLERANCE
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:212: TOLERENCE ==> TOLERANCE
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:212: TOLERENCE ==> TOLERANCE
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1161: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1162: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1163: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1164: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1165: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1166: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1167: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1169: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1175: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1690: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1691: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1692: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1693: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1694: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1695: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1696: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1697: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1698: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1699: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1700: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1702: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1708: parm ==> param, pram, parma
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:1841: auxillary ==> auxiliary
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:2107: intensionally ==> intentionally
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:2214: auxilliary ==> auxiliary
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:2517: auxillary ==> auxiliary
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:2549: auxillary ==> auxiliary
data/cvc4-1.8/src/theory/arith/approx_simplex.cpp:3038: implictly ==> implicitly
data/cvc4-1.8/src/theory/arith/approx_simplex.h:121: TOLERENCE ==> TOLERANCE
data/cvc4-1.8/src/theory/arith/approx_simplex.h:123: TOLERENCE ==> TOLERANCE
data/cvc4-1.8/src/theory/arith/arith_msum.h:108: coefficent ==> coefficient
data/cvc4-1.8/src/theory/arith/arith_msum.h:159: coefficent ==> coefficient
data/cvc4-1.8/src/theory/arith/arith_rewriter.cpp:461: substract ==> subtract
data/cvc4-1.8/src/theory/arith/attempt_solution_simplex.h:20: satisifying ==> satisfying
data/cvc4-1.8/src/theory/arith/attempt_solution_simplex.h:36: proccess ==> process
data/cvc4-1.8/src/theory/arith/congruence_manager.cpp:411: guarentee ==> guarantee
data/cvc4-1.8/src/theory/arith/congruence_manager.cpp:437: guarentee ==> guarantee
data/cvc4-1.8/src/theory/arith/constraint.h:268: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:272: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:273: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:273: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:273: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:279: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:280: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:281: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:281: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:296: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:296: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:297: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:621: contraint ==> constraint
data/cvc4-1.8/src/theory/arith/constraint.h:1013: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:1015: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:1016: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:1016: ans ==> and
data/cvc4-1.8/src/theory/arith/constraint.h:1016: ans ==> and
data/cvc4-1.8/src/theory/arith/dio_solver.cpp:671: seperately ==> separately
data/cvc4-1.8/src/theory/arith/dio_solver.h:204: guarenteed ==> guaranteed
data/cvc4-1.8/src/theory/arith/dio_solver.h:292: substition ==> substitution
data/cvc4-1.8/src/theory/arith/dual_simplex.h:20: satisifying ==> satisfying
data/cvc4-1.8/src/theory/arith/dual_simplex.h:36: proccess ==> process
data/cvc4-1.8/src/theory/arith/error_set.h:136: Auxillary ==> Auxiliary
data/cvc4-1.8/src/theory/arith/fc_simplex.h:20: satisifying ==> satisfying
data/cvc4-1.8/src/theory/arith/fc_simplex.h:36: proccess ==> process
data/cvc4-1.8/src/theory/arith/linear_equality.cpp:29: instatiate ==> instantiate
data/cvc4-1.8/src/theory/arith/linear_equality.cpp:418: shouldBe ==> should, should be
data/cvc4-1.8/src/theory/arith/linear_equality.cpp:420: shouldBe ==> should, should be
data/cvc4-1.8/src/theory/arith/linear_equality.cpp:422: shouldBe ==> should, should be
data/cvc4-1.8/src/theory/arith/linear_equality.cpp:954: psuedo ==> pseudo
data/cvc4-1.8/src/theory/arith/normal_form.h:119: langauges ==> languages
data/cvc4-1.8/src/theory/arith/normal_form.h:119: defintions ==> definitions
data/cvc4-1.8/src/theory/arith/normal_form.h:139: constuctors ==> constructors
data/cvc4-1.8/src/theory/arith/normal_form.h:141: constuctors ==> constructors
data/cvc4-1.8/src/theory/arith/partial_model.h:83: auxillary ==> auxiliary
data/cvc4-1.8/src/theory/arith/simplex.h:20: satisifying ==> satisfying
data/cvc4-1.8/src/theory/arith/simplex.h:36: proccess ==> process
data/cvc4-1.8/src/theory/arith/soi_simplex.h:20: satisifying ==> satisfying
data/cvc4-1.8/src/theory/arith/soi_simplex.h:36: proccess ==> process
data/cvc4-1.8/src/theory/arith/theory_arith_private.h:160: inferrable ==> inferable
data/cvc4-1.8/src/theory/arith/theory_arith_private.h:165: theshold ==> threshold
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:1652: varN ==> warn
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:1653: varN ==> warn
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:1953: occured ==> occurred
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:2737: contraint ==> constraint
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:3850: comit ==> commit
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:4900: progagation ==> propagation
data/cvc4-1.8/src/theory/arith/theory_arith_private.cpp:5387: explaination ==> explanation
data/cvc4-1.8/src/theory/arith/nl/nl_constraint.h:40: coefficent ==> coefficient
data/cvc4-1.8/src/theory/arith/nl/nl_model.cpp:1080: ambiguious ==> ambiguous
data/cvc4-1.8/src/theory/arith/nl/nl_solver.cpp:850: minimial ==> minimal
data/cvc4-1.8/src/theory/arith/nl/nl_solver.cpp:1393: flem ==> phlegm
data/cvc4-1.8/src/theory/arith/nl/nl_solver.cpp:1394: flem ==> phlegm
data/cvc4-1.8/src/theory/arith/nl/nl_solver.cpp:1395: flem ==> phlegm
data/cvc4-1.8/src/theory/arith/nl/nl_solver.h:148: betwen ==> between
data/cvc4-1.8/src/theory/arith/nl/nonlinear_extension.h:87: substituion ==> substitution
data/cvc4-1.8/src/theory/arith/nl/transcendental_solver.cpp:299: classe ==> class, classes
data/cvc4-1.8/src/theory/arith/nl/transcendental_solver.h:326: representives ==> representatives
data/cvc4-1.8/src/theory/arith/nl/transcendental_solver.h:340: representives ==> representatives
data/cvc4-1.8/src/theory/arrays/static_fact_manager.h:63: funciton ==> function
data/cvc4-1.8/src/theory/arrays/theory_arrays_rewriter.h:199: te ==> the, be, we
data/cvc4-1.8/src/theory/arrays/theory_arrays_rewriter.h:202: te ==> the, be, we
data/cvc4-1.8/src/theory/arrays/theory_arrays_rewriter.h:203: te ==> the, be, we
data/cvc4-1.8/src/theory/arrays/theory_arrays_rewriter.h:204: te ==> the, be, we
data/cvc4-1.8/src/theory/arrays/theory_arrays_rewriter.h:207: te ==> the, be, we
data/cvc4-1.8/src/theory/arrays/theory_arrays_rewriter.h:210: te ==> the, be, we
data/cvc4-1.8/src/theory/arrays/union_find.h:79: funciton ==> function
data/cvc4-1.8/src/theory/builtin/proof_checker.cpp:204: antecedant ==> antecedent
data/cvc4-1.8/src/theory/builtin/theory_builtin_rewriter.cpp:246: rewriten ==> rewritten
data/cvc4-1.8/src/theory/bv/bv_subtheory_algebraic.cpp:141: subsituted ==> substituted
data/cvc4-1.8/src/theory/bv/bv_subtheory_core.cpp:257: te ==> the, be, we
data/cvc4-1.8/src/theory/bv/bv_subtheory_core.cpp:261: te ==> the, be, we
data/cvc4-1.8/src/theory/bv/bv_subtheory_core.cpp:262: te ==> the, be, we
data/cvc4-1.8/src/theory/bv/bv_subtheory_core.cpp:266: te ==> the, be, we
data/cvc4-1.8/src/theory/bv/bv_subtheory_core.cpp:267: te ==> the, be, we
data/cvc4-1.8/src/theory/bv/bv_subtheory_core.cpp:269: te ==> the, be, we
data/cvc4-1.8/src/theory/bv/bv_subtheory_inequality.cpp:99: satisifed ==> satisfied
data/cvc4-1.8/src/theory/bv/kinds:41: concatentation ==> concatenation
data/cvc4-1.8/src/theory/bv/kinds:163: concatentation ==> concatenation
data/cvc4-1.8/src/theory/bv/slicer.cpp:84: begining ==> beginning
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1127: occured ==> occurred
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1132: occured ==> occurred
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1255: occured ==> occurred
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1260: occured ==> occurred
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1309: occurances ==> occurrences
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1329: occurances ==> occurrences
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1330: occurances ==> occurrences
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1344: occurence ==> occurrence
data/cvc4-1.8/src/theory/bv/theory_bv_rewrite_rules_normalization.h:1349: occurence ==> occurrence
data/cvc4-1.8/src/theory/bv/bitblast/bitblast_strategies_template.h:621: bellow ==> below
data/cvc4-1.8/src/theory/bv/bitblast/bitblast_strategies_template.h:633: bellow ==> below
data/cvc4-1.8/src/theory/bv/bitblast/lazy_bitblaster.h:168: initalized ==> initialized
data/cvc4-1.8/src/theory/datatypes/datatypes_rewriter.cpp:336: collapsable ==> collapsible
data/cvc4-1.8/src/theory/datatypes/datatypes_rewriter.cpp:405: te ==> the, be, we
data/cvc4-1.8/src/theory/datatypes/datatypes_rewriter.cpp:406: te ==> the, be, we
data/cvc4-1.8/src/theory/datatypes/sygus_datatype_utils.h:175: substition ==> substitution
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:809: lits ==> list
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:811: lits ==> list
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:812: lits ==> list
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:825: equivalance ==> equivalence
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:832: equivalance ==> equivalence
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:837: equivalance ==> equivalence
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:2320: namepsace ==> namespace
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:2321: namepsace ==> namespace
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.cpp:2322: namepsace ==> namespace
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.h:289: lits ==> list
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.h:292: equivalance ==> equivalence
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.h:294: equivalance ==> equivalence
data/cvc4-1.8/src/theory/datatypes/theory_datatypes.h:296: equivalance ==> equivalence
data/cvc4-1.8/src/theory/datatypes/type_enumerator.h:59: indicies ==> indices
data/cvc4-1.8/src/theory/example/theory_uf_tim.cpp:182: Elminate ==> Eliminate
data/cvc4-1.8/src/theory/example/ecdata.h:52: preferrable ==> preferable
data/cvc4-1.8/src/theory/example/ecdata.h:119: codde ==> code, coded, coddle
data/cvc4-1.8/src/theory/example/theory_uf_tim.h:74: guarentee ==> guarantee
data/cvc4-1.8/src/theory/fp/fp_converter.cpp:1304: converstion ==> conversion, conversation
data/cvc4-1.8/src/theory/fp/theory_fp.h:131: Uninterpretted ==> Uninterpreted
data/cvc4-1.8/src/theory/fp/theory_fp_type_rules.h:687: should't ==> shouldn't
data/cvc4-1.8/src/theory/quantifiers/bv_inverter.cpp:74: conditon ==> condition
data/cvc4-1.8/src/theory/quantifiers/bv_inverter_utils.cpp:1717: som ==> some
data/cvc4-1.8/src/theory/quantifiers/bv_inverter_utils.cpp:1719: som ==> some
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.cpp:247: addding ==> adding
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.cpp:342: synchonized ==> synchronized
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.cpp:1104: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.cpp:1299: guarenteed ==> guaranteed
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.cpp:1350: substituion ==> substitution
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.h:300: equivalance ==> equivalence
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.h:302: equivalance ==> equivalence
data/cvc4-1.8/src/theory/quantifiers/conjecture_generator.h:304: equivalance ==> equivalence
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:515: dissappears ==> disappears
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:987: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:989: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:989: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:990: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:991: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:993: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:995: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:995: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/extended_rewrite.cpp:995: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/fun_def_process.h:55: defintion ==> definition
data/cvc4-1.8/src/theory/quantifiers/lazy_trie.cpp:142: seperation ==> separation
data/cvc4-1.8/src/theory/quantifiers/lazy_trie.h:67: evalute ==> evaluate
data/cvc4-1.8/src/theory/quantifiers/lazy_trie.h:67: evalute ==> evaluate
data/cvc4-1.8/src/theory/quantifiers/quant_conflict_find.cpp:2014: convienence ==> convenience
data/cvc4-1.8/src/theory/quantifiers/quant_conflict_find.cpp:2206: equivalance ==> equivalence
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1508: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1516: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1568: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1572: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1573: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1592: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1594: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1595: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1595: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/quantifiers_rewriter.cpp:1595: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/relevant_domain.cpp:313: occurence ==> occurrence
data/cvc4-1.8/src/theory/quantifiers/single_inv_partition.cpp:213: subsquently ==> subsequently
data/cvc4-1.8/src/theory/quantifiers/skolemize.h:41: strenghtening ==> strengthening
data/cvc4-1.8/src/theory/quantifiers/skolemize.h:55: strenghtening ==> strengthening
data/cvc4-1.8/src/theory/quantifiers/skolemize.h:80: strenghtening ==> strengthening
data/cvc4-1.8/src/theory/quantifiers/skolemize.h:107: strenghtening ==> strengthening
data/cvc4-1.8/src/theory/quantifiers/sygus_sampler.cpp:785: bve ==> be
data/cvc4-1.8/src/theory/quantifiers/sygus_sampler.cpp:788: bve ==> be
data/cvc4-1.8/src/theory/quantifiers/sygus_sampler.cpp:790: bve ==> be
data/cvc4-1.8/src/theory/quantifiers/sygus_sampler.cpp:794: bve ==> be
data/cvc4-1.8/src/theory/quantifiers/sygus_sampler.cpp:829: bve ==> be
data/cvc4-1.8/src/theory/quantifiers/sygus_sampler.cpp:830: bve ==> be
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:12: databse ==> database
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:367: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:368: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:381: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:398: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:401: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:401: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:401: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/term_database.cpp:672: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_arith_instantiator.h:33: Loos ==> Loose, lose
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_arith_instantiator.h:194: substracted ==> subtracted
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_bv_instantiator_utils.h:39: sucessful ==> successful
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_instantiator.cpp:864: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_instantiator.cpp:875: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_instantiator.cpp:875: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_instantiator.cpp:877: lits ==> list
data/cvc4-1.8/src/theory/quantifiers/cegqi/ceg_instantiator.cpp:1479: unecessary ==> unnecessary
data/cvc4-1.8/src/theory/quantifiers/cegqi/vts_term_cache.h:118: occurence ==> occurrence
data/cvc4-1.8/src/theory/quantifiers/ematching/ho_trigger.cpp:273: subsitute ==> substitute
data/cvc4-1.8/src/theory/quantifiers/ematching/inst_match_generator.cpp:789: indicies ==> indices
data/cvc4-1.8/src/theory/quantifiers/ematching/inst_match_generator.cpp:913: guarentee ==> guarantee
data/cvc4-1.8/src/theory/quantifiers/ematching/inst_match_generator.h:362: Indepdendent ==> Independent
data/cvc4-1.8/src/theory/quantifiers/ematching/inst_match_generator.h:400: succesfully ==> successfully
data/cvc4-1.8/src/theory/quantifiers/ematching/inst_match_generator.h:542: succesfully ==> successfully
data/cvc4-1.8/src/theory/quantifiers/ematching/trigger.h:133: refered ==> referred
data/cvc4-1.8/src/theory/quantifiers/ematching/trigger.h:302: useable ==> usable
data/cvc4-1.8/src/theory/quantifiers/ematching/trigger.h:326: Intutively ==> Intuitively
data/cvc4-1.8/src/theory/quantifiers/sygus/ce_guided_single_inv.cpp:264: subsitute ==> substitute
data/cvc4-1.8/src/theory/quantifiers/sygus/ce_guided_single_inv.h:38: transistion ==> transition
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis.h:131: modifed ==> modified
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis.h:220: ot ==> to, of, or
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis_core_connective.h:249: evalutes ==> evaluates
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis_unif.cpp:196: seperation ==> separation
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis_unif.cpp:589: indepedent ==> independent
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis_unif.h:196: mantains ==> maintains
data/cvc4-1.8/src/theory/quantifiers/sygus/cegis_unif.h:210: conditonal ==> conditional
data/cvc4-1.8/src/theory/quantifiers/sygus/enum_stream_substitution.cpp:424: intial ==> initial
data/cvc4-1.8/src/theory/quantifiers/sygus/enum_stream_substitution.h:48: partioned ==> partitioned
data/cvc4-1.8/src/theory/quantifiers/sygus/enum_stream_substitution.h:184: partioned ==> partitioned
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_enumerator.cpp:973: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_enumerator.cpp:974: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_enumerator.cpp:983: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_cons.cpp:236: substituion ==> substitution
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.cpp:521: datatyes ==> datatypes
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:43: construtors ==> constructors
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:138: identicial ==> identical
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:151: Retrives ==> Retrieves
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:170: bulding ==> building
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:230: specif ==> specify, specific
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:240: specifed ==> specified
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:300: elemenst ==> elements
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:392: construtors ==> constructors
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_norm.h:397: grobally ==> globally
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_red.cpp:92: arugments ==> arguments
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_grammar_red.h:40: indicies ==> indices
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_pbe.cpp:93: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_pbe.cpp:113: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_pbe.cpp:115: te ==> the, be, we
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_repair_const.h:77: alls ==> all, falls
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif.h:126: exlude ==> exclude, exude
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1365: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1368: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1389: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1404: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1468: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1494: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.cpp:1500: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_io.h:425: exlude ==> exclude, exude
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:92: retrive ==> retrieve
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:131: Travese ==> Traverse
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:204: rebulid ==> rebuild
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:439: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:442: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:580: bulding ==> building
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:656: evalution ==> evaluation, evolution
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:667: evalution ==> evaluation, evolution
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:682: evalution ==> evaluation, evolution
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.cpp:694: evalution ==> evaluation, evolution
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.h:174: applicatin ==> application
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.h:226: bulids ==> builds
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.h:237: assigment ==> assignment
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_rl.h:305: occurr ==> occur
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:193: iten ==> item
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:194: iten ==> item
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:239: constuctor ==> constructor
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:518: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:520: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:523: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:538: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:545: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:552: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:615: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:623: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:815: indexT ==> index, indent
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:826: indexT ==> index, indent
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:833: indexT ==> index, indent
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:841: indexT ==> index, indent
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:948: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:949: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:997: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:999: strat ==> start, strata
data/cvc4-1.8/src/theory/quantifiers/sygus/synth_conjecture.cpp:241: polariy ==> polarity
data/cvc4-1.8/src/theory/quantifiers/sygus/term_database_sygus.cpp:453: constuctor ==> constructor
data/cvc4-1.8/src/theory/quantifiers/sygus/term_database_sygus.h:370: varaibles ==> variables
data/cvc4-1.8/src/theory/quantifiers/sygus/transition_inference.cpp:12: Implmentation ==> Implementation
data/cvc4-1.8/src/theory/quantifiers/sygus/transition_inference.h:220: analyis ==> analysis
data/cvc4-1.8/src/theory/sep/theory_sep.cpp:413: antecedant ==> antecedent
data/cvc4-1.8/src/theory/sep/theory_sep.cpp:1347: contraints ==> constraints
data/cvc4-1.8/src/theory/sets/cardinality_extension.h:57: concatentations ==> concatenations
data/cvc4-1.8/src/theory/sets/theory_sets_rels.cpp:511: infered ==> inferred
data/cvc4-1.8/src/theory/sets/theory_sets_rels.cpp:514: infered ==> inferred
data/cvc4-1.8/src/theory/sets/theory_sets_rels.cpp:757: producted ==> produced
data/cvc4-1.8/src/theory/sets/theory_sets_rels.cpp:1307: interpretted ==> interpreted
data/cvc4-1.8/src/theory/strings/base_solver.h:132: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/core_solver.cpp:234: preceeding ==> preceding, proceeding
data/cvc4-1.8/src/theory/strings/core_solver.cpp:653: Shouln't ==> Shouldn't
data/cvc4-1.8/src/theory/strings/core_solver.cpp:846: equivalance ==> equivalence
data/cvc4-1.8/src/theory/strings/core_solver.h:152: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/core_solver.h:182: minimial ==> minimal
data/cvc4-1.8/src/theory/strings/core_solver.h:314: fowards ==> forwards
data/cvc4-1.8/src/theory/strings/core_solver.h:444: indepedent ==> independent
data/cvc4-1.8/src/theory/strings/extf_solver.cpp:609: ofrom ==> from
data/cvc4-1.8/src/theory/strings/extf_solver.cpp:610: ofrom ==> from
data/cvc4-1.8/src/theory/strings/extf_solver.cpp:612: ofrom ==> from
data/cvc4-1.8/src/theory/strings/extf_solver.cpp:613: ofrom ==> from
data/cvc4-1.8/src/theory/strings/infer_info.h:50: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/infer_info.h:349: antecedant ==> antecedent
data/cvc4-1.8/src/theory/strings/infer_info.h:354: antecedant ==> antecedent
data/cvc4-1.8/src/theory/strings/kinds:66: seuence ==> sequence
data/cvc4-1.8/src/theory/strings/regexp_elim.cpp:295: situtation ==> situation
data/cvc4-1.8/src/theory/strings/regexp_entail.cpp:645: includee ==> include
data/cvc4-1.8/src/theory/strings/regexp_operation.cpp:12: Expresion ==> Expression
data/cvc4-1.8/src/theory/strings/regexp_operation.cpp:14: Expresion ==> Expression
data/cvc4-1.8/src/theory/strings/regexp_operation.h:12: Expresion ==> Expression
data/cvc4-1.8/src/theory/strings/solver_state.cpp:220: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.cpp:222: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.cpp:223: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.cpp:233: shouldnt ==> shouldn't
data/cvc4-1.8/src/theory/strings/solver_state.cpp:238: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.cpp:240: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.h:116: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.h:125: te ==> the, be, we
data/cvc4-1.8/src/theory/strings/solver_state.h:157: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/strings_entail.cpp:538: ba ==> by, be
data/cvc4-1.8/src/theory/strings/strings_entail.cpp:539: ba ==> by, be
data/cvc4-1.8/src/theory/strings/strings_entail.h:287: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/theory_strings.cpp:424: precendence ==> precedence
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:456: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:457: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:458: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:459: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:463: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:617: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:619: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:621: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:623: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:625: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:627: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.cpp:633: flem ==> phlegm
data/cvc4-1.8/src/theory/strings/theory_strings_preprocess.h:51: interpeted ==> interpreted
data/cvc4-1.8/src/theory/strings/theory_strings_utils.h:59: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/theory_strings_utils.h:75: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/theory_strings_utils.h:154: wilcard ==> wildcard
data/cvc4-1.8/src/theory/strings/theory_strings_utils.h:159: wilcard ==> wildcard
data/cvc4-1.8/src/theory/strings/theory_strings_utils.h:183: concatentation ==> concatenation
data/cvc4-1.8/src/theory/strings/theory_strings_utils.h:185: concatentation ==> concatenation
data/cvc4-1.8/src/theory/uf/cardinality_extension.cpp:38: unambigious ==> unambiguous
data/cvc4-1.8/src/theory/uf/cardinality_extension.h:150: infomation ==> information
data/cvc4-1.8/src/theory/uf/equality_engine.cpp:242: defaul ==> default
data/cvc4-1.8/src/theory/uf/theory_uf.h:162: equivalance ==> equivalence
data/cvc4-1.8/src/theory/uf/theory_uf.h:165: equivalance ==> equivalence
data/cvc4-1.8/src/theory/uf/theory_uf.h:168: equivalance ==> equivalence
data/cvc4-1.8/src/util/floatingpoint.cpp:249: opertaions ==> operations
data/cvc4-1.8/src/util/floatingpoint.cpp:965: retrive ==> retrieve
data/cvc4-1.8/src/util/floatingpoint.h.in:249: opertaions ==> operations
data/cvc4-1.8/test/regress/CMakeLists.txt:1487: fof ==> for
data/cvc4-1.8/test/regress/CMakeLists.txt:1546: fof ==> for
data/cvc4-1.8/test/regress/CMakeLists.txt:1600: strat ==> start, strata
data/cvc4-1.8/test/regress/regress0/arrays/arrays0.smt2:3: followin ==> following
data/cvc4-1.8/test/regress/regress0/arrays/arrays1.smt2:3: followin ==> following
data/cvc4-1.8/test/regress/regress0/arrays/arrays2.smt2:3: followin ==> following
data/cvc4-1.8/test/regress/regress0/arrays/arrays3.smt2:3: followin ==> following
data/cvc4-1.8/test/regress/regress0/arrays/arrays4.smt2:3: followin ==> following
data/cvc4-1.8/test/regress/regress0/arrays/swap_t1_np_nf_ai_00005_007.cvc.smtv1.smt2:2: followin ==> following
data/cvc4-1.8/test/regress/regress0/aufbv/fifo32bc06k08.smtv1.smt2:3: resetted ==> reset
data/cvc4-1.8/test/regress/regress0/aufbv/fifo32in06k08.smtv1.smt2:3: resetted ==> reset
data/cvc4-1.8/test/regress/regress0/ho/shadowing-defs.smt2:10: mor ==> more
data/cvc4-1.8/test/regress/regress0/ho/shadowing-defs.smt2:11: mor ==> more
data/cvc4-1.8/test/regress/regress0/ho/shadowing-defs.smt2:14: mor ==> more
data/cvc4-1.8/test/regress/regress0/ho/shadowing-defs.smt2:17: mor ==> more
data/cvc4-1.8/test/regress/regress0/sets/mar2014/small.smt2:4: demostrates ==> demonstrates
data/cvc4-1.8/test/regress/regress0/sets/mar2014/smaller.smt2:4: demostrates ==> demonstrates
data/cvc4-1.8/test/regress/regress0/strings/regexp_inclusion_reduction.smt2:8: ba ==> by, be
data/cvc4-1.8/test/regress/regress0/strings/regexp_inclusion_reduction.smt2:11: ba ==> by, be
data/cvc4-1.8/test/regress/regress0/strings/replaceall-eval.smt2:9: BA ==> BY, BE
data/cvc4-1.8/test/regress/regress0/strings/rewrites-re-concat.smt2:13: ba ==> by, be
data/cvc4-1.8/test/regress/regress0/tptp/KRS018+1.p:34: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS018+1.p:40: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS018+1.p:46: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS018+1.p:52: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:31: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:37: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:43: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:49: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:55: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:61: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:67: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:73: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:79: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:85: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:91: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:97: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:104: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:110: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:116: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:127: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:135: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:141: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:147: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:151: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:155: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:159: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:163: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:167: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:171: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:175: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/KRS063+1.p:178: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:8: efficent ==> efficient
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:11: Propogation ==> Propagation
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:12: Propogation ==> Propagation
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:38: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:46: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:53: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:62: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/MGT019+2.p:75: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/MGT031-1.p:8: Propogation ==> Propagation
data/cvc4-1.8/test/regress/regress0/tptp/MGT031-1.p:9: Propogation ==> Propagation
data/cvc4-1.8/test/regress/regress0/tptp/MGT041-2.p:9: Propogation ==> Propagation
data/cvc4-1.8/test/regress/regress0/tptp/MGT041-2.p:10: Propogation ==> Propagation
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:4: FOF ==> FOR
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:6: FOF ==> FOR
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:29: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:36: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:45: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:53: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:58: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:66: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:75: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:84: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+1.p:87: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:6: FOF ==> FOR
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:8: FOF ==> FOR
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:34: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:38: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:42: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:47: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:57: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:64: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:67: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:70: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:73: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:76: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:83: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:87: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:91: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:95: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:99: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:103: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:109: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:113: fot ==> for, fit, dot, rot, cot, got, tot, fog
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:116: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000+2.p:124: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN000-2.p:103: fot ==> for, fit, dot, rot, cot, got, tot, fog
data/cvc4-1.8/test/regress/regress0/tptp/SYN000_2.p:129: fot ==> for, fit, dot, rot, cot, got, tot, fog
data/cvc4-1.8/test/regress/regress0/tptp/SYN075+1.p:30: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/SYN075+1.p:37: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/tptp_parser10.p:5: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/tptp_parser10.p:7: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/tptp_parser9.p:6: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/tptp_parser9.p:8: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/tptp_parser9.p:10: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/tptp_parser9.p:12: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/Axioms/SYN000+0.ax:4: FOF ==> FOR
data/cvc4-1.8/test/regress/regress0/tptp/Axioms/SYN000+0.ax:28: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/Axioms/SYN000+0.ax:31: fof ==> for
data/cvc4-1.8/test/regress/regress0/tptp/Axioms/SYN000+0.ax:34: fof ==> for
data/cvc4-1.8/test/regress/regress1/ho/SYO056^1.p:64: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/SYO056^1.p:66: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/SYO056^1.p:67: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/SYO056^1.p:78: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/SYO056^1.p:98: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/SYO056^1.p:98: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-AGT034^2.smt2:13: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-AGT034^2.smt2:14: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-AGT034^2.smt2:16: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-AGT034^2.smt2:18: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-AGT034^2.smt2:20: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2:19: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2:20: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2:29: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2:42: mor ==> more
data/cvc4-1.8/test/regress/regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2:43: mor ==> more
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:6: Verfication ==> Verification
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:268: selectd ==> selected
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:270: selecte ==> selected, select
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:447: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:595: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:825: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:868: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:868: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:965: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:965: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:967: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:967: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:971: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:971: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:972: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:972: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:975: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:975: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:977: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:977: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:980: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:980: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:982: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:982: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:1065: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:1120: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:1122: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:1126: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:1128: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/bug822.smt2:1176: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/cdt-0208-to.smt2:284: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/cdt-0208-to.smt2:395: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/cdt-0208-to.smt2:395: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/quantifiers/cdt-0208-to.smt2:625: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/sets/lemmabug-ListElts317minimized.smt2:15: requirment ==> requirement
data/cvc4-1.8/test/regress/regress1/strings/loop002.smt2:8: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/strings/loop008.smt2:7: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/strings/str006.smt2:9: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/strings/str007.smt2:10: ba ==> by, be
data/cvc4-1.8/test/regress/regress1/sygus/error1-dt.sy:37: atLeast ==> at least
data/cvc4-1.8/test/regress/regress1/sygus/error1-dt.sy:67: atLeast ==> at least
data/cvc4-1.8/test/regress/regress1/sygus/node-discrete.sy:44: recieved ==> received
data/cvc4-1.8/test/regress/regress2/bug812.smt2:74: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/bug812.smt2:114: AtLeast ==> at least
data/cvc4-1.8/test/regress/regress2/arith/abz5_1400.smtv1.smt2:3: originaly ==> originally
data/cvc4-1.8/test/system/sep_log_api.cpp:42: explictly ==> explicitly
data/cvc4-1.8/test/system/sep_log_api.cpp:170: Constain ==> Constrain, contain
data/cvc4-1.8/test/unit/expr/node_algorithm_black.h:57: varible ==> variable
data/cvc4-1.8/test/unit/expr/node_black.h:158: structed ==> structured
data/cvc4-1.8/test/unit/preprocessing/pass_bv_gauss_white.h:2379: pres ==> press
data/cvc4-1.8/test/unit/preprocessing/pass_bv_gauss_white.h:2380: pres ==> press
data/cvc4-1.8/test/unit/preprocessing/pass_bv_gauss_white.h:2463: pres ==> press
data/cvc4-1.8/test/unit/preprocessing/pass_bv_gauss_white.h:2464: pres ==> press
data/cvc4-1.8/test/unit/preprocessing/pass_bv_gauss_white.h:2513: pres ==> press
data/cvc4-1.8/test/unit/preprocessing/pass_bv_gauss_white.h:2514: pres ==> press
data/cvc4-1.8/test/unit/theory/logic_info_white.h:31: compatiblity ==> compatibility
data/cvc4-1.8/test/unit/theory/sequences_rewriter_white.h:1350: ba ==> by, be
data/cvc4-1.8/test/unit/theory/sequences_rewriter_white.h:1350: BA ==> BY, BE
data/cvc4-1.8/test/unit/theory/sequences_rewriter_white.h:1584: BA ==> BY, BE
data/cvc4-1.8/test/unit/theory/sequences_rewriter_white.h:1592: ba ==> by, be
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:58: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:59: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:60: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:61: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:62: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:63: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:64: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:65: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:66: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:67: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:68: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:69: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:77: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:78: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:80: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:81: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:82: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:83: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:88: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:89: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:90: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:92: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:93: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:94: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:95: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:97: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:99: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:100: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:101: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:102: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:103: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:104: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:105: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:106: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:107: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:108: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:109: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:110: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:111: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:112: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:113: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:114: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:115: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:116: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:117: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:118: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:119: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:120: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:121: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:122: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:123: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:124: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:125: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:126: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:127: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:128: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:129: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:130: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:131: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:132: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:133: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:134: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:135: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:136: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:137: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:138: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:139: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:140: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:141: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:142: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:143: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:144: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:145: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:146: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:147: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:159: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:160: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:161: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:162: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:163: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:164: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:165: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:166: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:167: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:168: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:188: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:189: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:195: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:196: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:197: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:198: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:200: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:201: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:202: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:203: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:206: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:207: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:209: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:210: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:211: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:212: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:214: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:219: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:220: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:225: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:228: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:229: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:234: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:263: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:264: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:265: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:266: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:267: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:268: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:269: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:270: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:271: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:272: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:273: te ==> the, be, we
data/cvc4-1.8/test/unit/theory/type_enumerator_white.h:274: te ==> the, be, we
data/cvc4-1.8/test/unit/util/stats_black.h:31: namepsace ==> namespace
data/cvc4-1.8/test/unit/util/stats_black.h:71: hist ==> heist, his
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:13: everytime ==> every time
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:24: occurences ==> occurrences
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:33: corresponsing ==> corresponding
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:42: satified ==> satisfied
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:42: satified ==> satisfied
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:50: satified ==> satisfied
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:59: satified ==> satisfied
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:68: wether ==> weather, whether
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:79: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:83: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:92: preceeded ==> preceded, proceeded
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:101: preceeded ==> preceded, proceeded
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:112: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:123: everytime ==> every time
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:134: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:143: interupted ==> interrupted
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:152: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:163: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:172: hexidecimal ==> hexadecimal
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:183: interger ==> integer
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:192: satifying ==> satisfying
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:203: interupted ==> interrupted
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:214: interupted ==> interrupted
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:225: occurences ==> occurrences
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:236: occurences ==> occurrences
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:247: preceeded ==> preceded, proceeded
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:258: preceeded ==> preceded, proceeded
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:269: wether ==> weather, whether
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:280: wether ==> weather, whether
data/cvc4-1.8/debian/patches/04-spelling-errors.patch:291: wether ==> weather, whether
data/cvc4-1.8/debian/patches/06-disable-tests.patch:236: strat ==> start, strata
data/cvc4-1.8/.pc/01-disable-tests.patch/test/regress/CMakeLists.txt:1530: fof ==> for
data/cvc4-1.8/.pc/01-disable-tests.patch/test/regress/CMakeLists.txt:1589: fof ==> for
data/cvc4-1.8/.pc/01-disable-tests.patch/test/regress/CMakeLists.txt:1643: strat ==> start, strata
data/cvc4-1.8/.pc/02-install-lib-dir.patch/CMakeLists.txt:12: Extraversion ==> Extroversion
data/cvc4-1.8/.pc/02-install-lib-dir.patch/CMakeLists.txt:172: Supprted ==> Supported
data/cvc4-1.8/.pc/02-install-lib-dir.patch/CMakeLists.txt:183: overriden ==> overridden
data/cvc4-1.8/.pc/02-install-lib-dir.patch/CMakeLists.txt:359: explicitely ==> explicitly
data/cvc4-1.8/.pc/02-install-lib-dir.patch/CMakeLists.txt:374: explicitely ==> explicitly
data/cvc4-1.8/.pc/03-remove-build-path.patch/src/expr/expr_template.h:578: reponsible ==> responsible
data/cvc4-1.8/.pc/03-remove-build-path.patch/src/expr/metakind_template.h:100: APPLYs ==> applies
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/drat.plf:27: interpretted ==> interpreted
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/drat.plf:357: everytime ==> every time
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:104: occurences ==> occurrences
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:183: corresponsing ==> corresponding
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:263: satified ==> satisfied
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:263: satified ==> satisfied
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:270: satified ==> satisfied
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:351: satified ==> satisfied
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:360: wether ==> weather, whether
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:430: Assymetric ==> Asymmetric
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/lrat.plf:537: duplicat ==> duplicate
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/th_lira.plf:131: interger ==> integer
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/th_lira.plf:342: satifying ==> satisfying
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/th_lira.plf:361: actuall ==> actually, actual
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/th_lira.plf:404: ba ==> by, be
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/th_lira.plf:407: ba ==> by, be
data/cvc4-1.8/.pc/04-spelling-errors.patch/proofs/signatures/th_lira.plf:408: ba ==> by, be
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:602: interally ==> internally
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:2433: aci ==> acpi
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:2435: aci ==> acpi
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:2687: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:2690: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:3359: Reenable ==> Re-enable
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:5045: preceeded ==> preceded, proceeded
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/api/cvc4cpp.cpp:5074: preceeded ==> preceded, proceeded
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/parser/cvc/Cvc.g:1491: functionss ==> functions
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/parser/cvc/Cvc.g:2355: defintion ==> definition
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/parser/cvc/Cvc.g:2491: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/quantifiers_engine.cpp:176: te ==> the, be, we
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/quantifiers_engine.cpp:177: te ==> the, be, we
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/quantifiers_engine.cpp:585: interupted ==> interrupted
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:1652: varN ==> warn
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:1653: varN ==> warn
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:1953: occured ==> occurred
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:2737: contraint ==> constraint
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:3850: comit ==> commit
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:4766: everytime ==> every time
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:4900: progagation ==> propagation
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/arith/theory_arith_private.cpp:5387: explaination ==> explanation
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/example/ecdata.h:52: preferrable ==> preferable
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/example/ecdata.h:119: codde ==> code, coded, coddle
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/example/ecdata.h:168: preceeded ==> preceded, proceeded
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/example/theory_uf_tim.h:74: guarentee ==> guarantee
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/theory/example/theory_uf_tim.h:166: wether ==> weather, whether
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/util/string.cpp:134: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/util/string.cpp:198: interupted ==> interrupted
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/util/string.cpp:213: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/util/string.h:61: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/util/string.h:214: hexidecimal ==> hexadecimal
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/smt/smt_engine.cpp:1453: interupted ==> interrupted
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/smt/smt_engine.h:565: preceeded ==> preceded, proceeded
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/smt/smt_engine.h:1145: unchaged ==> unchanged
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/bvminisat/simp/SimpSolver.h:57: occurences ==> occurrences
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/bvminisat/simp/SimpSolver.h:83: managment ==> management
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/bvminisat/simp/SimpSolver.h:124: noticably ==> noticeably
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/bvminisat/simp/SimpSolver.cc:541: wether ==> weather, whether
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/bvminisat/simp/SimpSolver.cc:689: assymetric ==> asymmetric
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/minisat/simp/SimpSolver.h:58: occurences ==> occurrences
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/minisat/simp/SimpSolver.h:75: managment ==> management
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/minisat/simp/SimpSolver.h:115: noticably ==> noticeably
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/minisat/simp/SimpSolver.cc:528: wether ==> weather, whether
data/cvc4-1.8/.pc/04-spelling-errors.patch/src/prop/minisat/simp/SimpSolver.cc:675: assymetric ==> asymmetric
data/cvc4-1.8/.pc/06-disable-tests.patch/test/regress/CMakeLists.txt:1530: fof ==> for
data/cvc4-1.8/.pc/06-disable-tests.patch/test/regress/CMakeLists.txt:1589: fof ==> for
data/cvc4-1.8/.pc/06-disable-tests.patch/test/regress/CMakeLists.txt:1643: strat ==> start, strata