aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic/PseudoMersenneBaseParams.v
Commit message (Expand)AuthorAge
* starting rewrite using different definition of mapGravatar jadep2016-06-11
* Merge and refactor of GF25519Gravatar jadep2016-04-11
* made BaseVector instance globalGravatar Jade Philipoom2016-03-20
* refactor of Basesystem and ModularBaseSystem; includes general code organizat...Gravatar Jade Philipoom2016-03-20