TRVM/docs/spec/conformanceTRVM/docs/spec/conformance

TRVM/docs/spec/conformance

1 document in TRVM/docs/spec/conformance, mirrored from the [&] stack at its real source path.

Documents

TRVM conformance — How a new implementation of the TRVM runtime proves it is correct. This is the contract spec/SPEC.md §6 defines, made executable.