cpp2022

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.

Cogent Compiler (2151)

Fix for bilby verification (partly reverting 4c2d7f0f0a2)

This possibly breaks stuff: this change certainly had
a purpose?

Stable version 2.0.5

This release is based on our ICFP'16 material, with some minor fixes in varies places.

ICFP'16 Auxiliary Materials

This snapshot contains the auxiliary materials for our ICFP'16 paper: Refinement through Restraint: Bringing Down the Cost of Verification

ITP'16 Auxiliary Materials

This snapshot contains the auxiliary materials for our ITP'16 paper: A Framework for the Automatic Formal Verification of Refinement from Cogent to C