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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Tue, 22 Mar 2022 00:22:41 +0000 (17:22 -0700)
committer	GitHub <noreply@github.com>
	Tue, 22 Mar 2022 00:22:41 +0000 (00:22 +0000)
commit	4a58ed7daf86dd0b9cd1dabc9d83458da1fb23ae
tree	7bd1d496c4d241e832def7bcb8d7192149d6d6ed	tree
parent	e3f8ea19324685c25df378bd078a11bfcf639b77	commit \| diff

api: Unify mkTerm variants. (#8357)

40 files changed:

examples/api/cpp/bitvectors.cpp		diff \| blob \| history
examples/api/cpp/bitvectors_and_arrays.cpp		diff \| blob \| history
examples/api/cpp/combination.cpp		diff \| blob \| history
examples/api/cpp/datatypes.cpp		diff \| blob \| history
examples/api/cpp/extract.cpp		diff \| blob \| history
examples/api/cpp/floating_point_arith.cpp		diff \| blob \| history
examples/api/cpp/linear_arith.cpp		diff \| blob \| history
examples/api/cpp/quickstart.cpp		diff \| blob \| history
examples/api/cpp/relations.cpp		diff \| blob \| history
examples/api/cpp/sequences.cpp		diff \| blob \| history
examples/api/cpp/sets.cpp		diff \| blob \| history
examples/api/cpp/strings.cpp		diff \| blob \| history
examples/api/cpp/sygus-fun.cpp		diff \| blob \| history
examples/api/cpp/sygus-grammar.cpp		diff \| blob \| history
examples/api/cpp/sygus-inv.cpp		diff \| blob \| history
examples/api/cpp/transcendentals.cpp		diff \| blob \| history
examples/simple_vc_cxx.cpp		diff \| blob \| history
examples/simple_vc_quant_cxx.cpp		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/jni/solver.cpp		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/tptp/Tptp.g		diff \| blob \| history
src/parser/tptp/tptp.cpp		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
test/api/cpp/issue4889.cpp		diff \| blob \| history
test/api/cpp/issue5074.cpp		diff \| blob \| history
test/api/cpp/issue6111.cpp		diff \| blob \| history
test/api/cpp/proj-issue306.cpp		diff \| blob \| history
test/api/cpp/proj-issue334.cpp		diff \| blob \| history
test/api/cpp/reset_assertions.cpp		diff \| blob \| history
test/api/cpp/sep_log_api.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_white.cpp		diff \| blob \| history
test/unit/api/cpp/term_black.cpp		diff \| blob \| history
test/unit/api/cpp/term_white.cpp		diff \| blob \| history
test/unit/api/cpp/theory_uf_ho_black.cpp		diff \| blob \| history
test/unit/theory/theory_sets_type_rules_white.cpp		diff \| blob \| history

RSS Atom