cheri-cap-lib

Author	SHA1	Message	Date
Akilan	76d832bcaf	merge conflict resovled Some checks failed check properties / tests (push) Has been cancelled Details	2026-02-17 14:26:25 +00:00
Akilan	b7892c3abc	added changes	2026-02-17 14:22:33 +00:00
Jonathan Woodruff	1d2c0b953b	Add a property that setBounds will only return a valid cap if the bounds are within the original bounds. Some checks failed check properties / tests (push) Has been cancelled Details	2025-03-07 15:12:46 +00:00
Peter Rugg	c5da2ebc5d	Move to building untracked files in subdirectories to improve cleaning	2025-03-04 14:49:41 +00:00
Jonathan Woodruff	033135b5f6	Add a new property that encoding and decoding a memory capability gives the same result. This caught the most recent bug.	2025-01-31 11:06:29 +00:00
Matthew Naylor	d9e2fb788a	Some properties that pass through SymbiYosys	2025-01-24 13:37:49 +00:00