This is a developer copy of Kani. DO NOT USE this repository. History can be edited, and branches can be deleted at any point.
Latest commits.
Builders behind this project.
