# Change Log

All notable changes to the "Kani" extension will be documented in this file.

## [Unreleased]

- Initial release