diff options
| author |  Andres Erbsen <andreser@google.com> | 2017-11-13 20:22:31 +0000 |
|---|---|---|
| committer | Andres Erbsen <andreser@google.com> | 2017-11-13 20:22:31 +0000 |
| commit | a26f3c7a9c8ad648a4706d1dae374f739f7c73c1 (patch) | |
| tree | fd2b689171af6e57690a875189d7fbbbc4aa0c92 /src/Specific/montgomery32_2e338m15 | |
| parent | f834938e741c980ee05e3bfba0642ba4c8bf8016 (diff) | |
Revert "first batch benchmarks stash"
This reverts commit b4a574666c0b7e9a761f95cfdafc7bb2f5e50cfc.
Diffstat (limited to 'src/Specific/montgomery32_2e338m15')
| -rw-r--r-- | src/Specific/montgomery32_2e338m15/gmpsec.log | 1 | ||||
| -rw-r--r-- | src/Specific/montgomery32_2e338m15/gmpvar.log | 1 | ||||
| -rw-r--r-- | src/Specific/montgomery32_2e338m15/gmpxx.log | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/src/Specific/montgomery32_2e338m15/gmpsec.log b/src/Specific/montgomery32_2e338m15/gmpsec.log deleted file mode 100644 index 511a53dea..000000000 --- a/src/Specific/montgomery32_2e338m15/gmpsec.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/montgomery32_2e338m15 (real: 0.80, user: 0.80, sys: 0.00, mem: 1384 ko) diff --git a/src/Specific/montgomery32_2e338m15/gmpvar.log b/src/Specific/montgomery32_2e338m15/gmpvar.log deleted file mode 100644 index b1c88e4fa..000000000 --- a/src/Specific/montgomery32_2e338m15/gmpvar.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/montgomery32_2e338m15 (real: 0.54, user: 0.54, sys: 0.00, mem: 1456 ko) diff --git a/src/Specific/montgomery32_2e338m15/gmpxx.log b/src/Specific/montgomery32_2e338m15/gmpxx.log deleted file mode 100644 index 6622b82ba..000000000 --- a/src/Specific/montgomery32_2e338m15/gmpxx.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/montgomery32_2e338m15 (real: 1.06, user: 1.06, sys: 0.00, mem: 3472 ko) |