Update display logs and c files

8 files changed, 20 insertions, 20 deletions

diff --git a/src/Specific/solinas32_2e213m3/fesub.c b/src/Specific/solinas32_2e213m3/fesub.c
index a00038678..48cf0fac4 100644
--- a/src/Specific/solinas32_2e213m3/fesub.c
+++ b/src/Specific/solinas32_2e213m3/fesub.c
@@ -29,20 +29,20 @@ static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1
   { const uint32_t x37 = in2[2];
   { const uint32_t x35 = in2[1];
   { const uint32_t x33 = in2[0];
-  out[0] = ((Const 65530 + x5) - x33);
-  out[1] = ((Const 32766 + x7) - x35);
-  out[2] = ((Const 32766 + x9) - x37);
-  out[3] = ((Const 32766 + x11) - x39);
-  out[4] = ((Const 32766 + x13) - x41);
+  out[0] = ((0xfffa + x5) - x33);
+  out[1] = ((0x7ffe + x7) - x35);
+  out[2] = ((0x7ffe + x9) - x37);
+  out[3] = ((0x7ffe + x11) - x39);
+  out[4] = ((0x7ffe + x13) - x41);
   out[5] = ((0xfffe + x15) - x43);
-  out[6] = ((Const 32766 + x17) - x45);
-  out[7] = ((Const 32766 + x19) - x47);
-  out[8] = ((Const 32766 + x21) - x49);
-  out[9] = ((Const 32766 + x23) - x51);
+  out[6] = ((0x7ffe + x17) - x45);
+  out[7] = ((0x7ffe + x19) - x47);
+  out[8] = ((0x7ffe + x21) - x49);
+  out[9] = ((0x7ffe + x23) - x51);
   out[10] = ((0xfffe + x25) - x53);
-  out[11] = ((Const 32766 + x27) - x55);
-  out[12] = ((Const 32766 + x29) - x57);
-  out[13] = ((Const 32766 + x31) - x59);
-  out[14] = ((Const 32766 + x30) - x58);
+  out[11] = ((0x7ffe + x27) - x55);
+  out[12] = ((0x7ffe + x29) - x57);
+  out[13] = ((0x7ffe + x31) - x59);
+  out[14] = ((0x7ffe + x30) - x58);
   }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
 }
diff --git a/src/Specific/solinas32_2e213m3/fesubDisplay.log b/src/Specific/solinas32_2e213m3/fesubDisplay.log
index eb2a2924a..e52f93f6b 100644
--- a/src/Specific/solinas32_2e213m3/fesubDisplay.log
+++ b/src/Specific/solinas32_2e213m3/fesubDisplay.log
@@ -2,6 +2,6 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x30, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x58, x59, x57, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33))%core,
- (((Const 32766 + x30) - x58), ((Const 32766 + x31) - x59), ((Const 32766 + x29) - x57), ((Const 32766 + x27) - x55), ((0xfffe + x25) - x53), ((Const 32766 + x23) - x51), ((Const 32766 + x21) - x49), ((Const 32766 + x19) - x47), ((Const 32766 + x17) - x45), ((0xfffe + x15) - x43), ((Const 32766 + x13) - x41), ((Const 32766 + x11) - x39), ((Const 32766 + x9) - x37), ((Const 32766 + x7) - x35), ((Const 65530 + x5) - x33)))
+ (((0x7ffe + x30) - x58), ((0x7ffe + x31) - x59), ((0x7ffe + x29) - x57), ((0x7ffe + x27) - x55), ((0xfffe + x25) - x53), ((0x7ffe + x23) - x51), ((0x7ffe + x21) - x49), ((0x7ffe + x19) - x47), ((0x7ffe + x17) - x45), ((0xfffe + x15) - x43), ((0x7ffe + x13) - x41), ((0x7ffe + x11) - x39), ((0x7ffe + x9) - x37), ((0x7ffe + x7) - x35), ((0xfffa + x5) - x33)))
 (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 → 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)
diff --git a/src/Specific/solinas32_2e285m9/fesub.c b/src/Specific/solinas32_2e285m9/fesub.c
index 1e3a38844..abd7d1b77 100644
--- a/src/Specific/solinas32_2e285m9/fesub.c
+++ b/src/Specific/solinas32_2e285m9/fesub.c
@@ -29,7 +29,7 @@ static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1
   { const uint32_t x37 = in2[2];
   { const uint32_t x35 = in2[1];
   { const uint32_t x33 = in2[0];
-  out[0] = ((Const 1048558 + x5) - x33);
+  out[0] = ((0xfffee + x5) - x33);
   out[1] = ((0xffffe + x7) - x35);
   out[2] = ((0xffffe + x9) - x37);
   out[3] = ((0xffffe + x11) - x39);
diff --git a/src/Specific/solinas32_2e285m9/fesubDisplay.log b/src/Specific/solinas32_2e285m9/fesubDisplay.log
index c2d6d8dec..30bf1c627 100644
--- a/src/Specific/solinas32_2e285m9/fesubDisplay.log
+++ b/src/Specific/solinas32_2e285m9/fesubDisplay.log
@@ -2,6 +2,6 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x30, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x58, x59, x57, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33))%core,
- (((0xffffe + x30) - x58), ((0xffffe + x31) - x59), ((0xffffe + x29) - x57), ((0xffffe + x27) - x55), ((0xffffe + x25) - x53), ((0xffffe + x23) - x51), ((0xffffe + x21) - x49), ((0xffffe + x19) - x47), ((0xffffe + x17) - x45), ((0xffffe + x15) - x43), ((0xffffe + x13) - x41), ((0xffffe + x11) - x39), ((0xffffe + x9) - x37), ((0xffffe + x7) - x35), ((Const 1048558 + x5) - x33)))
+ (((0xffffe + x30) - x58), ((0xffffe + x31) - x59), ((0xffffe + x29) - x57), ((0xffffe + x27) - x55), ((0xffffe + x25) - x53), ((0xffffe + x23) - x51), ((0xffffe + x21) - x49), ((0xffffe + x19) - x47), ((0xffffe + x17) - x45), ((0xffffe + x15) - x43), ((0xffffe + x13) - x41), ((0xffffe + x11) - x39), ((0xffffe + x9) - x37), ((0xffffe + x7) - x35), ((0xfffee + x5) - x33)))
 (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 → 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)
diff --git a/src/Specific/solinas32_2e322m2e161m1/fesub.c b/src/Specific/solinas32_2e322m2e161m1/fesub.c
index c7c3c546b..4f2a40c68 100644
--- a/src/Specific/solinas32_2e322m2e161m1/fesub.c
+++ b/src/Specific/solinas32_2e322m2e161m1/fesub.c
@@ -34,7 +34,7 @@ static void fesub(uint32_t out[14], const uint32_t in1[14], const uint32_t in2[1
   out[4] = ((0xfffffe + x13) - x39);
   out[5] = ((0xfffffe + x15) - x41);
   out[6] = ((0xfffffe + x17) - x43);
-  out[7] = ((Const 16777212 + x19) - x45);
+  out[7] = ((0xfffffc + x19) - x45);
   out[8] = ((0xfffffe + x21) - x47);
   out[9] = ((0xfffffe + x23) - x49);
   out[10] = ((0xfffffe + x25) - x51);
diff --git a/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log b/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log
index 5bd8df2c4..f2233a5a9 100644
--- a/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log
+++ b/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log
@@ -2,6 +2,6 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x28, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x54, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33, x31))%core,
- (((0xfffffe + x28) - x54), ((0xfffffe + x29) - x55), ((0xfffffe + x27) - x53), ((0xfffffe + x25) - x51), ((0xfffffe + x23) - x49), ((0xfffffe + x21) - x47), ((Const 16777212 + x19) - x45), ((0xfffffe + x17) - x43), ((0xfffffe + x15) - x41), ((0xfffffe + x13) - x39), ((0xfffffe + x11) - x37), ((0xfffffe + x9) - x35), ((0xfffffe + x7) - x33), ((0xfffffe + x5) - x31)))
+ (((0xfffffe + x28) - x54), ((0xfffffe + x29) - x55), ((0xfffffe + x27) - x53), ((0xfffffe + x25) - x51), ((0xfffffe + x23) - x49), ((0xfffffe + x21) - x47), ((0xfffffc + x19) - x45), ((0xfffffe + x17) - x43), ((0xfffffe + x15) - x41), ((0xfffffe + x13) - x39), ((0xfffffe + x11) - x37), ((0xfffffe + x9) - x35), ((0xfffffe + x7) - x33), ((0xfffffe + x5) - x31)))
 (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 → 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)
diff --git a/src/Specific/solinas32_2e450m2e225m1/fesub.c b/src/Specific/solinas32_2e450m2e225m1/fesub.c
index e78f91309..8e3a1a1bd 100644
--- a/src/Specific/solinas32_2e450m2e225m1/fesub.c
+++ b/src/Specific/solinas32_2e450m2e225m1/fesub.c
@@ -36,7 +36,7 @@ static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1
   out[4] = ((0x7ffffffe + x13) - x41);
   out[5] = ((0x7ffffffe + x15) - x43);
   out[6] = ((0x7ffffffe + x17) - x45);
-  out[7] = ((Const 2147418110 + x19) - x47);
+  out[7] = ((0x7ffefffe + x19) - x47);
   out[8] = ((0x7ffffffe + x21) - x49);
   out[9] = ((0x7ffffffe + x23) - x51);
   out[10] = ((0x7ffffffe + x25) - x53);
diff --git a/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log b/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log
index ea1e198fa..3c008ef9a 100644
--- a/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log
+++ b/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log
@@ -2,6 +2,6 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x30, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x58, x59, x57, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33))%core,
- (((0x7ffffffe + x30) - x58), ((0x7ffffffe + x31) - x59), ((0x7ffffffe + x29) - x57), ((0x7ffffffe + x27) - x55), ((0x7ffffffe + x25) - x53), ((0x7ffffffe + x23) - x51), ((0x7ffffffe + x21) - x49), ((Const 2147418110 + x19) - x47), ((0x7ffffffe + x17) - x45), ((0x7ffffffe + x15) - x43), ((0x7ffffffe + x13) - x41), ((0x7ffffffe + x11) - x39), ((0x7ffffffe + x9) - x37), ((0x7ffffffe + x7) - x35), ((0x7ffffffe + x5) - x33)))
+ (((0x7ffffffe + x30) - x58), ((0x7ffffffe + x31) - x59), ((0x7ffffffe + x29) - x57), ((0x7ffffffe + x27) - x55), ((0x7ffffffe + x25) - x53), ((0x7ffffffe + x23) - x51), ((0x7ffffffe + x21) - x49), ((0x7ffefffe + x19) - x47), ((0x7ffffffe + x17) - x45), ((0x7ffffffe + x15) - x43), ((0x7ffffffe + x13) - x41), ((0x7ffffffe + x11) - x39), ((0x7ffffffe + x9) - x37), ((0x7ffffffe + x7) - x35), ((0x7ffffffe + x5) - x33)))
 (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 → 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)