76d832bcaf
merge conflict resovled
check properties / tests (push) Has been cancelled
2026-02-17 14:26:25 +00:00
dc9fc2bd7d
added delta value field
2026-02-17 13:49:05 +00:00
Jonathan Woodruff
b3896e4e50
Move getLength to address length (not address length + 1), as we're explicitly saturating in order to express as a normal address.
2025-02-04 16:31:01 +00:00
PeterRugg
7d9fdce16a
Single cycle setBounds checking if the request is in bounds ( #10 )
2022-10-25 20:02:43 +01:00
gameboo
bc727f9731
Fold in discussions with Jon and Matt regarding split representable regions
2021-10-07 15:17:13 +01:00
gameboo
aa0a8fe224
Fold in some comments from jdw57 and pdr32
2021-09-28 12:42:17 +01:00
gameboo
76d4dea31e
Minor renames and cosmetic changes
2021-09-28 01:27:46 +01:00
gameboo
f8dd165505
Can't cleanly use export mechanism at the moment apparently... + typo in comments
2021-09-28 00:08:38 +01:00
gameboo
f1837b9fb6
Mock up of the getBoundsInfo API update
2021-09-23 19:23:28 +01:00
gameboo
1741ce43dd
Introduced a getMeta method as a counterpart to getAddr for getting all
...
bits of in-memory architectural capability representation
2021-09-15 17:57:01 +01:00
Peter Rugg
bc0fada841
Merge remote-tracking branch 'origin/Toooba' into HEAD
2020-09-07 15:57:51 +01:00
jon
a6f5ca93eb
Use the handy MW-derived type for a handy safe-if-inbounds increment
...
size limit.
2020-08-21 15:54:57 +01:00
jon
356c7891ee
New function for adding to the address unsafely.
...
Would used an increment size based on mantissa width, but this is not
available in the type class, so just use 1 byte.
This function is currently used for adding small increments to the PC,
so does not need support for larger offsets.
2020-08-21 15:31:31 +01:00
Peter Rugg
298bf77b33
Reinstate crrl and cram helpers
2020-06-15 13:02:07 +01:00
Peter Rugg
bc7b518aaf
Revert "Revert "Provide combined set bound function""
2020-05-12 20:10:09 +01:00
Peter Rugg
f594e13cbe
Merge branch 'master' into Toooba
2020-05-12 20:08:38 +01:00
Peter Rugg
9fb30e0b6f
Remove get/setType functions to prevent sealed/sealed_with_type confusion
2020-05-01 20:04:52 +01:00
Peter Rugg
a5f3c776c7
Workaround for default typeclass function definitions
2020-04-23 15:44:25 +01:00
Peter Rugg
d24104fa3e
Revert "Provide combined set bound function"
...
This reverts commit 80ba19db9f
2020-04-23 10:35:14 +01:00
Peter Rugg
80ba19db9f
Provide combined set bound function
2020-04-16 17:35:02 +01:00
Peter Rugg
910c2154f1
Add isDerivable function for CBuildCap
2020-03-26 14:25:59 +00:00
Peter Rugg
e958fb685e
Remove default slow implementation of CRRL
2020-03-03 18:41:25 +00:00
Jonathan Woodruff
8f111b64fe
Add SetAddrUnsafe function to the typeclass to support proper bounds checking for PCC.
2020-02-06 11:01:36 +00:00
Peter Rugg
0d7b3bb49f
Add utilities for CRRL and CRAM
2020-02-05 01:44:00 +00:00
Peter Rugg
d987f2b035
Refactor to allow some operations on CapReg
2019-11-18 17:28:10 +00:00
Alexandre Joannou
97ee2f262b
Update set/inc/modify offset API
2019-10-22 10:43:03 +01:00
Peter Rugg
a39fefd950
Add safe maskAddr function
2019-09-05 12:10:11 +01:00
Peter Rugg
bc9f058976
Add incOffset as option for setOffset
2019-09-05 11:14:14 +01:00
Alexandre Joannou
fa664bbc01
Added some wrapping modules for individual class methods to help generate the verilog
2019-06-14 19:53:58 +01:00
Peter Rugg
1c3acdc58d
Rework Kind reporting to match specified behaviour of CGetSealed and CGetType
2019-05-26 16:27:53 +01:00
Alexandre Joannou
4d4001af8d
Added toMem/fromMem class methods
2019-05-22 14:52:06 +01:00
Alexandre Joannou
5a35cc6f2e
Added get/setFlags to CC_Fat and to the typeclass
2019-04-30 17:30:26 +01:00
Peter Rugg
9524138c09
Add validAsType 'static' typeclass function
2019-03-19 18:00:54 +00:00
Peter Rugg
aaa150091f
Add SetCID permission bit
2019-03-19 17:59:54 +00:00
Peter Rugg
af71c8e8ce
Add typeclass function for getting combined permissions
2019-03-19 17:45:18 +00:00
Alexandre Joannou
f3c9f5972a
Merged Capability128ccLibs.bsv and CHERICC128Cap.bsv into CHERICC_Fat.bsv and added a CHERICC.bsv library (not currently working)
2019-03-05 16:50:35 +00:00
Peter Rugg
5c4a81b12e
Add existing microarchitecture-friendly cap library, typeclass definition and typeclass instance
2019-03-05 12:12:38 +00:00
