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

Commit Graph

  • 81f5025366 Make setOffset precise. jon 2020-06-03 11:09:19 +01:00
  • 88bcd6b487 Implement getHardPerms on CapMem Peter Rugg 2020-06-02 10:20:44 +01:00
  • c69acb812d Remove stray implementations Peter Rugg 2020-05-13 12:01:27 +01:00
  • bc7b518aaf Revert "Revert "Provide combined set bound function"" Peter Rugg 2020-05-12 20:10:09 +01:00
  • f594e13cbe Merge branch 'master' into Toooba Peter Rugg 2020-05-12 20:03:22 +01:00
  • 3bb13f1c87 Implement get/setFlags on CapMem Peter Rugg 2020-05-11 14:08:04 +01:00
  • dd24b7672b Cleanup of unsupported functions and corresponding error messages Peter Rugg 2020-05-07 16:33:08 +01:00
  • 9fb30e0b6f Remove get/setType functions to prevent sealed/sealed_with_type confusion Peter Rugg 2020-05-01 20:01:27 +01:00
  • b44b77050f Changes needed to support CapMem used in Toooba in PC paths. jon 2020-04-27 15:54:36 +01:00
  • a5f3c776c7 Workaround for default typeclass function definitions Peter Rugg 2020-04-23 15:44:25 +01:00
  • d24104fa3e Revert "Provide combined set bound function" Peter Rugg 2020-04-23 10:35:14 +01:00
  • 490a10f18c Simplify the definition of macro W() so that the Connectal dependancy checker can handle it. Simon Moore 2020-04-21 23:40:29 +01:00
  • 80ba19db9f Provide combined set bound function Peter Rugg 2020-04-16 17:35:02 +01:00
  • a4ea46cd59 Add a simple verilator simulator for module_wrap128_fromMem Alex Richardson 2020-04-02 16:12:10 +01:00
  • 4b08d61aa2 Fix hardcoded 64 Peter Rugg 2020-04-02 15:17:24 +01:00
  • 5c138fe263 Fix overly strict derivability check Peter Rugg 2020-04-01 12:46:55 +01:00
  • 8fbf0377f9 Fix swapped derivability checks Peter Rugg 2020-03-31 17:51:36 +01:00
  • 486d7b31eb Merge branch 'master' of https://github.com/CTSRD-CHERI/cheri-cap-lib Jonathan Woodruff 2020-03-31 15:42:33 +01:00
  • cbd0b2f7f5 Add a couple of casts for functions that return capabilities. This is necessary for passing the register file read functions into modules that want to read the Pipe format rather than the Reg format. Jonathan Woodruff 2020-03-31 15:41:19 +01:00
  • c51cd15a5d Fix derivability check Peter Rugg 2020-03-30 03:40:28 +01:00
  • 910c2154f1 Add isDerivable function for CBuildCap Peter Rugg 2020-03-26 14:25:59 +00:00
  • 410a27c4a4 Merge branch 'timing' Peter Rugg 2020-03-09 17:03:41 +00:00
  • 6267c2bb2e Calculate "exact" more efficiently. Jonathan Woodruff 2020-03-06 17:57:12 +00:00
  • 7a50514e7e Comment GetTop a bit better, and also comment out unnecessary logic. Jonathan Woodruff 2020-03-05 18:28:45 +00:00
  • 22434499e5 Fixes for CRAM and SetAddress. The SetAddress issue and fix were found and verified (respectively) to some degree by TestRIG. Jonathan Woodruff 2020-03-05 11:50:07 +00:00
  • e958fb685e Remove default slow implementation of CRRL Peter Rugg 2020-03-03 18:41:25 +00:00
  • 6695c7428f Merge branch 'master' into timing Peter Rugg 2020-03-03 18:31:45 +00:00
  • ebac2cdf6d An apparently faster iteration of CSetBounds. Jonathan Woodruff 2020-03-02 16:10:33 +00:00
  • 42cdd2e3da Update to new SetBounds which is precise. This one isn't quite fast enough on CHERI-MIPS, so good luck with that RISC-V! Jonathan Woodruff 2020-02-28 12:17:19 +00:00
  • c647939cb7 Merge pull request #2 from ivanmgribeiro/master Alexandre Joannou 2020-02-27 13:53:50 +00:00
  • ba95fc9a01 Typo "inOffset" -> "incOffset" Alexandre Joannou 2020-02-27 13:52:07 +00:00
  • f5393fa31c Support setAddrUnsafe on CapRegs Peter Rugg 2020-02-13 17:36:14 +00:00
  • 1a8f20bad3 Cleanup maskAddr to use setCapPointer Peter Rugg 2020-02-12 22:36:38 +00:00
  • ce8e442ba6 Merge pull request #3 from jrtc27/overflow PeterRugg 2020-02-12 00:22:50 +00:00
  • 5834111524 Avoid shift amount overflow in maskAddr James Clarke 2020-02-11 22:46:07 +00:00
  • 8f111b64fe Add SetAddrUnsafe function to the typeclass to support proper bounds checking for PCC. Jonathan Woodruff 2020-02-06 11:01:36 +00:00
  • 0d7b3bb49f Add utilities for CRRL and CRAM Peter Rugg 2020-02-05 01:44:00 +00:00
  • 482afd3650 Update Blarney Wrapper generator to fix bug Ivan Ribeiro 2020-01-28 06:54:38 +00:00
  • 774e883a26 Fix hardcoded assumption in maskAddr that MW was 8 from CAP64 Peter Rugg 2020-01-20 14:30:31 +00:00
  • 123fe712a9 Update contribution dates. Jonathan Woodruff 2020-01-15 11:43:42 +00:00
  • a0ab504ea6 Remove contribution, as this file is new. Jonathan Woodruff 2020-01-15 11:42:37 +00:00
  • 8146a14026 Copy copyright attributions from source file. Jonathan Woodruff 2020-01-15 11:41:21 +00:00
  • 80b6ee312e Fix address/addrBits out of sync bugs Peter Rugg 2020-01-07 11:25:22 +00:00
  • 796cf41c9b Fix off-by-one in max otype Peter Rugg 2020-01-07 11:24:17 +00:00
  • c2200f47cc Make Cap FShow more concise Peter Rugg 2019-12-10 16:33:33 +00:00
  • da397428b6 Update CHERICapWrap.bsv to reflect changes from previous commit Alexandre Joannou 2019-12-09 14:39:40 +00:00
  • d987f2b035 Refactor to allow some operations on CapReg Peter Rugg 2019-11-18 17:14:31 +00:00
  • 5953acc8c1 Refresh readme Alexandre Joannou 2019-10-22 11:30:37 +01:00
  • b3494ce8af Adding blarney wrapper Alexandre Joannou 2019-10-22 10:33:21 +01:00
  • 97ee2f262b Update set/inc/modify offset API Alexandre Joannou 2019-10-22 10:38:43 +01:00
  • 12f8cb3ed9 Provide redundant argument to setOffset Peter Rugg 2019-09-09 15:28:57 +01:00
  • 862bfb39bd Fix clearing of wrong bits in maskAddress Peter Rugg 2019-09-09 15:28:40 +01:00
  • a39fefd950 Add safe maskAddr function Peter Rugg 2019-09-05 12:10:11 +01:00
  • bc9f058976 Add incOffset as option for setOffset Peter Rugg 2019-09-05 11:09:05 +01:00
  • 06fbe6d31d Merge pull request #1 from ivanmgribeiro/master Alexandre Joannou 2019-08-02 15:58:57 +01:00
  • ff28e6fa95 Fix typo, acces_sys_regs -> access_sys_regs Ivan Ribeiro 2019-08-02 15:53:50 +01:00
  • f948e576d9 Default to CAP64 and RISCV architecture Ivan Ribeiro 2019-07-18 14:52:05 +01:00
  • fdc1cbee2e Revert a somewhat recent change that broke SetBounds. This was done to agree with Sail, so we need to explore this difference. Jonathan Woodruff 2019-07-24 19:29:57 +01:00
  • 350a7939cc Updated verilog wrapping Alexandre Joannou 2019-07-18 12:48:51 +01:00
  • c04a30cd88 Fold in setAddress fix from svn Alexandre Joannou 2019-06-27 17:42:03 +01:00
  • fa664bbc01 Added some wrapping modules for individual class methods to help generate the verilog Alexandre Joannou 2019-06-14 19:53:58 +01:00
  • fcef9c3744 adding toplevel LICENCE file Alexandre Joannou 2019-06-03 11:00:42 +01:00
  • c1f08cf56b Allow compilation of CHERI-64 Peter Rugg 2019-06-02 18:59:03 +01:00
  • 3390da4446 Fix reporting of exact in setBounds Peter Rugg 2019-05-28 15:23:55 +01:00
  • e0020327a7 Fix representability check Peter Rugg 2019-05-27 18:20:42 +01:00
  • 1c3acdc58d Rework Kind reporting to match specified behaviour of CGetSealed and CGetType Peter Rugg 2019-05-26 16:27:53 +01:00
  • a425686321 Move flags field in cap representation to match sail Peter Rugg 2019-05-26 16:26:56 +01:00
  • 4003a436fc Add XOR with null cap when casting to/from memory cap Peter Rugg 2019-05-25 14:30:31 +01:00
  • 124c4bbd6b Remove reserved field from HPerms Peter Rugg 2019-05-25 14:29:58 +01:00
  • 4d4001af8d Added toMem/fromMem class methods Alexandre Joannou 2019-05-22 14:52:06 +01:00
  • 5063a8d9e3 Fix CC_Fat ResW value to account for flags Alexandre Joannou 2019-05-22 11:28:25 +01:00
  • a8974231eb Add tag bit checks for fully unpacked capabilities Peter Rugg 2019-05-13 23:35:34 +01:00
  • 652f8335eb Fold in changes from SVN into CHERICC_Fat up to r34827 Peter Rugg 2019-04-10 16:29:08 +01:00
  • 5a35cc6f2e Added get/setFlags to CC_Fat and to the typeclass Alexandre Joannou 2019-04-30 17:30:26 +01:00
  • 3546becbd3 Fold in changes from SVN into CHERICC_Fat up to r34410 Peter Rugg 2019-03-22 00:06:54 +00:00
  • 34c9bea6d6 Fix precision bug (Jon) Peter Rugg 2019-03-22 00:06:54 +00:00
  • 3d9c6cc2ce Fold in changes from SVN into CHERICC_Fat up to r34349 Peter Rugg 2019-03-20 12:39:59 +00:00
  • 671804575f Fix copy-paste error on permissions Peter Rugg 2019-03-19 18:02:43 +00:00
  • 1d81dc3596 Fix representability check of setOffset on untagged caps Peter Rugg 2019-03-19 18:02:07 +00:00
  • 9524138c09 Add validAsType 'static' typeclass function Peter Rugg 2019-03-19 18:00:54 +00:00
  • aaa150091f Add SetCID permission bit Peter Rugg 2019-03-19 17:59:54 +00:00
  • 5504d1380e Update CapPipe to be struct rather than tuple Peter Rugg 2019-03-19 17:57:37 +00:00
  • 193c0e3258 Add exports required to use Cap types Peter Rugg 2019-03-19 17:46:28 +00:00
  • af71c8e8ce Add typeclass function for getting combined permissions Peter Rugg 2019-03-19 17:45:18 +00:00
  • f3c9f5972a Merged Capability128ccLibs.bsv and CHERICC128Cap.bsv into CHERICC_Fat.bsv and added a CHERICC.bsv library (not currently working) Alexandre Joannou 2019-03-05 16:50:35 +00:00
  • 5c4a81b12e Add existing microarchitecture-friendly cap library, typeclass definition and typeclass instance Peter Rugg 2019-03-05 12:12:14 +00:00
  • d9416fe321 Adding a readme Alexandre Joannou 2019-03-05 11:29:53 +00:00