diff options
| author | Robert Norton | 2017-04-07 16:36:20 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-07 16:54:20 +0100 |
| commit | 5892c5e2a3b8f528218f983e2b8ecab1af827ff0 (patch) | |
| tree | c1d37806fa84dacbdd1364985259f7ec0a477fef /src/lem_interp/sail_impl_base.lem | |
| parent | 0f32be4f49c9ab4dbc7b0147d36e04fefc2b274c (diff) | |
implement quot and mod with truncation towards zero which is not the ocaml way but standard for C and most hw.
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
0 files changed, 0 insertions, 0 deletions