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

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Sun, 25 Mar 2012 20:12:07 +0000 (20:12 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Sun, 25 Mar 2012 20:12:07 +0000 (20:12 +0000)
commit	0d080430206880ffc19050acfa01aae1475f1978
tree	b1334148abb7311eca1afcb00fdce69f606ac22f	tree
parent	426abc52a0f1631f2adee0eef845e3f8946c5088	commit \| diff

sat_module.h,cpp -> sat_solver.h,cpp (as intended)

14 files changed:

src/prop/Makefile.am		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/prop/sat_module.cpp	[deleted file]	blob \| history
src/prop/sat_module.h	[deleted file]	blob \| history
src/prop/sat_solver.cpp	[new file with mode: 0644]	blob
src/prop/sat_solver.h	[new file with mode: 0644]	blob
src/prop/theory_proxy.h		diff \| blob \| history
src/theory/bv/bitblast_strategies.cpp		diff \| blob \| history
src/theory/bv/bitblast_strategies.h		diff \| blob \| history
src/theory/bv/bv_sat.cpp		diff \| blob \| history
src/theory/bv/bv_sat.h		diff \| blob \| history