diff options
| author | Brian Campbell | 2019-04-26 12:17:04 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-26 12:17:04 +0100 |
| commit | 383bf94704813ad3f417b6eaf59d329388ff5af6 (patch) | |
| tree | 1e89baca0299484edb17db8b1be2f0a790179289 /lib/instr_kinds.sail | |
| parent | 718cdb91af2fe9833053dd696f93c0108040ceea (diff) | |
More constructor monomorphisation support
- handle multiple bitvector length variables
- more fine-grained unnecessary cast insertion checks
- add tuple matching support to constant propagation (for the test)
Diffstat (limited to 'lib/instr_kinds.sail')
0 files changed, 0 insertions, 0 deletions