CHERIoT-Platform cheriot-sail issues

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA

Other

34 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

CUnseal: permit any in-bound type

#87 nwf closed 6 days ago
1
Proposed relaxing of cjalr sealing

#86 nwf opened 1 week ago
7
Consider weakening return sentries to support compiler outlining

#85 rmn30 opened 1 week ago
4
Detect and abort if trapping with untagged MTCC.

#84 nwf closed 1 week ago
0
CAndPerms: permit clearing GL on sealed caps

#83 nwf opened 2 weeks ago
4
Remove reverse sentry pseudolocality

#82 nwf closed 1 week ago
0
Weaken backward sentry pseudo-locality, take 1.1

#81 nwf closed 1 week ago
3
Weaken backwards sentry pesudo-locality

#80 nwf closed 1 week ago
2
Weaken backwards-arc sentry pseudo-locality

#79 nwf closed 1 week ago
6
Blame Murali for stuff.

#78 davidchisnall closed 1 month ago
1
Makefile: sail can report its library path

#77 nwf closed 1 month ago
2
New algorithm for bounds calculation and changes to cap encoding

#76 vmurali opened 1 month ago
4
Rethinking the bounds calculations

#75 vmurali opened 1 month ago
14
CSetBoundsRoundDown

#74 nwf closed 4 days ago
17
Remove MTDC?

#73 davidchisnall closed 1 month ago
2
CRRLUP or CSetBoundsRoundUp

#72 davidchisnall closed 4 days ago
2
Allow CUnseal to work on ranges

#71 davidchisnall closed 6 days ago
0
Allow CAndPerms to clear global on sealed caps?

#70 rmn30 opened 2 months ago
2
Revised encoding with fewer degenerate cases?

#69 nwf opened 2 months ago
1
Allowing CSeal to set otype to any value between 0 and 7 for EX capabilities

#68 kliuMsft closed 2 months ago
0
Incorrect behaviour when registers greater than 15 used as destination in certain instructions

#67 rmn30 opened 3 months ago
1
Change README links to reflect repo moves

#66 rmn30 closed 3 months ago
0
Fix some nits in the archdoc

#65 nwf-msr closed 4 months ago
0
Require store local when storing return sentries

#64 nwf-msr closed 3 months ago
24
Have CJALR create !G sentries?

#63 nwf-msr closed 4 months ago
6
Use the sail container for builds (hopefully faster)!

#62 davidchisnall closed 4 months ago
1
Update README.md

#61 rmn30 closed 4 months ago
0
GH pages fix

#60 nwf-msr closed 4 months ago
0
Publish built PDF to GitHub Pages

#59 nwf-msr closed 4 months ago
1
Adding RISC-V Vector support for CHERIoT

#58 vmurali closed 1 month ago
8
This avoids a deprecations warning from Sail

#57 marnovandermaas closed 4 months ago
0
Type error while building with upstream Sail

#56 marnovandermaas closed 4 months ago
4
misa reports incorrect value in Sail

#55 rmn30 opened 5 months ago
1
Create backward sentries for function returns and add more checks in cjalr

#54 vmurali closed 6 months ago
31
Tweak to CODE_OF_CONDUCT.md directing employees to moderation support…

#53 rmn30 closed 6 months ago
0
Use dev version of sail from github for CI.

#52 rmn30 closed 6 months ago
2
Fix doc comment whitespace.

#51 rmn30 closed 7 months ago
0
Include HINT encodings in build

#50 elliotb-lowrisc closed 7 months ago
0
Document stack high water mark.

#49 rmn30 closed 7 months ago
1
Some minor textual changes to the RISC-V chapter

#48 marnovandermaas closed 8 months ago
0
Add archdoc build instructions

#47 marnovandermaas closed 7 months ago
0
v2? Permuted capability encoding optimized for 33-bit busses

#46 nwf-msr opened 8 months ago
0
Optimise bounds encoding

#45 rmn30 opened 8 months ago
1
Fix two minor mis-specifications in capability load

#44 nwf-msr closed 8 months ago
3
v2? cgp as SCR

#43 nwf-msr opened 9 months ago
1
v2: Split sentries by direction

#42 nwf-msr closed 4 months ago
1
v2? isentry support

#41 nwf-msr opened 9 months ago
0
CSub redundant?

#40 rmn30 opened 9 months ago
1
Libraries accessing Read/Write data through caps stored within PCC

#39 vmurali opened 9 months ago
4
Fix reversed T and B fields in the capability encoding diagram.

#38 rmn30 closed 9 months ago
0