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

Context

After successfully adding support for the multisig contract in %(2023Q4) MIR: multisig contract, let's add support for all remaining instructions/types/macros.

Work breakdown

• TZT:
  • Make sure the TZT reference test suite has at least 1 test for each instruction present mentioned in this milestone
  • Add tests to the reference suite asserting typechecking failures as needed.
  • This work will be done alongside the addition of the instructions in the issues listed below.
• Support remaining macros #6619 (closed)
• Control structures #6620 (closed)
• Stack manipulation #6621 (closed)
• Arithmetic operations #6622
• Boolean operations #6623 (closed)
• Cryptographic operations #6624
• Blockchain operations #6625
• Operations on data structures #6626 (closed)
• Operations on tickets #6627 (closed)
• Timelocks #6628
• Deliverable: Publish in https://crates.io/