diff options
| author | Christopher Pulte | 2017-09-29 17:02:38 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2017-09-29 17:02:38 +0100 |
| commit | efa98fb796fdab5486193f792adf999826fde7b4 (patch) | |
| tree | a13e7ef118849c6556ab0f2775bcbc301a4c9ce0 /src/lem_interp/sail_impl_base.lem | |
| parent | f5322fa262de3545d453891745e3c1cdaaceb5f5 (diff) | |
fix deep_shallow_convert, stop using interp_interface.instruction for most things, SF and CP bugfixing
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index 6957bb95..4f07f574 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -106,8 +106,6 @@ type register_value = <| type byte_lifted = Byte_lifted of list bit_lifted (* of length 8 *) (*MSB first everywhere*) -type instruction_field_value = list bit - type byte = Byte of list bit (* of length 8 *) (*MSB first everywhere*) type address_lifted = Address_lifted of list byte_lifted (* of length 8 for 64bit machines*) * maybe integer |