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

Adding a new Listener utility class. Changing the ResourceManager to use Listeners for reporting hard and soft resource out() events.

24 files changed:

src/base/Makefile.am		diff \| blob \| history
src/base/listener.cpp	[new file with mode: 0644]	blob
src/base/listener.h	[new file with mode: 0644]	blob
src/cvc4.i		diff \| blob \| history
src/expr/Makefile.am		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/resource_manager.cpp	[deleted file]	blob \| history
src/expr/resource_manager.h	[deleted file]	blob \| history
src/expr/resource_manager.i	[deleted file]	blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_options_handler.cpp		diff \| blob \| history
src/theory/bv/bitblaster_template.h		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/rewriter.cpp		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/resource_manager.cpp	[new file with mode: 0644]	blob
src/util/resource_manager.h	[new file with mode: 0644]	blob
src/util/resource_manager.i	[new file with mode: 0644]	blob
test/unit/Makefile.am		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/util/listener_black.h	[new file with mode: 0644]	blob