All work
- Figure out how the REPL in Rosette works in detailROS-451Resolved issue: ROS-451郑璐
- Finish Python script for translating Rosette opcode output to Roscala opcodesROS-449Resolved issue: ROS-449郑璐
- Find real life test case for OpApplyCmd and OpApplyPrimTagROS-447Resolved issue: ROS-447郑璐
- Port tests for LocationROS-445Resolved issue: ROS-445郑璐
- Improve test coverage for Vm.scalaROS-439Resolved issue: ROS-439郑璐
- Improve test coverage for Ob.scalaROS-413Resolved issue: ROS-413郑璐
- Validate no deploy by the same (user, millisecond timestamp) has been produced in the chainRCHAIN-544Resolved issue: RCHAIN-544郑璐
7 of 7
