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: Apr 17 2025 at 20:03 UTC