projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45d127c) | patch
Make preregistration safe for uninterpreted constants (#7292)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 1 Oct 2021 21:19:01 +0000 (16:19 -0500)
committerGitHub <noreply@github.com>
Fri, 1 Oct 2021 21:19:01 +0000 (21:19 +0000)
commit8848b31ec753ba87522fb6e5d76163f2979e73a2
tree23d8543a0ce5e90c02dbd9429f1e64a8dc472277tree
parent45d127cc4ebaa9c092605266c118288560c1138bcommit | diff
Make preregistration safe for uninterpreted constants (#7292)

Work towards addressing #6908.
src/theory/uf/theory_uf.cpp diff | blob | history