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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 12 Jun 2019 16:07:00 +0000 (09:07 -0700)
committer	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 12 Jun 2019 16:07:00 +0000 (11:07 -0500)
commit	c83ce8f341f88bbffcae8fd2bfbed5c33abf4f66
tree	913aef18511db45418f26de2ee0f3f892584fcfa	tree
parent	9925a54ce86e9b0101563c0ace1b973144490528	commit \| diff

Refactor parser to define fewer tokens for symbols (#2936)

27 files changed:

src/expr/symbol_table.cpp		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
test/regress/regress0/bv/core/constant_core.smt2		diff \| blob \| history
test/regress/regress0/expect/scrub.08.sy		diff \| blob \| history
test/regress/regress0/nl/nta/real-pi.smt2		diff \| blob \| history
test/regress/regress0/strings/bug613.smt2		diff \| blob \| history
test/regress/regress0/strings/str004.smt2		diff \| blob \| history
test/regress/regress0/strings/type001.smt2		diff \| blob \| history
test/regress/regress0/strings/unsound-0908.smt2		diff \| blob \| history
test/regress/regress1/strings/artemis-0512-nonterm.smt2		diff \| blob \| history
test/regress/regress1/strings/at001.smt2		diff \| blob \| history
test/regress/regress1/strings/fmf002.smt2		diff \| blob \| history
test/regress/regress1/strings/issue2429-code.smt2		diff \| blob \| history
test/regress/regress1/strings/kaluza-fl.smt2		diff \| blob \| history
test/regress/regress1/strings/loop005.smt2		diff \| blob \| history
test/regress/regress1/strings/loop007.smt2		diff \| blob \| history
test/regress/regress1/strings/loop008.smt2		diff \| blob \| history
test/regress/regress1/strings/re-agg-total1.smt2		diff \| blob \| history
test/regress/regress1/strings/reloop.smt2		diff \| blob \| history
test/regress/regress1/strings/substr001.smt2		diff \| blob \| history
test/regress/regress1/strings/type002.smt2		diff \| blob \| history
test/regress/regress1/strings/type003.smt2		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history

RSS Atom