projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c03e334 3079060)
Merge pull request #143 from FabianWolff/master
authorClark Barrett <barrett@cs.stanford.edu>
Thu, 6 Apr 2017 06:32:12 +0000 (23:32 -0700)
committerGitHub <noreply@github.com>
Thu, 6 Apr 2017 06:32:12 +0000 (23:32 -0700)
Fix several spelling errors

1  2 
proofs/signatures/th_bv_bitblast.plf patch | diff1 | diff2 | blob | history
src/options/arith_options patch | diff1 | diff2 | blob | history

diff --cc proofs/signatures/th_bv_bitblast.plf
Simple merge
diff --cc src/options/arith_options
Simple merge