diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-18 20:00:32 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-18 20:00:32 -0400 |
| commit | e72cc12f4fa668f82fe5fd20fa5a20b30f9ecd00 (patch) | |
| tree | 87820423b3ee79f3d0b4b9d6ae64a0517ee43000 /src/Util/Tuple.v | |
| parent | 39ec94341fa3a30d97d4462e9c9d481ada2c8d3d (diff) | |
port CompleteEdwardsCurve.ExtendedCoordinates, make [field_algebra] try fewer nonzero ports. remove FField and FNsatz
Diffstat (limited to 'src/Util/Tuple.v')
0 files changed, 0 insertions, 0 deletions