rename SUP to SUPRA (#87)

Entropy-Foundation · Sep 30, 2024 · 5270249 · 5270249
1 parent 90751ef
commit 5270249
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/aptos-move/framework/supra-framework/doc/supra_coin.md b/aptos-move/framework/supra-framework/doc/supra_coin.md
@@ -218,7 +218,7 @@ Can only called during genesis to initialize the Supra coin.
     <b>let</b> (burn_cap, freeze_cap, mint_cap) =<a href="coin.md#0x1_coin_initialize_with_parallelizable_supply_with_limit">coin::initialize_with_parallelizable_supply_with_limit</a>&lt;<a href="supra_coin.md#0x1_supra_coin_SupraCoin">SupraCoin</a>&gt;(
         supra_framework,
         <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_utf8">string::utf8</a>(b"Supra Coin"),
-        <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_utf8">string::utf8</a>(b"SUP"),
+        <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_utf8">string::utf8</a>(b"SUPRA"),
         8, // decimals
         <b>true</b>, // monitor_supply
 			<a href="supra_coin.md#0x1_supra_coin_MAX_SUPRA_COIN_SUPPLY">MAX_SUPRA_COIN_SUPPLY</a>,
@@ -497,7 +497,7 @@ Claim the delegated mint capability and destroy the delegated token.
 <pre><code><b>let</b> addr = <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(supra_framework);
 <b>aborts_if</b> addr != @supra_framework;
 <b>aborts_if</b> !<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_spec_internal_check_utf8">string::spec_internal_check_utf8</a>(b"Supra Coin");
-<b>aborts_if</b> !<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_spec_internal_check_utf8">string::spec_internal_check_utf8</a>(b"SUP");
+<b>aborts_if</b> !<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_spec_internal_check_utf8">string::spec_internal_check_utf8</a>(b"SUPRA");
 <b>aborts_if</b> <b>exists</b>&lt;<a href="supra_coin.md#0x1_supra_coin_MintCapStore">MintCapStore</a>&gt;(addr);
 <b>aborts_if</b> <b>exists</b>&lt;<a href="coin.md#0x1_coin_CoinInfo">coin::CoinInfo</a>&lt;<a href="supra_coin.md#0x1_supra_coin_SupraCoin">SupraCoin</a>&gt;&gt;(addr);
 <b>aborts_if</b> !<b>exists</b>&lt;<a href="aggregator_factory.md#0x1_aggregator_factory_AggregatorFactory">aggregator_factory::AggregatorFactory</a>&gt;(addr);

diff --git a/aptos-move/framework/supra-framework/sources/supra_coin.move b/aptos-move/framework/supra-framework/sources/supra_coin.move
@@ -46,7 +46,7 @@ module supra_framework::supra_coin {
         let (burn_cap, freeze_cap, mint_cap) =coin::initialize_with_parallelizable_supply_with_limit<SupraCoin>(
             supra_framework,
             string::utf8(b"Supra Coin"),
-            string::utf8(b"SUP"),
+            string::utf8(b"SUPRA"),
             8, // decimals
             true, // monitor_supply
 			MAX_SUPRA_COIN_SUPPLY,
@@ -201,7 +201,7 @@ module supra_framework::supra_coin {
         let (burn_cap, freeze_cap, mint_cap) =coin::initialize_with_parallelizable_supply_with_limit<SupraCoin>(
             supra_framework,
             string::utf8(b"Supra Coin"),
-            string::utf8(b"SUP"),
+            string::utf8(b"SUPRA"),
             8, // decimals
             true, // monitor_supply
             MAX_SUPRA_COIN_SUPPLY,
@@ -241,7 +241,7 @@ module supra_framework::supra_coin {
         account::create_account_for_test(destination_addr);
 
         let name = string::utf8(b"Supra Coin");
-        let symbol = string::utf8(b"SUP");
+        let symbol = string::utf8(b"SUPRA");
 
         aggregator_factory::initialize_aggregator_factory_for_test(&source);
         let (burn_cap,  mint_cap) = initialize(

diff --git a/aptos-move/framework/supra-framework/sources/supra_coin.spec.move b/aptos-move/framework/supra-framework/sources/supra_coin.spec.move
@@ -10,7 +10,7 @@ spec supra_framework::supra_coin {
         let addr = signer::address_of(supra_framework);
         aborts_if addr != @supra_framework;
         aborts_if !string::spec_internal_check_utf8(b"Supra Coin");
-        aborts_if !string::spec_internal_check_utf8(b"SUP");
+        aborts_if !string::spec_internal_check_utf8(b"SUPRA");
         aborts_if exists<MintCapStore>(addr);
         aborts_if exists<coin::CoinInfo<SupraCoin>>(addr);
         aborts_if !exists<aggregator_factory::AggregatorFactory>(addr);