projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 549329c) | patch
Refactor arithmetic pre-rewriter for multiplication (#7930)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 14 Jan 2022 16:30:14 +0000 (08:30 -0800)
committerGitHub <noreply@github.com>
Fri, 14 Jan 2022 16:30:14 +0000 (16:30 +0000)
commit09d66569502849d3a934b83de0f4777e8ed38b08
tree7f5171fb2ef54d28bdfd595995e890e19a81ef6ftree
parent549329cd3803b1ebe6e59036e1d69fb21474ca2dcommit | diff
Refactor arithmetic pre-rewriter for multiplication (#7930)

This PR refactors the pre-rewrite stage for multiplication.
src/theory/arith/arith_rewriter.cpp diff | blob | history