Fix whitespace

CTSRD-CHERI · Oct 21, 2020 · 5a920b5 · 5a920b5
1 parent cc0b2b9
commit 5a920b5
Show file tree

Hide file tree

Showing 3 changed files with 31 additions and 31 deletions.
diff --git a/src/cheri_cap_common.sail b/src/cheri_cap_common.sail
@@ -57,23 +57,23 @@ let cap_reset_T = 0b01 @ zeros(cap_mantissa_width - 2)
  * populated by capBitsToCapability.
  */
 struct Capability = {
-  tag                    : bool    ,
-  uperms                 : bits(cap_uperms_width) ,
-  permit_set_CID         : bool    ,
-  access_system_regs     : bool    ,
-  permit_unseal          : bool    ,
-  permit_cinvoke         : bool    ,
-  permit_seal            : bool    ,
-  permit_store_local_cap : bool    ,
-  permit_store_cap       : bool    ,
-  permit_load_cap        : bool    ,
-  permit_store           : bool    ,
-  permit_load            : bool    ,
-  permit_execute         : bool    ,
-  global                 : bool    ,
-  reserved               : bits(cap_reserved_width) ,
-  flag_cap_mode          : bool    ,
-  internal_E             : bool    ,
+  tag                    : bool,
+  uperms                 : bits(cap_uperms_width),
+  permit_set_CID         : bool,
+  access_system_regs     : bool,
+  permit_unseal          : bool,
+  permit_cinvoke         : bool,
+  permit_seal            : bool,
+  permit_store_local_cap : bool,
+  permit_store_cap       : bool,
+  permit_load_cap        : bool,
+  permit_store           : bool,
+  permit_load            : bool,
+  permit_execute         : bool,
+  global                 : bool,
+  reserved               : bits(cap_reserved_width),
+  flag_cap_mode          : bool,
+  internal_E             : bool,
   E                      : bits(cap_E_width),
   B                      : bits(cap_mantissa_width),
   T                      : bits(cap_mantissa_width),

diff --git a/src/cheri_prelude_128.sail b/src/cheri_prelude_128.sail
@@ -63,13 +63,13 @@ let  internal_E_take_bits = sizeof(internal_E_take_bits)
 
 /* Capability format completely compressed. Tag is out of band */
 struct EncCapability = {
-  perms      : bits(cap_uperms_width + cap_hperms_width) ,
-  otype      : bits(cap_otype_width) ,
-  reserved   : bits(cap_reserved_width) ,
-  flags      : bits(cap_flags_width) ,
-  internal_E : bit ,
-  T          : bits(cap_mantissa_width - 2) ,
-  B          : bits(cap_mantissa_width) ,
+  perms      : bits(cap_uperms_width + cap_hperms_width),
+  otype      : bits(cap_otype_width),
+  reserved   : bits(cap_reserved_width),
+  flags      : bits(cap_flags_width),
+  internal_E : bit,
+  T          : bits(cap_mantissa_width - 2),
+  B          : bits(cap_mantissa_width),
   address    : bits(cap_addr_width)
 }
 

diff --git a/src/cheri_prelude_64.sail b/src/cheri_prelude_64.sail
@@ -63,13 +63,13 @@ let  internal_E_take_bits = sizeof(internal_E_take_bits)
 
 /* Capability format completely compressed. Tag is out of band */
 struct EncCapability = {
-  perms      : bits(cap_uperms_width + cap_hperms_width) ,
-  otype      : bits(cap_otype_width) ,
-  reserved   : bits(cap_reserved_width) ,
-  flags      : bits(cap_flags_width) ,
-  internal_E : bit ,
-  T          : bits(cap_mantissa_width - 2) ,
-  B          : bits(cap_mantissa_width) ,
+  perms      : bits(cap_uperms_width + cap_hperms_width),
+  otype      : bits(cap_otype_width),
+  reserved   : bits(cap_reserved_width),
+  flags      : bits(cap_flags_width),
+  internal_E : bit,
+  T          : bits(cap_mantissa_width - 2),
+  B          : bits(cap_mantissa_width),
   address    : bits(cap_addr_width)
 }