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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8d691ea) | patch

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Wed, 12 May 2010 20:29:24 +0000 (20:29 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Wed, 12 May 2010 20:29:24 +0000 (20:29 +0000)
commit	a358ed3b520919acbb72fb9bcd2974ee4165f495
tree	52a9dd03f5735114cf196bafbc6a5ee6f5a40b22	tree
parent	8d691eac8e478576ebceb6406a8e372db5e3f7f1	commit \| diff

Adding ParserBuilder, reducing visibility of Parser and Input constructors
Adding Smt2 subclass of Parser
Checking for multiple calls to set-logic in SMT v2

12 files changed:

src/main/main.cpp		diff \| blob \| history
src/parser/Makefile.am		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.cpp	[new file with mode: 0644]	blob
src/parser/parser_builder.h	[new file with mode: 0644]	blob
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/parser/smt2/smt2_input.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history