projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a750bb) | patch
Refactor rewriting of arithmetic division (#8195)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 2 Mar 2022 16:37:03 +0000 (17:37 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Mar 2022 16:37:03 +0000 (16:37 +0000)
commitbc37256a1a23ade3ebecc74247d0e69f02abc844
treea4fd33046701d5f64596223ed6855a0224116e16tree
parent3a750bb1c4fa455e7faadf7b0f26e28eee342342commit | diff
Refactor rewriting of arithmetic division (#8195)

This PR does minor refactoring of how we rewrite division. Also, it moves some functions around to reconcile the order in header and source file.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history