projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dc6dee) | patch
Integrate learned literal manager into preprocessing pass context (#6718)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 9 Jun 2021 18:52:13 +0000 (13:52 -0500)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 18:52:13 +0000 (18:52 +0000)
commit2dc245a5922e660b6f44032d55d452ad27dfc20f
tree43b9e085acff0c4329c5bc32d7af01c9781e650ctree
parent9dc6deed6147b7a53a65d727cc7afd7b1b6c2c19commit | diff
Integrate learned literal manager into preprocessing pass context (#6718)

Towards "learned rewrite" preprocessing pass / improvements to Int <-> BV.
src/preprocessing/learned_literal_manager.cpp diff | blob | history
src/preprocessing/learned_literal_manager.h diff | blob | history
src/preprocessing/passes/non_clausal_simp.cpp diff | blob | history
src/preprocessing/preprocessing_pass_context.cpp diff | blob | history
src/preprocessing/preprocessing_pass_context.h diff | blob | history