You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This snapshot contains the artefact for our CPP2022 paper: "Overcoming Restraint: Composing Verification of Foreign Functions with Cogent".
The artefact is located in cogent/examples/cpp2022-artefact.
