diff options
| author | Thomas Bauereiss | 2019-08-14 15:18:15 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-08-14 18:02:03 +0100 |
| commit | e2e273eda09c707a78bd96b668db92381a6e524e (patch) | |
| tree | 05ed7b643f8ae5e6241c2e9dc9654e2aeea8e527 /lib/hol/sail2_valuesAuxiliaryScript.sml | |
| parent | f1c483a7c35387fae037b7a6c64356c858945587 (diff) | |
Use bitvector type in mono rewrites
Also don't require a previously declared default vector indexing order
in vector_dec.sail.
Diffstat (limited to 'lib/hol/sail2_valuesAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions