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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 2 Feb 2022 20:59:37 +0000 (12:59 -0800)
committer	GitHub <noreply@github.com>
	Wed, 2 Feb 2022 20:59:37 +0000 (20:59 +0000)
commit	5b458eceb66a44f176133b4eaaf2bc8ab19ee918
tree	2ab64053bc666c9490ee778936e95ca36a7202d8	tree
parent	86b26766f45b8f1a9850a955599974c369552df9	commit \| diff

api: Rename mk<Value> functions for FP for consistency. (#8033)

15 files changed:

examples/api/cpp/floating_point_arith.cpp		diff \| blob \| history
examples/api/java/FloatingPointArith.java		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/io/github/cvc5/api/Solver.java		diff \| blob \| history
src/api/java/jni/solver.cpp		diff \| blob \| history
src/api/python/cvc5.pxd		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/term_black.cpp		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/java/TermTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/api/python/test_term.py		diff \| blob \| history