Skip to content
Snippets Groups Projects
user avatar
Basile Desloges authored
- Add `mp_bitcnt_t` type;
- Add `__gmpz_mul_2exp()` (resp. `__gmpz_tdiv_2exp()`) to support left shift (resp. right shift);
- Add `__gmpz_fits_ulong_p()` and `__gmpz_fits_slong_p()` to guard GMP to C integer coercions.
1513b247
History
Name Last commit Last update
..
e-acsl