Update display logs

3 files changed, 11 insertions, 23 deletions

diff --git a/src/Specific/NISTP256/AMD128/fenzDisplay.log b/src/Specific/NISTP256/AMD128/fenzDisplay.log
index db2b799ea..53c690df8 100644
--- a/src/Specific/NISTP256/AMD128/fenzDisplay.log
+++ b/src/Specific/NISTP256/AMD128/fenzDisplay.log
@@ -5,16 +5,4 @@ Interp-η
  uint128_t x3 = (x2 | x1);
  return x3)
 x
-     : word128 * word128 → 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 7 else None) with
-                                             | Some lgsz => Syntax.TWord lgsz
-                                             | None => Syntax.TZ
-                                             end)
+     : word128 * word128 → ReturnType uint128_t
diff --git a/src/Specific/X25519/C32/femulDisplay.log b/src/Specific/X25519/C32/femulDisplay.log
index 7564ec007..1650f4c9d 100644
--- a/src/Specific/X25519/C32/femulDisplay.log
+++ b/src/Specific/X25519/C32/femulDisplay.log
@@ -66,18 +66,18 @@ Interp-η
  uint64_t x101 = (x100 >> 0x19);
  uint32_t x102 = ((uint32_t)x100 & 0x1ffffff);
  uint64_t x103 = (x101 + x67);
- uint32_t x104 = (uint32_t) (x103 >> 0x1a);
+ uint64_t x104 = (x103 >> 0x1a);
  uint32_t x105 = ((uint32_t)x103 & 0x3ffffff);
  uint64_t x106 = (x104 + x64);
- uint32_t x107 = (uint32_t) (x106 >> 0x19);
+ uint64_t x107 = (x106 >> 0x19);
  uint32_t x108 = ((uint32_t)x106 & 0x1ffffff);
  uint64_t x109 = (x107 + x61);
- uint32_t x110 = (uint32_t) (x109 >> 0x1a);
+ uint64_t x110 = (x109 >> 0x1a);
  uint32_t x111 = ((uint32_t)x109 & 0x3ffffff);
  uint64_t x112 = (x110 + x49);
- uint32_t x113 = (uint32_t) (x112 >> 0x19);
+ uint64_t x113 = (x112 >> 0x19);
  uint32_t x114 = ((uint32_t)x112 & 0x1ffffff);
- uint64_t x115 = (x87 + ((uint64_t)0x13 * x113));
+ uint64_t x115 = (x87 + (0x13 * x113));
  uint32_t x116 = (uint32_t) (x115 >> 0x1a);
  uint32_t x117 = ((uint32_t)x115 & 0x3ffffff);
  uint32_t x118 = (x116 + x90);
diff --git a/src/Specific/X25519/C32/fesquareDisplay.log b/src/Specific/X25519/C32/fesquareDisplay.log
index dc270a356..06c5bc75f 100644
--- a/src/Specific/X25519/C32/fesquareDisplay.log
+++ b/src/Specific/X25519/C32/fesquareDisplay.log
@@ -66,18 +66,18 @@ Interp-η
  uint64_t x80 = (x79 >> 0x19);
  uint32_t x81 = ((uint32_t)x79 & 0x1ffffff);
  uint64_t x82 = (x80 + x46);
- uint32_t x83 = (uint32_t) (x82 >> 0x1a);
+ uint64_t x83 = (x82 >> 0x1a);
  uint32_t x84 = ((uint32_t)x82 & 0x3ffffff);
  uint64_t x85 = (x83 + x43);
- uint32_t x86 = (uint32_t) (x85 >> 0x19);
+ uint64_t x86 = (x85 >> 0x19);
  uint32_t x87 = ((uint32_t)x85 & 0x1ffffff);
  uint64_t x88 = (x86 + x40);
- uint32_t x89 = (uint32_t) (x88 >> 0x1a);
+ uint64_t x89 = (x88 >> 0x1a);
  uint32_t x90 = ((uint32_t)x88 & 0x3ffffff);
  uint64_t x91 = (x89 + x28);
- uint32_t x92 = (uint32_t) (x91 >> 0x19);
+ uint64_t x92 = (x91 >> 0x19);
  uint32_t x93 = ((uint32_t)x91 & 0x1ffffff);
- uint64_t x94 = (x66 + ((uint64_t)0x13 * x92));
+ uint64_t x94 = (x66 + (0x13 * x92));
  uint32_t x95 = (uint32_t) (x94 >> 0x1a);
  uint32_t x96 = ((uint32_t)x94 & 0x3ffffff);
  uint32_t x97 = (x95 + x69);