Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Pushed [freeze] through to GF25519 in preparation for defining [sqrt], cleani... | 2016-09-06 | |
* | Instantiated conversion both to (pack) and from (unpack) another set of limb ... | 2016-08-16 | |
* | [F] has its own module now | 2016-08-05 | |
* | Refactor ModularArithmetic into Zmod, expand Decidable | 2016-08-04 | |
* | Move most notation level declarations into Util | 2016-07-27 | |
* | Fix 8.4 build. | 2016-07-25 | |
* | Put ModularBaseSystem carries in terms of [carry_gen], and pushed this change... | 2016-07-25 | |
* | merge | 2016-07-20 | |
* | restructured ModularBaseSystem pipeline to put tuple conversion before Modula... | 2016-07-20 |