diff options
Diffstat (limited to 'src/Specific/montgomery64_2e127m1_2limbs/fenzDisplay.log')
-rw-r--r-- | src/Specific/montgomery64_2e127m1_2limbs/fenzDisplay.log | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/Specific/montgomery64_2e127m1_2limbs/fenzDisplay.log b/src/Specific/montgomery64_2e127m1_2limbs/fenzDisplay.log deleted file mode 100644 index 42367b877..000000000 --- a/src/Specific/montgomery64_2e127m1_2limbs/fenzDisplay.log +++ /dev/null @@ -1,8 +0,0 @@ -λ x : word64 * word64, -Interp-η -(λ var : Syntax.base_type → Type, - λ '(x1, x2)%core, - uint64_t x3 = (x2 | x1); - return x3) -x - : word64 * word64 → ReturnType uint64_t |