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

author	Morgan Deters <mdeters@gmail.com>
	Sun, 10 Apr 2011 00:44:20 +0000 (00:44 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sun, 10 Apr 2011 00:44:20 +0000 (00:44 +0000)
commit	969b144a5f9630d646afdf0ff0a053df38d0ed1a
tree	92eb38ad161abfe3af979a86285549168d118c5e	tree
parent	8495ee8e7de4a7e472d72cfb20290940c59794e3	commit \| diff

merge from replay branch

24 files changed:

COPYING		diff \| blob \| history
Makefile		diff \| blob \| history
config/build-type		diff \| blob \| history
config/cvc4.m4		diff \| blob \| history
configure.ac		diff \| blob \| history
src/expr/expr_stream.h	[new file with mode: 0644]	blob
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/interactive_shell.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		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/sat.cpp		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/util/configuration.cpp		diff \| blob \| history
src/util/configuration.h		diff \| blob \| history
src/util/configuration_private.h		diff \| blob \| history
src/util/options.cpp		diff \| blob \| history
src/util/options.h		diff \| blob \| history