From 520b308203289f052a5373c7460eab59276bda3c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 31 Oct 2017 00:48:31 -0400 Subject: Update display logs --- src/Specific/montgomery32_2e256m88x2e240m1/fenzDisplay.log | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) (limited to 'src/Specific/montgomery32_2e256m88x2e240m1') diff --git a/src/Specific/montgomery32_2e256m88x2e240m1/fenzDisplay.log b/src/Specific/montgomery32_2e256m88x2e240m1/fenzDisplay.log index 19fa61d18..c7c1c2df1 100644 --- a/src/Specific/montgomery32_2e256m88x2e240m1/fenzDisplay.log +++ b/src/Specific/montgomery32_2e256m88x2e240m1/fenzDisplay.log @@ -11,16 +11,4 @@ Interp-η uint32_t x21 = (x2 | x20); return x21) x - : 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 → ReturnType uint32_t -- cgit v1.2.3