Recommended Sireum/CodeIVE version for SysMLv2 Rust/Microkit examples?

[lzy0617]

Hi, I am trying to run the SysMLv2-to-Rust/Microkit examples in this repository with the packaged Sireum/CodeIVE distribution, but I am running into several compatibility-looking issues.

My main question is: is there a known working combination of Sireum/CodeIVE version, hamr-tutorials commit, bundled aadl-lib, and codegen options for these examples?

For example, in HAMR-SysMLv2-Rust-seL4-P-DP-Example, codegen fails inside the bundled aadl-lib with:

AST Builder Error: Cast operations are not currently supported

In HAMR-SysMLv2-Rust-seL4-P-EDP-SNG-Example, I also saw issues such as:

Port direction must be supplied at the port usage level
java.lang.Error: Need to handle event ports
Model workspace option was not provided. Cannot generate attestation artifacts

Could you clarify which SysMLv2 Rust/Microkit examples are currently expected to work, and which Sireum/CodeIVE version should be used?

Thanks!