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