diff options
| author | Robert Norton | 2018-03-01 16:33:14 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-01 17:18:14 +0000 |
| commit | 868ba4b5cc41ee902032154864df560edc22e0d0 (patch) | |
| tree | 1637c22f3b831e41353a51ab66de7a9d60b602ba /mips/mips_prelude.sail | |
| parent | 1d4ca0b6b1102939845261ec662e3036f2cca48c (diff) | |
Add support for read_tag and write_tag in sail_lib.ml. and support for intialising and dumping CHERI state. Somewhat working cheri sail2 model.
Diffstat (limited to 'mips/mips_prelude.sail')
| -rw-r--r-- | mips/mips_prelude.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index 382e4d7f..c3197eda 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -556,6 +556,7 @@ function forall Nat 'r, 'r IN {1,2,4,8}.[:'r:] wordWidthBytes((WordType) w) = case D -> 8 } + (* This function checks that memory accesses are naturally aligned -- it is disabled in favour of BERI specific behaviour below. function bool isAddressAligned(addr, (WordType) wordType) = |