The Solidity documentation has the following:
Internally, Solidity performs a revert operation (instruction
0xfd
) for a require-style exception and executes an invalid operation (instruction0xfe
) to throw an assert-style exception.
When looking in the yellow paper, I cannot see the opcodes 0xfd
and 0xfe
documented. (The largest non-suicide opcode is 0xf4
for DELEGATECALL
.) Where are 0xfd
and 0xfe
formally documented?