diff options
| author | Thomas Bauereiss | 2019-11-26 18:25:17 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-11-26 18:25:17 +0000 |
| commit | 23f605252180f0bb5d9a1fbed05f4c5dad14e7ec (patch) | |
| tree | 840c453be3711a69e13dc9b2dae7c7ddb3057a34 /src/interpreter.ml | |
| parent | 791cb5618be352aa94f9db3e4790a9fede4fdc11 (diff) | |
Allow overriding of generated mapping functions
If, for example, we have a bidirectional encoding-decoding mapping as in
sail-riscv, but want to translate only the decoder to a theorem prover,
this commit allows us to stub out the the encoder by splicing in dummy
definitions.
Diffstat (limited to 'src/interpreter.ml')
0 files changed, 0 insertions, 0 deletions