Update display logs and c files

2 files changed, 141 insertions, 2 deletions

diff --git a/src/Specific/solinas32_2e489m21/freeze.c b/src/Specific/solinas32_2e489m21/freeze.c
new file mode 100644
index 000000000..1e62bf219
--- /dev/null
+++ b/src/Specific/solinas32_2e489m21/freeze.c
@@ -0,0 +1,139 @@
+static void freeze(uint32_t out[27], const uint32_t in1[27]) {
+  { const uint32_t x51 = in1[26];
+  { const uint32_t x52 = in1[25];
+  { const uint32_t x50 = in1[24];
+  { const uint32_t x48 = in1[23];
+  { const uint32_t x46 = in1[22];
+  { const uint32_t x44 = in1[21];
+  { const uint32_t x42 = in1[20];
+  { const uint32_t x40 = in1[19];
+  { const uint32_t x38 = in1[18];
+  { const uint32_t x36 = in1[17];
+  { const uint32_t x34 = in1[16];
+  { const uint32_t x32 = in1[15];
+  { const uint32_t x30 = in1[14];
+  { const uint32_t x28 = in1[13];
+  { const uint32_t x26 = in1[12];
+  { const uint32_t x24 = in1[11];
+  { const uint32_t x22 = in1[10];
+  { const uint32_t x20 = in1[9];
+  { const uint32_t x18 = in1[8];
+  { const uint32_t x16 = in1[7];
+  { const uint32_t x14 = in1[6];
+  { const uint32_t x12 = in1[5];
+  { const uint32_t x10 = in1[4];
+  { const uint32_t x8 = in1[3];
+  { const uint32_t x6 = in1[2];
+  { const uint32_t x4 = in1[1];
+  { const uint32_t x2 = in1[0];
+  { uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffeb);
+  { uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x4, 0x3ffff);
+  { uint32_t x60, uint8_t x61 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x58, Return x6, 0x3ffff);
+  { uint32_t x63, uint8_t x64 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x61, Return x8, 0x3ffff);
+  { uint32_t x66, uint8_t x67 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x64, Return x10, 0x3ffff);
+  { uint32_t x69, uint8_t x70 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x67, Return x12, 0x3ffff);
+  { uint32_t x72, uint8_t x73 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x70, Return x14, 0x3ffff);
+  { uint32_t x75, uint8_t x76 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x73, Return x16, 0x3ffff);
+  { uint32_t x78, uint8_t x79 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x76, Return x18, 0x3ffff);
+  { uint32_t x81, uint8_t x82 = Op (Syntax.SubWithGetBorrow 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x79, Return x20, 0x7ffff);
+  { uint32_t x84, uint8_t x85 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x82, Return x22, 0x3ffff);
+  { uint32_t x87, uint8_t x88 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x85, Return x24, 0x3ffff);
+  { uint32_t x90, uint8_t x91 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x88, Return x26, 0x3ffff);
+  { uint32_t x93, uint8_t x94 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x91, Return x28, 0x3ffff);
+  { uint32_t x96, uint8_t x97 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x94, Return x30, 0x3ffff);
+  { uint32_t x99, uint8_t x100 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x97, Return x32, 0x3ffff);
+  { uint32_t x102, uint8_t x103 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x100, Return x34, 0x3ffff);
+  { uint32_t x105, uint8_t x106 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x103, Return x36, 0x3ffff);
+  { uint32_t x108, uint8_t x109 = Op (Syntax.SubWithGetBorrow 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x106, Return x38, 0x7ffff);
+  { uint32_t x111, uint8_t x112 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x109, Return x40, 0x3ffff);
+  { uint32_t x114, uint8_t x115 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x112, Return x42, 0x3ffff);
+  { uint32_t x117, uint8_t x118 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x115, Return x44, 0x3ffff);
+  { uint32_t x120, uint8_t x121 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x118, Return x46, 0x3ffff);
+  { uint32_t x123, uint8_t x124 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x121, Return x48, 0x3ffff);
+  { uint32_t x126, uint8_t x127 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x124, Return x50, 0x3ffff);
+  { uint32_t x129, uint8_t x130 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x127, Return x52, 0x3ffff);
+  { uint32_t x132, uint8_t x133 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x130, Return x51, 0x3ffff);
+  { uint32_t x134 = (uint32_t)cmovznz(x133, 0x0, 0xffffffff);
+  { uint32_t x135 = (x134 & 0x7ffeb);
+  { uint32_t x137, uint8_t x138 = Op (Syntax.AddWithGetCarry 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x54, Return x135);
+  { uint32_t x139 = (x134 & 0x3ffff);
+  { uint32_t x141, uint8_t x142 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x138, Return x57, Return x139);
+  { uint32_t x143 = (x134 & 0x3ffff);
+  { uint32_t x145, uint8_t x146 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x142, Return x60, Return x143);
+  { uint32_t x147 = (x134 & 0x3ffff);
+  { uint32_t x149, uint8_t x150 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x146, Return x63, Return x147);
+  { uint32_t x151 = (x134 & 0x3ffff);
+  { uint32_t x153, uint8_t x154 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x150, Return x66, Return x151);
+  { uint32_t x155 = (x134 & 0x3ffff);
+  { uint32_t x157, uint8_t x158 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x154, Return x69, Return x155);
+  { uint32_t x159 = (x134 & 0x3ffff);
+  { uint32_t x161, uint8_t x162 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x158, Return x72, Return x159);
+  { uint32_t x163 = (x134 & 0x3ffff);
+  { uint32_t x165, uint8_t x166 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x162, Return x75, Return x163);
+  { uint32_t x167 = (x134 & 0x3ffff);
+  { uint32_t x169, uint8_t x170 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x166, Return x78, Return x167);
+  { uint32_t x171 = (x134 & 0x7ffff);
+  { uint32_t x173, uint8_t x174 = Op (Syntax.AddWithGetCarry 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x170, Return x81, Return x171);
+  { uint32_t x175 = (x134 & 0x3ffff);
+  { uint32_t x177, uint8_t x178 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x174, Return x84, Return x175);
+  { uint32_t x179 = (x134 & 0x3ffff);
+  { uint32_t x181, uint8_t x182 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x178, Return x87, Return x179);
+  { uint32_t x183 = (x134 & 0x3ffff);
+  { uint32_t x185, uint8_t x186 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x182, Return x90, Return x183);
+  { uint32_t x187 = (x134 & 0x3ffff);
+  { uint32_t x189, uint8_t x190 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x186, Return x93, Return x187);
+  { uint32_t x191 = (x134 & 0x3ffff);
+  { uint32_t x193, uint8_t x194 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x190, Return x96, Return x191);
+  { uint32_t x195 = (x134 & 0x3ffff);
+  { uint32_t x197, uint8_t x198 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x194, Return x99, Return x195);
+  { uint32_t x199 = (x134 & 0x3ffff);
+  { uint32_t x201, uint8_t x202 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x198, Return x102, Return x199);
+  { uint32_t x203 = (x134 & 0x3ffff);
+  { uint32_t x205, uint8_t x206 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x202, Return x105, Return x203);
+  { uint32_t x207 = (x134 & 0x7ffff);
+  { uint32_t x209, uint8_t x210 = Op (Syntax.AddWithGetCarry 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x206, Return x108, Return x207);
+  { uint32_t x211 = (x134 & 0x3ffff);
+  { uint32_t x213, uint8_t x214 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x210, Return x111, Return x211);
+  { uint32_t x215 = (x134 & 0x3ffff);
+  { uint32_t x217, uint8_t x218 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x214, Return x114, Return x215);
+  { uint32_t x219 = (x134 & 0x3ffff);
+  { uint32_t x221, uint8_t x222 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x218, Return x117, Return x219);
+  { uint32_t x223 = (x134 & 0x3ffff);
+  { uint32_t x225, uint8_t x226 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x222, Return x120, Return x223);
+  { uint32_t x227 = (x134 & 0x3ffff);
+  { uint32_t x229, uint8_t x230 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x226, Return x123, Return x227);
+  { uint32_t x231 = (x134 & 0x3ffff);
+  { uint32_t x233, uint8_t x234 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x230, Return x126, Return x231);
+  { uint32_t x235 = (x134 & 0x3ffff);
+  { uint32_t x237, uint8_t x238 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x234, Return x129, Return x235);
+  { uint32_t x239 = (x134 & 0x3ffff);
+  { uint32_t x241, uint8_t _ = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x238, Return x132, Return x239);
+  out[0] = x137;
+  out[1] = x141;
+  out[2] = x145;
+  out[3] = x149;
+  out[4] = x153;
+  out[5] = x157;
+  out[6] = x161;
+  out[7] = x165;
+  out[8] = x169;
+  out[9] = x173;
+  out[10] = x177;
+  out[11] = x181;
+  out[12] = x185;
+  out[13] = x189;
+  out[14] = x193;
+  out[15] = x197;
+  out[16] = x201;
+  out[17] = x205;
+  out[18] = x209;
+  out[19] = x213;
+  out[20] = x217;
+  out[21] = x221;
+  out[22] = x225;
+  out[23] = x229;
+  out[24] = x233;
+  out[25] = x237;
+  out[26] = x241;
+  }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}
diff --git a/src/Specific/solinas32_2e489m21/freezeDisplay.log b/src/Specific/solinas32_2e489m21/freezeDisplay.log
index ba11f88d5..28517afec 100644
--- a/src/Specific/solinas32_2e489m21/freezeDisplay.log
+++ b/src/Specific/solinas32_2e489m21/freezeDisplay.log
@@ -2,7 +2,7 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x51, x52, x50, x48, x46, 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 x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 524267);
+ uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffeb);
  uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x4, 0x3ffff);
  uint32_t x60, uint8_t x61 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x58, Return x6, 0x3ffff);
  uint32_t x63, uint8_t x64 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x61, Return x8, 0x3ffff);
@@ -30,7 +30,7 @@ Interp-η
  uint32_t x129, uint8_t x130 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x127, Return x52, 0x3ffff);
  uint32_t x132, uint8_t x133 = Op (Syntax.SubWithGetBorrow 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x130, Return x51, 0x3ffff);
  uint32_t x134 = (uint32_t)cmovznz(x133, 0x0, 0xffffffff);
- uint32_t x135 = (x134 & Const 524267);
+ uint32_t x135 = (x134 & 0x7ffeb);
  uint32_t x137, uint8_t x138 = Op (Syntax.AddWithGetCarry 19 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x54, Return x135);
  uint32_t x139 = (x134 & 0x3ffff);
  uint32_t x141, uint8_t x142 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x138, Return x57, Return x139);