Kanillian (Alternative C Instantiation)

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. Kanillian is currently built to work with CBMC version 5.14.3 – newer versions are known to cause problems.