Gillian-C2

Danger

Gillian-C2 is currently in development and unstable.

Gillian-C2 is a new instantiation of Gillian to the C language (or more precisely, CBMC's GOTO-C). It can be found in the Gillian-C2 folder of the repository.

Gillian-C2 requires CBMC to be present on your path. Gillian-C2 is currently built to work with CBMC version 5.14.3 -- newer versions are known to cause problems.