ReferenceComplete reference: the instruction set, diagnostics and the NEX format.Instruction setDiagnosticsNEX file format