Update display logs and c files

4 files changed, 6 insertions, 6 deletions

diff --git a/src/Specific/solinas32_2e511m481_23limbs/fesub.c b/src/Specific/solinas32_2e511m481_23limbs/fesub.c
index d1fab6eb6..e770c9238 100644
--- a/src/Specific/solinas32_2e511m481_23limbs/fesub.c
+++ b/src/Specific/solinas32_2e511m481_23limbs/fesub.c
@@ -45,7 +45,7 @@ static void fesub(uint32_t out[23], const uint32_t in1[23], const uint32_t in2[2
   { const uint32_t x53 = in2[2];
   { const uint32_t x51 = in2[1];
   { const uint32_t x49 = in2[0];
-  out[0] = ((Const 16776254 + x5) - x49);
+  out[0] = ((0xfffc3e + x5) - x49);
   out[1] = ((0x7ffffe + x7) - x51);
   out[2] = ((0x7ffffe + x9) - x53);
   out[3] = ((0x7ffffe + x11) - x55);
diff --git a/src/Specific/solinas32_2e511m481_23limbs/fesubDisplay.log b/src/Specific/solinas32_2e511m481_23limbs/fesubDisplay.log
index 7731624f3..e8081c601 100644
--- a/src/Specific/solinas32_2e511m481_23limbs/fesubDisplay.log
+++ b/src/Specific/solinas32_2e511m481_23limbs/fesubDisplay.log
@@ -2,6 +2,6 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x46, x47, x45, x43, x41, x39, x37, x35, x33, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x90, x91, x89, x87, x85, x83, x81, x79, x77, x75, x73, x71, x69, x67, x65, x63, x61, x59, x57, x55, x53, x51, x49))%core,
- (((0x7ffffe + x46) - x90), ((0x7ffffe + x47) - x91), ((0x7ffffe + x45) - x89), ((0x7ffffe + x43) - x87), ((0xfffffe + x41) - x85), ((0x7ffffe + x39) - x83), ((0x7ffffe + x37) - x81), ((0x7ffffe + x35) - x79), ((0x7ffffe + x33) - x77), ((0xfffffe + x31) - x75), ((0x7ffffe + x29) - x73), ((0x7ffffe + x27) - x71), ((0x7ffffe + x25) - x69), ((0xfffffe + x23) - x67), ((0x7ffffe + x21) - x65), ((0x7ffffe + x19) - x63), ((0x7ffffe + x17) - x61), ((0x7ffffe + x15) - x59), ((0xfffffe + x13) - x57), ((0x7ffffe + x11) - x55), ((0x7ffffe + x9) - x53), ((0x7ffffe + x7) - x51), ((Const 16776254 + x5) - x49)))
+ (((0x7ffffe + x46) - x90), ((0x7ffffe + x47) - x91), ((0x7ffffe + x45) - x89), ((0x7ffffe + x43) - x87), ((0xfffffe + x41) - x85), ((0x7ffffe + x39) - x83), ((0x7ffffe + x37) - x81), ((0x7ffffe + x35) - x79), ((0x7ffffe + x33) - x77), ((0xfffffe + x31) - x75), ((0x7ffffe + x29) - x73), ((0x7ffffe + x27) - x71), ((0x7ffffe + x25) - x69), ((0xfffffe + x23) - x67), ((0x7ffffe + x21) - x65), ((0x7ffffe + x19) - x63), ((0x7ffffe + x17) - x61), ((0x7ffffe + x15) - x59), ((0xfffffe + x13) - x57), ((0x7ffffe + x11) - x55), ((0x7ffffe + x9) - x53), ((0x7ffffe + x7) - x51), ((0xfffc3e + x5) - x49)))
 (x, x0)%core
      : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t)
diff --git a/src/Specific/solinas32_2e511m481_23limbs/freeze.c b/src/Specific/solinas32_2e511m481_23limbs/freeze.c
index 2dee4ae82..bc421e9e4 100644
--- a/src/Specific/solinas32_2e511m481_23limbs/freeze.c
+++ b/src/Specific/solinas32_2e511m481_23limbs/freeze.c
@@ -22,7 +22,7 @@ static void freeze(uint32_t out[23], const uint32_t in1[23]) {
   { const uint32_t x6 = in1[2];
   { const uint32_t x4 = in1[1];
   { const uint32_t x2 = in1[0];
-  { uint32_t x46, uint8_t x47 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 8388127);
+  { uint32_t x46, uint8_t x47 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffe1f);
   { uint32_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x47, Return x4, 0x3fffff);
   { uint32_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x50, Return x6, 0x3fffff);
   { uint32_t x55, uint8_t x56 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x8, 0x3fffff);
@@ -46,7 +46,7 @@ static void freeze(uint32_t out[23], const uint32_t in1[23]) {
   { uint32_t x109, uint8_t x110 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x107, Return x44, 0x3fffff);
   { uint32_t x112, uint8_t x113 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x110, Return x43, 0x3fffff);
   { uint32_t x114 = cmovznz32(x113, 0x0, 0xffffffff);
-  { uint32_t x115 = (x114 & Const 8388127);
+  { uint32_t x115 = (x114 & 0x7ffe1f);
   { uint32_t x117, uint8_t x118 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x46, Return x115);
   { uint32_t x119 = (x114 & 0x3fffff);
   { uint32_t x121, uint8_t x122 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x118, Return x49, Return x119);
diff --git a/src/Specific/solinas32_2e511m481_23limbs/freezeDisplay.log b/src/Specific/solinas32_2e511m481_23limbs/freezeDisplay.log
index 451b792a5..de1f9e30a 100644
--- a/src/Specific/solinas32_2e511m481_23limbs/freezeDisplay.log
+++ b/src/Specific/solinas32_2e511m481_23limbs/freezeDisplay.log
@@ -2,7 +2,7 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x43, x44, x42, x40, x38, x36, x34, x32, x30, x28, x26, x24, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core,
- uint32_t x46, uint8_t x47 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 8388127);
+ uint32_t x46, uint8_t x47 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffe1f);
  uint32_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x47, Return x4, 0x3fffff);
  uint32_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x50, Return x6, 0x3fffff);
  uint32_t x55, uint8_t x56 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x8, 0x3fffff);
@@ -26,7 +26,7 @@ Interp-η
  uint32_t x109, uint8_t x110 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x107, Return x44, 0x3fffff);
  uint32_t x112, uint8_t x113 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x110, Return x43, 0x3fffff);
  uint32_t x114 = cmovznz32(x113, 0x0, 0xffffffff);
- uint32_t x115 = (x114 & Const 8388127);
+ uint32_t x115 = (x114 & 0x7ffe1f);
  uint32_t x117, uint8_t x118 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x46, Return x115);
  uint32_t x119 = (x114 & 0x3fffff);
  uint32_t x121, uint8_t x122 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x118, Return x49, Return x119);