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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e46533c) | patch

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 30 Mar 2022 04:39:29 +0000 (23:39 -0500)
committer	GitHub <noreply@github.com>
	Wed, 30 Mar 2022 04:39:29 +0000 (04:39 +0000)
commit	4eac250cf24968bdf04ed04ec92db1506526b380
tree	384915aebed0264ecf6873ecdccbf0099d0e5231	tree
parent	e46533cd87d21988996e1324a37a68f2e60ff8ef	commit \| diff

Change tuple tokens and update datatypes theory ref (#8420)

Changes tuple_ to tuple. for consistency.

Also fixes the lexer list for smt2 and updates the datatypes theory reference with missing content.

19 files changed:

docs/ext/smtliblexer.py		diff \| blob \| history
docs/theories/datatypes.rst		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
test/regress/cli/regress0/datatypes/some-boolean-tests.cvc.smt2		diff \| blob \| history
test/regress/cli/regress0/datatypes/tuple-model.cvc.smt2		diff \| blob \| history
test/regress/cli/regress0/datatypes/tuple-record-bug.cvc.smt2		diff \| blob \| history
test/regress/cli/regress0/datatypes/tuple.cvc.smt2		diff \| blob \| history
test/regress/cli/regress0/datatypes/tuple_update.smt2		diff \| blob \| history
test/regress/cli/regress0/datatypes/tuples-multitype.smt2		diff \| blob \| history
test/regress/cli/regress0/printer/tuples_and_records.cvc.smt2		diff \| blob \| history
test/regress/cli/regress1/bags/product3.smt2		diff \| blob \| history
test/regress/cli/regress1/datatypes/tuple_projection.smt2		diff \| blob \| history
test/regress/cli/regress1/sets/sets-tuple-poly.cvc.smt2		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history