From 223e4cce592ff5bce35463b13b084c91028c6bd9 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 29 Oct 2017 17:43:06 -0400
Subject: Update display logs

---
 src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/Specific/solinas32_2e224m2e96p1')

diff --git a/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log b/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log
index 4d1f8caef..b63426559 100644
--- a/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log
+++ b/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log
@@ -11,19 +11,19 @@ Interp-η
  uint32_t x34, uint8_t x35 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x32, Return x14, 0xfffffff);
  uint32_t x37, uint8_t x38 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x35, Return x13, 0xfffffff);
  uint32_t x39 = (uint32_t)cmovznz(x38, 0x0, 0xffffffff);
- uint8_t x40 = (uint8_t) x39 & 0x1;
+ uint8_t x40 = ((uint8_t)x39 & 0x1);
  uint32_t x42, uint8_t x43 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x16, Return x40);
  uint32_t x45, uint8_t x46 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x43, Return x19, 0x0);
  uint32_t x48, uint8_t x49 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x46, Return x22, 0x0);
- uint32_t x50 = x39 & 0xffff000;
+ uint32_t x50 = (x39 & 0xffff000);
  uint32_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x49, Return x25, Return x50);
- uint32_t x54 = x39 & 0xfffffff;
+ uint32_t x54 = (x39 & 0xfffffff);
  uint32_t x56, uint8_t x57 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x28, Return x54);
- uint32_t x58 = x39 & 0xfffffff;
+ uint32_t x58 = (x39 & 0xfffffff);
  uint32_t x60, uint8_t x61 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x57, Return x31, Return x58);
- uint32_t x62 = x39 & 0xfffffff;
+ uint32_t x62 = (x39 & 0xfffffff);
  uint32_t x64, uint8_t x65 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x61, Return x34, Return x62);
- uint32_t x66 = x39 & 0xfffffff;
+ uint32_t x66 = (x39 & 0xfffffff);
  uint32_t x68, uint8_t _ = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x65, Return x37, Return x66);
  (Return x68, Return x64, Return x60, Return x56, Return x52, Return x48, Return x45, Return x42))
 x
-- 
cgit v1.2.3