User blog comment:ヌヌハラ/alice-tools v0.2.0/@comment-45214281-20200313112813/@comment-44256294-20200314144245

Nothing official. I've documented some of the instructions here but its a very incomplete list. If you're able to read C source code you could take a look at the implementation in xsystem4 here. I've also written a bit about how the system 4 VM works here.

Feel free to ask me if you have any questions about a specific instruction, etc.