diff options
| author | Emilio Jesus Gallego Arias | 2020-06-29 13:27:02 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-08 15:12:46 +0200 |
| commit | 1954fb6cb6f854c59d7905163ae9b84901edd863 (patch) | |
| tree | 9918e887f4178a6c3f2552b65392a81307ff72b3 /kernel/genOpcodeFiles.ml | |
| parent | 301e9cb85c2ac995d71cb7978ceae78621ec3eee (diff) | |
[obligations] Allow state-modifying hooks
This is for use in Equations. At some point we should make all hook aware
of state, but this should suffice for now.
Note the comments as the role of hooks here, this may need further
cleanup indeed.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions