Commit Graph

5 Commits

Author SHA1 Message Date
mratsim 389da7588f Add broken pow test 2018-04-03 15:12:27 +02:00
mratsim d46815e1e5 Add failing negate test 2018-04-03 10:38:37 +02:00
Yuriy Glukhov 7e30db5e69 Serialization and stringification (#8) 2018-03-22 10:14:12 +01:00
Yuriy Glukhov beaf9fb7e3 Use NumBits as generic param 2018-03-20 22:41:58 +02:00
Yuriy Glukhov 4e46500292 Generalize UInt 2018-03-12 09:42:05 +02:00