projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9444927) | patch
Add modular arithmetic operators. (#1321)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 9 Nov 2017 12:47:02 +0000 (04:47 -0800)
committerGitHub <noreply@github.com>
Thu, 9 Nov 2017 12:47:02 +0000 (04:47 -0800)
commita9cf481470c324a04f2254c5745eee26c45cb309
treead9065cae3e2728b41becc51697955e2ce8b26c1tree
parent9444927c027e96f0fce22398611b97c274eff6b3commit | diff
Add modular arithmetic operators. (#1321)

This adds functions on Integers to compute modular addition, multiplication and inverse.

This is required for the Gaussian Elimination preprocessing pass for BV.
src/util/integer_cln_imp.cpp diff | blob | history
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.cpp diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history
test/unit/util/integer_black.h diff | blob | history