diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-31 00:48:31 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-10-31 00:48:31 -0400 |
commit | 520b308203289f052a5373c7460eab59276bda3c (patch) | |
tree | a1e252b8d4e63332c97167a1395249cc2ea8897d /src/Specific/montgomery32_2e495m31 | |
parent | bf2559ee7b93652914b98f4fd4707c89a4ec4236 (diff) |
Update display logs
Diffstat (limited to 'src/Specific/montgomery32_2e495m31')
-rw-r--r-- | src/Specific/montgomery32_2e495m31/fenzDisplay.log | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/Specific/montgomery32_2e495m31/fenzDisplay.log b/src/Specific/montgomery32_2e495m31/fenzDisplay.log index 73c0717f8..eb0b6ea33 100644 --- a/src/Specific/montgomery32_2e495m31/fenzDisplay.log +++ b/src/Specific/montgomery32_2e495m31/fenzDisplay.log @@ -19,16 +19,4 @@ Interp-η uint32_t x45 = (x2 | x44); return x45) x - : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (Tbase match (if match match (let (lower, _) := Synthesis.P.bound1 in - lower) with - | 0%Z => Eq - | Z.pos _ => Lt - | Z.neg _ => Gt - end with - | Eq => true - | Lt => true - | Gt => false - end then Some 5 else None) with - | Some lgsz => Syntax.TWord lgsz - | None => Syntax.TZ - end) + : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType uint32_t |