Demo video for a successful type checking

Demo video for bundling the test app with a certificate

Demo video for type checking non typable Const instruction

Demo video for for type checking failed constraint for Invoke instruction

Demo video for type checking non typable MoveResult instruction

Demo video for type checking non typable Move instruction

Demo video for type checking non typable Nop instruction


Home > Translation Proof