Kanillian (New Gillian-C)

Danger

Kanillian is currently in development and unstable.

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

Kanillian requires CBMC to be present on your path.

Attention

Kanillian is currently built to work with CBMC version 5.14.3 - newer versions are known to cause problems.