Add PVML docs, forked from js-slang's SVML wiki PVML-Specification, PVML-Instruction-Set, and PVML-Compiler-and-Machine, forked from js-slang's SVML wiki as the starting point for documenting PVML (py-slang's own bytecode target, currently identical to SVML) and Pynter (the Sinter fork that runs it).

martin-henz committed Jul 6, 2026