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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Sat, 2 Apr 2022 19:40:41 +0000 (14:40 -0500)
committer	GitHub <noreply@github.com>
	Sat, 2 Apr 2022 19:40:41 +0000 (19:40 +0000)
commit	df6ce0361d549c3cef4303d05d72ee8b5c8612b1
tree	34e967326052601280123637fcddbf5c32dba106	tree
parent	40910fb3c633a22acf990ce4a544c8594b92b56d	commit \| diff

Rename mkSygusGrammar to mkGrammar (#8544)

19 files changed:

examples/api/cpp/sygus-fun.cpp		diff \| blob \| history
examples/api/cpp/sygus-grammar.cpp		diff \| blob \| history
examples/api/java/SygusFun.java		diff \| blob \| history
examples/api/java/SygusGrammar.java		diff \| blob \| history
examples/api/python/sygus-fun.py		diff \| blob \| history
examples/api/python/sygus-grammar.py		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/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/grammar_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/java/GrammarTest.java		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/python/test_grammar.py		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history