projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e87c898) | patch
Remove unused RecordSelect and TupleSelect (#1087)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 13 Sep 2017 08:31:30 +0000 (01:31 -0700)
committerGitHub <noreply@github.com>
Wed, 13 Sep 2017 08:31:30 +0000 (01:31 -0700)
commit3a00b0c4586ef61c93b7b7320cce4d720014f2bf
treea6fe5d508905508df657111f5eb5bb5237c163f7tree
parente87c898707f609f636318a2489dd1dd3afda4d8ecommit | diff
Remove unused RecordSelect and TupleSelect (#1087)

Commit 62b673a6b8444c14c169a984dd6e3fc8f685851e remove most of the
record/tuple infrastructure but did not remove the classes RecordSelect and
TupleSelect which lead to issues with Java bindings (the references to the
corresponding mkConst implementations could not be resolved). This commit
removes the remaining traces of those classes.
src/bindings/compat/java/src/cvc3/ValidityChecker.java diff | blob | history
src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp diff | blob | history
src/expr/expr_manager.i diff | blob | history
src/expr/record.cpp diff | blob | history
src/expr/record.h diff | blob | history
src/expr/record.i diff | blob | history
src/util/tuple.h diff | blob | history
src/util/tuple.i diff | blob | history