diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-26 00:34:25 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-06-26 10:02:10 -0400 |
| commit | f62bef93643b856d4c51d6883f868b291e570609 (patch) | |
| tree | 3bf496789adff6fb3d7fd3fe1bca5493acd5f516 /src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log | |
| parent | 689bd71a2a5afd5ce652ff123252f163f5047b74 (diff) | |
make display
Diffstat (limited to 'src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log')
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log new file mode 100644 index 000000000..e9a2afeb3 --- /dev/null +++ b/src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log @@ -0,0 +1,8 @@ +λ 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 |