• Kunshan Wang's avatar
    Fixed, documented, tested tagref64. · 0176c94b
    Kunshan Wang authored
    Fixed some problem left in the operations for tagref64 which are caused
    by porting from microvm-p2, the legacy Python-based Micro VM
    implementation.
    
    Added documentation and test cases for tagref64-related operations.
    0176c94b
UvmTagRef64OperationSpec.scala 3.15 KB