mratsim
|
023007b2ef
|
Change to stint_test in property based testing
|
2018-12-04 15:37:37 +01:00 |
|
mratsim
|
1283d582a1
|
implement a pow for x, y: UintImpl as well
|
2018-05-14 19:44:39 +02:00 |
Mamy Ratsimbazafy
|
11f62d42c9
|
Add exponentiation - closes #37 (#46)
* Add exponentiation
* Change name to pow (like ttmath) - `^` to discuss
|
2018-05-14 19:02:39 +02:00 |
Yuriy Glukhov
|
ad09fe3a94
|
Corrected package structure
|
2018-05-08 17:42:42 +03:00 |
|
mratsim
|
0a1129b36a
|
Update comment displayed in property-based testing
|
2018-05-04 00:20:32 +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 |
|
mratsim
|
b731108b1c
|
Update Quicktest & Continuous Integration configuration to latest.
|
2018-05-03 11:07:33 +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 |
|
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 |
|
mratsim
|
0987af4467
|
Fix #25 (binary shift change from bit_length to clz). Div/mod is now correct. Full test suite is passing
|
2018-04-24 18:18:36 +02:00 |
|
mratsim
|
0dc0b82220
|
Fix https://github.com/status-im/nim-mpint/issues/23 shr and shl max limit triggering undefined behaviour
|
2018-04-24 17:21:16 +02:00 |
|
Mamy Ratsimbazafy
|
bfa8393878
|
Add property based testing (#24)
* Add property-based testing
* Reorder by testing what is most dependant (likely to go wrong) later
* Update with quickcheck support of uint: https://github.com/alehander42/nim-quicktest/issues/2
* parametrize itercount
* Add debug and release test to property testing see aliasing: https://github.com/status-im/nim-mpint/issues/23
* move `*` up as less likely to fail
|
2018-04-24 16:52:13 +02:00 |