projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e124d) | patch
Minor changes to arrays in preparation for central equality engine (#6917)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 28 Jul 2021 21:50:08 +0000 (16:50 -0500)
committerGitHub <noreply@github.com>
Wed, 28 Jul 2021 21:50:08 +0000 (21:50 +0000)
commit48a58687cd7a5b3d1e69153b2178ba535f1e6724
treeff0b4c493164b5203a0d0783b9d511b99b3e7bc8tree
parent25e124deb3c69256b35641cd1055b5328b309bf6commit | diff
Minor changes to arrays in preparation for central equality engine (#6917)

Makes arrays more robust to the order in which terms can be added to the equality engine vs. when they are preregistered.

We should probably performance test this.

FYI @barrettcw
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history