This is a sub-milestone of %(2023Q3-Q4) Michelson-in-Rust

Context

After successfully adding support for the vote contract in %(2023Q4) MIR: vote contract, let's keep improving MIR by adding support for a more complex contract: the multisig contract.

Work breakdown

• TZT #6536 (closed)
  • Make sure the TZT reference test suite has at least 1 test for each instruction present in the multisig contract.
  • Add tests to the reference suite asserting typechecking failures as needed.
• Add support for michelson serialization (will be needed to implement PACK) #6537 (closed)
• Add support for macros #6538 (closed)
  • ASSERT
  • ASSERT_CMPEQ
  • ASSERT_CMPLE
  • DIIP
  • DUUP
  • IF_SOME
  • FAIL
• Add support for multisig's instructions, types and values #6539 (closed)
  • SELF, contract
  • ADDRESS, address
  • CHAIN_ID, chain_id
  • PACK, bytes
  • UNPAIR
  • ITER (list overload)
  • IF_LEFT, or
  • IF_CONS
  • CONS
  • CHECK_SIGNATURE, key, signature, bytes
  • TRANSFER_TOKENS, contract
  • SET_DELEGATE, key_hash
• Replace the vote contract with the multisig contract in the rollup #6540 (closed)