llvm-morello-csa-14.0.d20240614

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

13.0.d20240318

Improved PointerAlignmentChecker

llvm-morello-csa-13.0.d20231117

[CHERI_CSA] ProvenanceSource: suppress with -Wno-cheri-provenance

If [-Wcheri-provenance] compiler warning is disabled, do not emit
ambiguous provenance warning for cases when the default choice of
LHS as a source of provenance will probably be fine.

Binary operations with provenance-carrying RHS are reported anyway,
as this may indicate a real bug.

llvm-morello-csa-13.0.d20231102

[CHERI_CSA] CapabilityCopyChecker: fix infinite recursion

llvm-csa-0.0.0

v0.0.0

[CHERI_CSA] Enable alpha.core.PointerSub by default for CHERI