mratsim
|
b5e3e316cb
|
use a more reasonable 10000 tests by default
|
2018-05-04 10:02:46 +02:00 |
|
mratsim
|
0a1129b36a
|
Update comment displayed in property-based testing
|
2018-05-04 00:20:32 +02:00 |
|
mratsim
|
40f33238d9
|
Update uint256 to display the number of iterations
|
2018-05-04 00:14:51 +02:00 |
|
Mamy Ratsimbazafy
|
4c055e42a7
|
Add uint256 fuzz test vs TTMath (#34) + Fix multiplication carry bug #36
* Add uint256 fuzz test vs TTMath
* fix the compilation of property_based_uint256
* Fix multiplication carry bug #35
* Change comment in test
|
2018-05-04 00:11:07 +02:00 |
|
Zahary Karadjov
|
c6b55f168f
|
fix the compilation of property_based_uint256
|
2018-05-03 21:10:55 +03:00 |
|
mratsim
|
c9cba06db1
|
Make ttmath testing compile
|
2018-05-02 18:02:13 +02:00 |
|
mratsim
|
d690923310
|
Update Stint in header + mention unsigned vs signed int in tests
|
2018-04-25 21:21:25 +02:00 |
|
mratsim
|
b34019c0b5
|
Add signed initialization, bitwise ops, addition, negation
|
2018-04-25 17:50:53 +02:00 |
|
mratsim
|
00a634d2f2
|
Don't use single letter function like u(256)
|
2018-04-25 13:36:56 +02:00 |
|
Mamy Ratsimbazafy
|
102a1b0f0c
|
Rename the library to Stint (#26)
|
2018-04-25 12:52:00 +02:00 |
|
mratsim
|
52a1849075
|
Add (deactivated) test vs ttmath
|
2018-04-24 19:07:22 +02:00 |
|