diff options
| author | Alastair Reid | 2018-06-29 01:25:59 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-06-29 01:25:59 +0100 |
| commit | b5424eea9c13935680b4cd6b76a377ff524699cd (patch) | |
| tree | 27b44b824901dfa8c29510c88c19f28cd9c998ac /src/process_file.ml | |
| parent | 34ccf330f5a58be476cae325883b2d207389f36a (diff) | |
Main: many small tweaks.
While trying to track down some strange behaviour, I added a lot
more try-catch blocks that I think will be useful in the future.
Also dropped spurious escape effects on primops.
Also, only advance PC if we executed an instruction.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions