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

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Fri, 5 Oct 2012 22:07:16 +0000 (22:07 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Fri, 5 Oct 2012 22:07:16 +0000 (22:07 +0000)
commit	4c87c0794b7e954afd090cfbf441caa0b09c3ef5
tree	d0cfcf60cbf9600c52dcb728744802ad27a5c3e1	tree
parent	7a9899f394476e53b7f759e698c7e10c8388fd57	commit \| diff

BoolExpr removed and replaced with Expr

28 files changed:

.cproject		diff \| blob \| history
.settings/language.settings.xml	[new file with mode: 0644]	blob
examples/hashsmt/sha1smt.cpp		diff \| blob \| history
examples/hashsmt/word.cpp		diff \| blob \| history
examples/hashsmt/word.h		diff \| blob \| history
examples/nra-translate/normalize.cpp		diff \| blob \| history
examples/nra-translate/smt2info.cpp		diff \| blob \| history
examples/nra-translate/smt2todreal.cpp		diff \| blob \| history
examples/nra-translate/smt2toisat.cpp		diff \| blob \| history
examples/nra-translate/smt2tomathematica.cpp		diff \| blob \| history
examples/nra-translate/smt2toqepcad.cpp		diff \| blob \| history
examples/nra-translate/smt2toredlog.cpp		diff \| blob \| history
examples/simple_vc_cxx.cpp		diff \| blob \| history
src/compat/cvc3_compat.cpp		diff \| blob \| history
src/expr/command.cpp		diff \| blob \| history
src/expr/command.h		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/printer/ast/ast_printer.cpp		diff \| blob \| history
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history