jameysharp commented on issue #5462:
After asking around: how would you like to open another PR to delete this code again? See #5463. It'll be a nice cleanup. There are probably other unimplemented instructions that we should delete too...
Last updated: Jan 24 2025 at 00:11 UTC