git.libre-soc.org Git - cvc5.git/commit

author	FabianWolff <fabi.wolff@arcor.de>
	Tue, 1 Sep 2020 03:20:57 +0000 (05:20 +0200)
committer	GitHub <noreply@github.com>
	Tue, 1 Sep 2020 03:20:57 +0000 (20:20 -0700)
commit	fa05eb5599e2ac0b2d4c1e0e943fee6353b52430
tree	f3c9cbb78e7e80657e0a0ebcd5f438842d05a854	tree
parent	09b3b246ad0328a163b0e3825531ccf82ea4013d	commit \| diff

Fix spelling errors (#4977)

Signed-off-by: Fabian Wolff <fabi.wolff@arcor.de>

16 files changed:

proofs/signatures/drat.plf		diff \| blob \| history
proofs/signatures/lrat.plf		diff \| blob \| history
proofs/signatures/th_lira.plf		diff \| blob \| history
src/api/cvc4cpp.cpp		diff \| blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/prop/bvminisat/simp/SimpSolver.cc		diff \| blob \| history
src/prop/bvminisat/simp/SimpSolver.h		diff \| blob \| history
src/prop/minisat/simp/SimpSolver.cc		diff \| blob \| history
src/prop/minisat/simp/SimpSolver.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/smt/sygus_solver.h		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/util/string.cpp		diff \| blob \| history
src/util/string.h		diff \| blob \| history