aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic/ExtendedBaseVector.v
Commit message (Expand)AuthorAge
* remove trailing whitespace from src/Gravatar Andres Erbsen2016-06-20
* made BaseVector instance globalGravatar Jade Philipoom2016-03-20
* refactor of Basesystem and ModularBaseSystem; includes general code organizat...Gravatar Jade Philipoom2016-03-20