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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 17 Nov 2009 16:40:19 +0000 (16:40 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 17 Nov 2009 16:40:19 +0000 (16:40 +0000)
commit	0201aa29bea8467e5cc07f2d0af68a4da3e86ec1
tree	548f42c4244176fb91956e9571451842fd85e482	tree
parent	7293554b109742697d4d928ed7b58acadc6de947	commit \| diff

fixes/redesign of source layout from meeting

60 files changed:

Makefile.am		diff \| blob \| history
src/Makefile.am		diff \| blob \| history
src/core/Makefile.am		diff \| blob \| history
src/core/assert.h	[new file with mode: 0644]	blob
src/core/attr_type.h	[new file with mode: 0644]	blob
src/core/command.h	[new file with mode: 0644]	blob
src/core/context.h	[new file with mode: 0644]	blob
src/core/debug.h	[new file with mode: 0644]	blob
src/core/decision_engine.h	[new file with mode: 0644]	blob
src/core/exception.h	[new file with mode: 0644]	blob
src/core/expr.cpp		diff \| blob \| history
src/core/expr_attribute.h	[new file with mode: 0644]	blob
src/core/expr_builder.cpp	[new file with mode: 0644]	blob
src/core/expr_builder.h	[new file with mode: 0644]	blob
src/core/expr_manager.cpp		diff \| blob \| history
src/core/expr_manager.h	[new file with mode: 0644]	blob
src/core/expr_value.cpp		diff \| blob \| history
src/core/expr_value.h	[new file with mode: 0644]	blob
src/core/kind.h	[new file with mode: 0644]	blob
src/core/literal.h	[new file with mode: 0644]	blob
src/core/model.h	[new file with mode: 0644]	blob
src/core/parser.h	[new file with mode: 0644]	blob
src/core/parser_exception.h	[new file with mode: 0644]	blob
src/core/prop_engine.h	[new file with mode: 0644]	blob
src/core/prover.h	[new file with mode: 0644]	blob
src/core/result.h	[new file with mode: 0644]	blob
src/core/sat.h	[new file with mode: 0644]	blob
src/core/theory.h	[new file with mode: 0644]	blob
src/core/theory_engine.h	[new file with mode: 0644]	blob
src/core/unique_id.h	[new file with mode: 0644]	blob
src/include/assert.h	[deleted file]	blob \| history
src/include/attr_type.h	[deleted file]	blob \| history
src/include/command.h	[deleted file]	blob \| history
src/include/context.h	[deleted file]	blob \| history
src/include/cvc4.h	[new file with mode: 0644]	blob
src/include/cvc4_expr.h	[new file with mode: 0644]	blob
src/include/debug.h	[deleted file]	blob \| history
src/include/decision_engine.h	[deleted file]	blob \| history
src/include/exception.h	[deleted file]	blob \| history
src/include/expr.h	[deleted file]	blob \| history
src/include/expr_attribute.h	[deleted file]	blob \| history
src/include/expr_builder.h	[deleted file]	blob \| history
src/include/expr_manager.h	[deleted file]	blob \| history
src/include/expr_value.h	[deleted file]	blob \| history
src/include/kind.h	[deleted file]	blob \| history
src/include/literal.h	[deleted file]	blob \| history
src/include/model.h	[deleted file]	blob \| history
src/include/parser.h	[deleted file]	blob \| history
src/include/parser_exception.h	[deleted file]	blob \| history
src/include/prop_engine.h	[deleted file]	blob \| history
src/include/prover.h	[deleted file]	blob \| history
src/include/result.h	[deleted file]	blob \| history
src/include/sat.h	[deleted file]	blob \| history
src/include/theory.h	[deleted file]	blob \| history
src/include/theory_engine.h	[deleted file]	blob \| history
src/include/unique_id.h	[deleted file]	blob \| history
src/include/vc.h	[deleted file]	blob \| history
src/parser/Makefile.am		diff \| blob \| history
src/parser/parser_state.h		diff \| blob \| history
src/sat/Makefile.am		diff \| blob \| history

RSS Atom