[T-support] add introduced Micheline instructions into Michelson parser

app/src/parser/formatting.c

@@ -187,6 +187,8 @@ const char *const tz_michelson_op_names_ordered[TZ_LAST_MICHELSON_OPCODE + 1]
         "NAT",                             // 156
         "Ticket",                          // 157
         "IS_IMPLICIT_ACCOUNT",             // 158
+        "INDEX_ADDRESS",                   // 159
+        "GET_ADDRESS_INDEX",               // 160
 };
 
 const char *

app/src/parser/formatting.h

@@ -23,7 +23,7 @@
  *
  *        Should be kept in sync with the last protocol update.
  */
-#define TZ_LAST_MICHELSON_OPCODE 158
+#define TZ_LAST_MICHELSON_OPCODE 160
 
 /**
  * @brief Get the human readable name of a Michelson op_code if valid
@@ -205,7 +205,9 @@ typedef enum {
     TZ_MICHELSON_OP_BYTES                          = 155,
     TZ_MICHELSON_OP_NAT                            = 156,
     TZ_MICHELSON_OP_Ticket                         = 157,
-    TZ_MICHELSON_OP_IS_IMPLICIT_ACCOUNT            = 158
+    TZ_MICHELSON_OP_IS_IMPLICIT_ACCOUNT            = 158,
+    TZ_MICHELSON_OP_INDEX_ADDRESS                  = 159,
+    TZ_MICHELSON_OP_GET_ADDRESS_INDEX              = 160
 } tz_michelson_opcode;
 
 #define TZ_DECIMAL_BUFFER_SIZE(_l) ((((_l)*241) / 100) + 1)

tests/integration/python/test_sign/operations/test_sign_micheline.py

@@ -210,6 +210,8 @@
     ({"prim": "BYTES"}, "BYTES"),
     ({"prim": "NAT"}, "NAT"),
     ({"prim": "IS_IMPLICIT_ACCOUNT"}, "IS_IMPLICIT_ACCOUNT"),
+    ({"prim": "INDEX_ADDRESS"}, "INDEX_ADDRESS"),
+    ({"prim": "GET_ADDRESS_INDEX"}, "GET_ADDRESS_INDEX"),
 
     # Type
     ({"prim": "bool"}, "bool"),

tests/integration/python/utils/message.py

@@ -94,6 +94,9 @@ class Watermark(IntEnum):
 # pytezos is not up to date with the protocol Seoul
 # See `https://gitlab.com/tezos/tezos/-/blob/v23-release/src/proto_023_PtSeouLo/lib_protocol/michelson_v1_primitives.ml#L807`
 prim_tags.update({ 'IS_IMPLICIT_ACCOUNT': b'\x9e'})
+# See `https://gitlab.com/tezos/tezos/-/blob/master/src/proto_024_PsU87LFi/lib_protocol/michelson_v1_primitives.ml#L816-L817`
+prim_tags.update({ 'INDEX_ADDRESS': b'\x9f'})
+prim_tags.update({ 'GET_ADDRESS_INDEX': b'\xa0'})
 
 class MichelineExpr(Message):
     """Class representing a tezos micheline expression."""