Changed speed benchmark for i31 to a 521-bit modulus.
[BearSSL] / src / int / i15_add.c
2017-01-16 Thomas PorninSome cleanups (removed unused files, split i15 code...