projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f63a76) | patch
Revert change in lemma order in prop engine (#8911)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 27 Jun 2022 20:46:04 +0000 (15:46 -0500)
committerGitHub <noreply@github.com>
Mon, 27 Jun 2022 20:46:04 +0000 (13:46 -0700)
commitb71fcbb8aa09fdd14142a3349615f4eaea491c91
tree2e921fc59aaf5c93180e93473eff8255a32d233ftree
parent3f63a768eb2405b246a35e1386ca742f87691585commit | diff
Revert change in lemma order in prop engine (#8911)

This reverts the change in lemma order from #8301.
src/prop/prop_engine.cpp diff | blob | history
src/prop/theory_proxy.cpp diff | blob | history
src/prop/theory_proxy.h diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress1/strings/prop-engine-order.smt2 [new file with mode: 0644] blob