[protomyth]

Is there a specification for the SistaV1 bytecodes?

[jecel]

This paper compares the "blue book style" bytecodes (also known as V3 bytecodes) with the new ones used by sista:

https://www.researchgate.net/publication/280793584_A_bytecod...