Bruno BELANYI
fe01661613
abacus: bignum: add addition & substraction
2021-08-21 01:31:39 +02:00
Bruno BELANYI
d083ede78c
abacus: bignum: factorize lexicographical compare
...
I want to make use of it for substraction.
2021-08-20 22:20:45 +02:00
Bruno BELANYI
6f7e1102db
abacus: bignum: add default constructor
2021-08-20 22:20:45 +02:00
Bruno BELANYI
ad5092ea8d
abacus: bignum: add output operator
2021-08-20 22:20:45 +02:00
Bruno BELANYI
0a5fb471e4
abacus: bignum: add unary operators
2021-08-20 22:20:45 +02:00
Bruno BELANYI
7c1b3d302e
tests: unit: add bignum tests
2021-08-20 22:20:45 +02:00
Bruno BELANYI
2600eb2ba7
abacus: bignum: add order comparisons
2021-08-20 22:20:45 +02:00
Bruno BELANYI
17bd51d197
abacus: bignum: add equality comparisons
2021-08-20 22:20:45 +02:00
Bruno BELANYI
2cff603a48
abacus: bignum: add is_canonicalized predicate
...
Useful when debugging.
2021-08-20 22:20:45 +02:00
Bruno BELANYI
12c8b6b114
abacus: add initial bignum library
2021-08-20 22:20:45 +02:00
Bruno BELANYI
ff35faa705
abacus: add parse library
...
Would need some improvements, such as by using the C++ Flex scanner
interface.
It will also need to start using the BigNum once it has been
implemented.
2021-08-20 22:20:45 +02:00
Bruno BELANYI
42100fe98d
clang-format: do not indent access modifiers
2021-08-20 22:20:45 +02:00
Bruno BELANYI
1896ee5fb5
git: ignore generated files
2021-08-20 22:20:45 +02:00
Bruno BELANYI
d97eb0473b
nix: add direnv integration
2021-08-20 22:20:45 +02:00
Bruno BELANYI
14b8c4460c
clang-format: init config
2021-08-20 22:20:45 +02:00
Bruno BELANYI
e7c7b7a6e1
nix: setup flake w/ pre-commit
2021-08-20 22:20:45 +02:00
Bruno BELANYI
5b57981af7
abacus: bootstrap build system
2021-08-20 22:20:45 +02:00