diff options
| author | Alasdair Armstrong | 2018-01-22 21:44:17 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-22 21:44:17 +0000 |
| commit | 4cafba567b6610b239ab6b82b89073a1a8a49632 (patch) | |
| tree | bbf1ffe9ca3da4c0efc3b440fcecb6b69176e127 /src/lem_interp/sail_impl_base.lem | |
| parent | 6eee8747074539f77881cea90ce848cd8f4de1a5 (diff) | |
Added rewriter that specializes all function calls in a specification.
This removes all type polymorphism, so we can generate optimized
bitvector code and compile to languages without parametric
polymorphism.
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
0 files changed, 0 insertions, 0 deletions