diff options
| author | Christopher Pulte | 2016-11-05 16:09:12 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-05 16:09:12 +0000 |
| commit | f1f618d888407c2e6fa8b0498b2554585772fb09 (patch) | |
| tree | 1d19e00f0536e767c97d6ed80ef0972de538dfc6 /src/lem_interp/sail_impl_base.lem | |
| parent | b1970df86db7589a1415e5b76397119a255e2dde (diff) | |
fixes
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index 13a2dd38..86778bee 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -1400,3 +1400,9 @@ instance (Eq decode_error) let (<>) = decode_error_inequal end +type regfp = + | RFull of (string) + | RSlice of (string * integer * integer) + | RSliceBit of (string * integer) + | RField of (string * string) + |