Simple analysis infrastructure including deriving interference, mixed criticality, etc...#487

Open

gparmer wants to merge 5 commits intogwsystems:mainfrom gparmer:main

+733-13

Commits on Aug 23, 2024

Commits on Aug 25, 2024

NOT FUNCTIONAL: most of the logic is there, hook into the composer
gparmer
committed

Commits on Aug 26, 2024

composer analysis compiles
gparmer
committed

Commits on Aug 27, 2024

fix spacing that rustfmt cannot handle
gparmer
committed