.clang-format
.diff
.ico
.md
.png
.props
.public.key
CHANGELOG
Cargo.lock
LICENSE-APACHE
LICENSE-MIT
editorconfig
expected
gitattributes
gitignore
gitmodules
ignore
kani-dependencies
requirements.txt
scripts/ci/copyright-exclude
tests/remote-target-lists/.*
tools/build-kani/license-notes.txt