projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6a8803) | patch
Split some generic utilities from the non-linear extension (#3419)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 30 Oct 2019 00:42:50 +0000 (19:42 -0500)
committerAhmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
Wed, 30 Oct 2019 00:42:50 +0000 (17:42 -0700)
commit8dda9531995953c3cec094339002f2ee7cadae08
treea3c4b194878133a1c46de15c15c6d4e420fe6badtree
parentd6a8803054c0c5731a6c4111d8d00c18e2953032commit | diff
Split some generic utilities from the non-linear extension (#3419)

* Split arith util

* Cleaner

* cpp

* Format

* Minor
src/CMakeLists.txt diff | blob | history
src/theory/arith/arith_utilities.cpp [new file with mode: 0644] blob
src/theory/arith/arith_utilities.h diff | blob | history
src/theory/arith/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nonlinear_extension.h diff | blob | history