Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 9d7de214d7 added add delta master-128-bit Akilan 2026-03-31 16:15:40 +01:00
  • 6120b13246 pass through pointer works Akilan 2026-03-12 18:12:25 +00:00
  • 3c6d203186 saving commented delta changes Akilan 2026-03-05 17:40:03 +00:00
  • 6263041aa1 fixed removing areas where delta values were used Akilan 2026-02-23 12:26:03 +00:00
  • 8f4feb2f1b removed delta values Akilan 2026-02-23 11:59:31 +00:00
  • b772286261 saving current changes master Akilan 2026-02-23 11:44:35 +00:00
  • f7884bb932 hack changes Akilan 2026-02-20 01:59:12 +00:00
  • bd95a8b5b1 saving current changes cheri-cap-lib Akilan 2026-02-19 18:07:45 +00:00
  • ed366654f0 saved compile time errors backup Akilan 2026-02-17 15:34:56 +00:00
  • b8f7b51e8a added latest changes Akilan 2026-02-17 14:49:00 +00:00
  • 76d832bcaf merge conflict resovled Akilan 2026-02-17 14:26:25 +00:00
  • b7892c3abc added changes Akilan 2026-02-17 14:22:33 +00:00
  • dc9fc2bd7d added delta value field Akilan 2026-02-17 13:49:05 +00:00
  • 1d2c0b953b Add a property that setBounds will only return a valid cap if the bounds are within the original bounds. Jonathan Woodruff 2025-03-07 15:12:46 +00:00
  • 199e3c9f7f Extend forallCap to include almightyCap Peter Rugg 2025-03-04 14:43:05 +00:00
  • 7c9559524b Increase bit-widths of assertion modules Peter Rugg 2025-03-04 14:06:41 +00:00
  • bad0d9cdb6 Default to 128-bit caps Peter Rugg 2025-03-04 14:04:27 +00:00
  • c5da2ebc5d Move to building untracked files in subdirectories to improve cleaning Peter Rugg 2025-03-04 14:03:15 +00:00
  • 595447fd62 fix property following getLength return type change in b3896e4e50 Alexandre Joannou 2025-02-10 17:44:09 +00:00
  • 2295c3b8c0 Added addAddrUnsafe verilog wrapper Alexandre Joannou 2025-02-05 12:28:19 +00:00
  • b3896e4e50 Move getLength to address length (not address length + 1), as we're explicitly saturating in order to express as a normal address. Jonathan Woodruff 2025-02-04 16:31:01 +00:00
  • 3926b793bf Added an env var to control bsc vdir flag Alexandre Joannou 2025-02-04 12:22:21 +00:00
  • 9e0636e6fc Added test workflow Alexandre Joannou 2025-02-03 15:23:58 +00:00
  • 033135b5f6 Add a new property that encoding and decoding a memory capability gives the same result. This caught the most recent bug. Jonathan Woodruff 2025-01-31 11:05:08 +00:00
  • eb6f9ebade Added setAddrUnsafe to generated verilog wrappers Alexandre Joannou 2025-01-27 19:45:55 +00:00
  • 0ca39912ba Let CapWrap build with CapMem and CapReg as well as CapPipe Alexandre Joannou 2025-01-27 14:42:41 +00:00
  • 19d3983010 Added an option to control the capability type used for verilog wrappers Alexandre Joannou 2025-01-27 12:13:19 +00:00
  • 7212f50b4d Take into account tag clearing in setBounds. Jonathan Woodruff 2025-01-24 17:23:49 +00:00
  • c2fe9cc093 Add rule in makefile to perform the formal property checks. Jonathan Woodruff 2025-01-24 15:20:14 +00:00
  • d9e2fb788a Some properties that pass through SymbiYosys Matthew Naylor 2024-07-17 10:01:27 +01:00
  • b29845fd65 Fix readme python-requirements typo PeterRugg 2025-01-10 16:58:15 +00:00
  • 354a67386e Fix setBounds not clearing tag (#12) Marvel Renju 2024-09-09 12:45:12 +01:00
  • 7d229ec7d5 added isDerivable to verilog wrapper Yuecheng Wang 2024-09-02 13:42:51 +01:00
  • 93a22d303d Merge pull request #11 from ivanmgribeiro/fusesoc Ivan Ribeiro 2023-10-09 17:33:41 +01:00
  • 321c985fc8 Update fusesoc docs per version of OT repo used Ivan Ribeiro 2023-10-08 14:06:04 +01:00
  • f3284354d2 Remove "is" and "get" from generated SV fields Ivan Ribeiro 2023-10-04 19:58:48 +01:00
  • e4e1ed4c69 Add some documentation regarding FuseSoC Ivan Ribeiro 2023-10-02 18:03:06 +01:00
  • ed0e4dfa65 Add capability size to name of modules and files Ivan Ribeiro 2023-10-02 17:25:31 +01:00
  • a8898154d4 Add functions to CHERICapWrap.bsv Ivan Ribeiro 2023-09-30 18:27:35 +01:00
  • 06eff948d9 Fix bsv_src_root Ivan Ribeiro 2023-09-30 18:24:52 +01:00
  • fd1f7c12a2 Add SystemVerilog wrappers to generator Ivan Ribeiro 2023-09-30 18:01:28 +01:00
  • 61e7b3e668 Add test core and targets Ivan Ribeiro 2023-09-30 17:09:56 +01:00
  • fcadf1aead Add barebones fusesoc generator core Ivan Ribeiro 2023-09-30 16:52:15 +01:00
  • a6664e512c Implement changes suggested by @gameboo + bugfix Ivan Ribeiro 2023-01-18 18:04:52 +00:00
  • 2d6864bbf3 New wrap script to support more languages (inc SV) Ivan Ribeiro 2023-01-13 16:07:31 +00:00
  • 49de0f90f0 Reduce VA_Width to allow compilation Ivan Ribeiro 2023-10-02 17:29:40 +01:00
  • 27e63bd9fd Remove HTML for adoc. Simon Moore 2023-08-30 18:38:32 +01:00
  • cab12e0532 Add another couple missing exports. Jonathan Woodruff 2023-08-18 17:51:33 +00:00
  • 9dd923936f Add some missing exports. Jonathan Woodruff 2023-08-18 17:46:06 +00:00
  • 613af39b8f Add functions to compress/decompress the CapMem format where the tag is assumed to be set and the address is assumed to be a valid virtual address. Jonathan Woodruff 2023-08-18 17:33:25 +00:00
  • f11156ef9a Remove non-ascii characters Peter Rugg 2023-01-25 16:11:52 +00:00
  • 7d9fdce16a Single cycle setBounds checking if the request is in bounds (#10) PeterRugg 2022-10-25 20:02:43 +01:00
  • be80fbe51c Merge pull request #9 from CTSRD-CHERI/wip-aj443-bounds-info-api-refactor Jonathan Woodruff 2022-10-25 10:43:07 +01:00
  • 20daecce77 Update readme.adoc Alexandre Joannou 2022-10-05 17:15:44 +01:00
  • 6c71799edb Added a toc to CHERI_CAP_API Alexandre Joannou 2022-09-30 17:30:04 +01:00
  • 11a88def9f A bit more details in teh CHERI CAP API description Alexandre Joannou 2022-09-30 16:22:24 +00:00
  • 9c09922ab0 Rephrase Alexandre Joannou 2022-09-30 15:48:24 +00:00
  • c72cda1a3c More detailed API adoc Alexandre Joannou 2022-09-30 15:10:09 +00:00
  • e4826ac997 rephrase + typo Alexandre Joannou 2022-09-30 12:26:46 +01:00
  • 49e6e07a70 Update and rename readme.md to readme.adoc Alexandre Joannou 2022-09-30 12:22:47 +01:00
  • 149733072a Don't unseal caps in setBounds Peter Rugg 2022-05-13 14:15:58 +01:00
  • bc727f9731 Fold in discussions with Jon and Matt regarding split representable regions gameboo 2021-10-07 15:17:13 +01:00
  • aa0a8fe224 Fold in some comments from jdw57 and pdr32 gameboo 2021-09-28 12:42:17 +01:00
  • 6e20d177dc Fixup base/top/repBase/repTop implementation gameboo 2021-09-28 12:05:35 +01:00
  • 5bb91d9d99 Cosmetics for CapReg CHERICap instance gameboo 2021-09-28 01:30:19 +01:00
  • e55c65556a Comment about orphan instance for CapMem gameboo 2021-09-28 00:56:59 +01:00
  • 321409df6a Cosmetics for CapMem CHERICap instance gameboo 2021-09-28 00:52:44 +01:00
  • 76d4dea31e Minor renames and cosmetic changes gameboo 2021-09-28 00:30:51 +01:00
  • f8dd165505 Can't cleanly use export mechanism at the moment apparently... + typo in comments gameboo 2021-09-28 00:08:38 +01:00
  • e110284da7 More refactor + first implementation for rep{Base,Top,Length} gameboo 2021-09-24 13:17:18 +01:00
  • f1837b9fb6 Mock up of the getBoundsInfo API update gameboo 2021-09-23 19:23:28 +01:00
  • 806b687e8a Merge pull request #8 from CTSRD-CHERI/wip-aj443-getMeta Jonathan Woodruff 2021-09-16 09:31:59 +00:00
  • 1741ce43dd Introduced a getMeta method as a counterpart to getAddr for getting all bits of in-memory architectural capability representation gameboo 2021-09-15 17:57:01 +01:00
  • 8ab0d3888f Merge pull request #7 from mn416/mn416-blarney-update Alexandre Joannou 2021-06-29 00:06:41 +01:00
  • bea5e463c6 Blarney wrappers now compile with latest Blarney Matthew Naylor 2021-06-28 15:00:02 +01:00
  • 350229febb CHERICapWrap.bsv: CapAddressW -> CapAddrW gameboo 2021-03-03 19:18:30 +00:00
  • b80c1b3c59 Merge pull request #4 from arichardson/master Jonathan Woodruff 2021-02-02 14:48:57 +00:00
  • 67297e939c Merge pull request #6 from dpgao/patch-1 Jonathan Woodruff 2021-02-02 14:48:08 +00:00
  • 762f4a6a48 Compute deltaAddrUpper correctly in setAddress Dapeng Gao 2021-02-02 21:36:18 +08:00
  • 6e8df02532 Use Dapeng's algorithm (adapted from his verified verilog) for SetAddress. jon 2021-02-01 18:42:01 +00:00
  • 6f8e3fa503 Fix setAddress representability bug spotted by Dapeng Gao (with jdw57 and pdr32) Alexandre Joannou 2021-01-28 18:06:52 +00:00
  • bd378bf834 turn newAddrBits in incOffsetFat into a Bit#(MW) as pointed out by Dapeng Gao + some comments Alexandre Joannou 2021-01-22 15:40:31 +00:00
  • 7c4191cfbb Merge pull request #5 from CTSRD-CHERI/wip-aj443-sanitize Jonathan Woodruff 2021-01-21 16:23:17 +00:00
  • 7c19694080 Unify indentation / simplify style throughout CHERICC_Fat Alexandre Joannou 2021-01-21 13:27:40 +00:00
  • e3d4c7ad87 Simpify style in CapMem CHERICap instance Alexandre Joannou 2021-01-21 12:41:13 +00:00
  • db72831f31 Simpify style in CapReg CHERICap instance Alexandre Joannou 2021-01-20 19:52:28 +00:00
  • 3559966651 Simpify style in CapPipe CHERICap instance Alexandre Joannou 2021-01-20 19:23:42 +00:00
  • 064798aff7 Limit use of large (66-bit) addresses accross CHERICC_Fat (with pdr32 and jdw57) Alexandre Joannou 2021-01-20 18:40:03 +00:00
  • e8868e7d79 Turn the address field in CapFat to a Bit#(CapAdressW) (with pdr32 and jdw57) Alexandre Joannou 2021-01-20 00:41:06 +00:00
  • 508da818ba Use tmpAddr in place of pointer in incOffsetFat following Dapeng Gao's email Alexandre Joannou 2021-01-18 16:06:17 +00:00
  • 938261d465 Reflect changes to CHERICap.bsv into CHERICapWrap.bsv forgotten in some past commit Alexandre Joannou 2020-12-08 15:19:57 +00:00
  • 1b660d06bd Fix partial type declaration warning Alexandre Joannou 2020-11-18 09:32:32 +00:00
  • bc0fada841 Merge remote-tracking branch 'origin/Toooba' into HEAD Peter Rugg 2020-09-07 15:57:51 +01:00
  • a6f5ca93eb Use the handy MW-derived type for a handy safe-if-inbounds increment size limit. jon 2020-08-21 15:54:57 +01:00
  • 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. jon 2020-08-21 15:31:31 +01:00
  • a812edaffa Prevent 'partial type info' warning Peter Rugg 2020-07-23 11:18:55 +01:00
  • c9156c6ea9 Add function needed in MemCap instance. jon 2020-07-10 20:47:50 +01:00
  • abfcb20d03 Add function needed in MemCap instance. jon 2020-07-10 20:47:50 +01:00
  • 298bf77b33 Reinstate crrl and cram helpers Peter Rugg 2020-06-15 13:02:03 +01:00
  • 18f4ec4417 Handle mask case where we do not have an internal exponent (that is, the length is perfectly represetnable). jon 2020-06-12 17:20:31 +01:00