nyu-acsys/flows-iris

Formalization of the flow framework in Iris

Flows in Iris

Formalization of the flow framework in the separation logic Iris.