Verify semantic invariants at the raw UBCM boundary - #18

Verify semantic invariants at the raw UBCM boundary#18

Papishushi wants to merge 1 commit into

feat/semantic-source-frontend-v0Universal-Byte-Code/ubytec-interpreter:feat/semantic-source-frontend-v0from

feat/semantic-binary-verifier-v0Universal-Byte-Code/ubytec-interpreter:feat/semantic-binary-verifier-v0Copy head branch name to clipboard