sentri-ir 0.1.2

Intermediate representation for Sentri invariant specifications
Documentation