diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-28 14:27:42 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-28 15:00:06 -0700 |
| commit | df93ba9ef9bad76969b7a667d985321890da9d44 (patch) | |
| tree | 8da7f0410f8c873fd2b0f2af3a8bb2d7a9e40f3d /LICENSE | |
| parent | ae4484136b2b1b7abef592131f3538466fb884c9 (diff) | |
Add instances about congruence modulo
After | File Name | Before || Change
----------------------------------------------------------------------------------
1m44.65s | Total | 1m56.10s || -0m11.44s
----------------------------------------------------------------------------------
0m32.68s | Specific/GF25519 | 0m34.42s || -0m01.74s
0m07.28s | Specific/GF1305 | 0m08.30s || -0m01.02s
0m03.89s | BaseSystemProofs | 0m04.91s || -0m01.02s
0m03.80s | ModularArithmetic/Tutorial | 0m05.65s || -0m01.85s
0m15.65s | ModularArithmetic/ModularBaseSystemProofs | 0m16.40s || -0m00.74s
0m11.87s | Experiments/SpecEd25519 | 0m12.04s || -0m00.16s
0m04.08s | ModularArithmetic/Pow2BaseProofs | 0m04.81s || -0m00.72s
0m03.22s | ModularArithmetic/ModularBaseSystemOpt | 0m03.37s || -0m00.14s
0m02.44s | Util/ZUtil | 0m02.46s || -0m00.02s
0m02.31s | Encoding/PointEncodingPre | 0m02.32s || -0m00.00s
0m01.56s | ModularArithmetic/PrimeFieldTheorems | 0m01.88s || -0m00.31s
0m01.55s | ModularArithmetic/ModularArithmeticTheorems | 0m02.30s || -0m00.74s
0m01.20s | BaseSystem | 0m01.86s || -0m00.66s
0m01.15s | Experiments/DerivationsOptionRectLetInEncoding | 0m01.07s || +0m00.07s
0m01.08s | ModularArithmetic/ExtendedBaseVector | 0m01.23s || -0m00.14s
0m00.95s | ModularArithmetic/BarrettReduction/Z | 0m01.03s || -0m00.08s
0m00.90s | Util/NumTheoryUtil | 0m01.29s || -0m00.39s
0m00.89s | ModularArithmetic/ModularBaseSystemField | 0m00.93s || -0m00.04s
0m00.80s | ModularArithmetic/ModularBaseSystemListProofs | 0m00.84s || -0m00.03s
0m00.70s | Experiments/SpecificCurve25519 | 0m00.72s || -0m00.02s
0m00.69s | Encoding/ModularWordEncodingTheorems | 0m00.98s || -0m00.29s
0m00.66s | ModularArithmetic/ExtPow2BaseMulProofs | 0m00.68s || -0m00.02s
0m00.63s | Testbit | 0m00.71s || -0m00.07s
0m00.62s | Encoding/ModularWordEncodingPre | 0m00.95s || -0m00.32s
0m00.61s | ModularArithmetic/ModularBaseSystemList | 0m00.63s || -0m00.02s
0m00.60s | Spec/ModularWordEncoding | 0m00.63s || -0m00.03s
0m00.59s | ModularArithmetic/ModularBaseSystem | 0m00.57s || +0m00.02s
0m00.57s | ModularArithmetic/PseudoMersenneBaseParamProofs | 0m00.81s || -0m00.24s
0m00.49s | ModularArithmetic/Pre | 0m00.71s || -0m00.21s
0m00.42s | ModularArithmetic/PseudoMersenneBaseParams | 0m00.58s || -0m00.15s
0m00.40s | ModularArithmetic/Pow2Base | 0m00.46s || -0m00.06s
0m00.38s | Spec/ModularArithmetic | 0m00.56s || -0m00.18s
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions