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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 82faddb) | patch

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Fri, 11 Dec 2009 04:00:14 +0000 (04:00 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Fri, 11 Dec 2009 04:00:14 +0000 (04:00 +0000)
commit	d26cd7a159bb56f492e21b7536f68abf821ca02a
tree	3f601cae6490a8bfb4dc7dcdcc5c9b4dd1a75711	tree
parent	82faddb718aaae5f52001e09d0754a3d254e2285	commit \| diff

Extracted the public Expr and ExprManager interface to encapsulate the optimized expressions and the internal expression manager.

30 files changed:

src/expr/Makefile.am		diff \| blob \| history
src/expr/Makefile.in		diff \| blob \| history
src/expr/expr.cpp	[new file with mode: 0644]	blob
src/expr/expr.h	[new file with mode: 0644]	blob
src/expr/expr_manager.cpp	[new file with mode: 0644]	blob
src/expr/expr_manager.h	[new file with mode: 0644]	blob
src/expr/expr_value.cpp		diff \| blob \| history
src/expr/expr_value.h		diff \| blob \| history
src/expr/node.cpp		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_attribute.h		diff \| blob \| history
src/expr/node_builder.cpp		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/parser/antlr_parser.cpp		diff \| blob \| history
src/parser/antlr_parser.h		diff \| blob \| history
src/parser/cvc/cvc_parser.cpp		diff \| blob \| history
src/parser/cvc/cvc_parser.g		diff \| blob \| history
src/parser/cvc/cvc_parser.h		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/smt/smt_parser.cpp		diff \| blob \| history
src/parser/smt/smt_parser.g		diff \| blob \| history
src/parser/smt/smt_parser.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/util/command.cpp		diff \| blob \| history
src/util/command.h		diff \| blob \| history