·
1 commit
to morello-csa-llvm-14
since this release
- Move to LLVM 14
- Improvements for optin.PointerAlignment checker
- New cheri.SubObjectRepresentability checker
- New alpha.cheri.Allocation checker
- CHERI API modelling