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
Bruno BELANYI