devel/llvm-morello-csa: new snapshot - Githubissues

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.

https://CheriBSD.org

Other

5 stars 10 forks source link

devel/llvm-morello-csa: new snapshot #164

Closed eupharina closed 3 months ago

eupharina commented 3 months ago

Move to LLVM 14
Improvements for optin.PointerAlignment checker
New cheri.SubObjectRepresentability checker
New alpha.cheri.Allocation checker
CHERI API modelling