diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-31 00:33:59 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-31 00:33:59 -0400 |
| commit | bf2559ee7b93652914b98f4fd4707c89a4ec4236 (patch) | |
| tree | 5ef66dcb468c6902a1e60feb7884c5795e113150 /src/Specific/montgomery64_2e198m17/fenzDisplay.log | |
| parent | bffba898afa15aceb97459df5a0c9b4d75c1a7f1 (diff) | |
Update display logs
Diffstat (limited to 'src/Specific/montgomery64_2e198m17/fenzDisplay.log')
| -rw-r--r-- | src/Specific/montgomery64_2e198m17/fenzDisplay.log | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/Specific/montgomery64_2e198m17/fenzDisplay.log b/src/Specific/montgomery64_2e198m17/fenzDisplay.log index 241c31016..65afbc2d6 100644 --- a/src/Specific/montgomery64_2e198m17/fenzDisplay.log +++ b/src/Specific/montgomery64_2e198m17/fenzDisplay.log @@ -7,16 +7,4 @@ Interp-η uint64_t x9 = (x2 | x8); return x9) x - : word64 * word64 * word64 * word64 → 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 6 else None) with - | Some lgsz => Syntax.TWord lgsz - | None => Syntax.TZ - end) + : word64 * word64 * word64 * word64 → ReturnType uint64_t |