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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 18 Sep 2018 15:26:36 +0000 (10:26 -0500)
committer	GitHub <noreply@github.com>
	Tue, 18 Sep 2018 15:26:36 +0000 (10:26 -0500)
commit	fa557c39a89a2c8de198ea0400e6936c1790ad4e
tree	f1b2ff7512b3aec3a06d5a879dc930e559ae172e	tree
parent	d718da758b27c2824d2aff44faf71971133217ab	commit \| diff

Move and rename sygus solver classes (#2488)

39 files changed:

src/Makefile.am		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/datatypes/datatypes_sygus.cpp		diff \| blob \| history
src/theory/datatypes/datatypes_sygus.h		diff \| blob \| history
src/theory/quantifiers/candidate_rewrite_database.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_attributes.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_conjecture.cpp	[deleted file]	blob \| history
src/theory/quantifiers/sygus/ce_guided_conjecture.h	[deleted file]	blob \| history
src/theory/quantifiers/sygus/ce_guided_instantiation.cpp	[deleted file]	blob \| history
src/theory/quantifiers/sygus/ce_guided_instantiation.h	[deleted file]	blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv.h		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv_sol.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv_sol.h		diff \| blob \| history
src/theory/quantifiers/sygus/cegis.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/cegis.h		diff \| blob \| history
src/theory/quantifiers/sygus/cegis_unif.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/cegis_unif.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_grammar_cons.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_grammar_norm.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_invariance.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_invariance.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_module.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_module.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_pbe.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_pbe.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_process_conj.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_process_conj.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_unif_rl.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_unif_rl.h		diff \| blob \| history
src/theory/quantifiers/sygus/synth_conjecture.cpp	[new file with mode: 0644]	blob
src/theory/quantifiers/sygus/synth_conjecture.h	[new file with mode: 0644]	blob
src/theory/quantifiers/sygus/synth_engine.cpp	[new file with mode: 0644]	blob
src/theory/quantifiers/sygus/synth_engine.h	[new file with mode: 0644]	blob
src/theory/quantifiers/sygus/term_database_sygus.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/term_database_sygus.h		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.h		diff \| blob \| history

RSS Atom