Add kani logo (#1157)

* Add kani logo * Update copyright exclude to include .ico files
model-checking · May 4, 2022 · e3af7d2 · e3af7d2
1 parent 0d6644e
commit e3af7d2
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# Kani Rust Verifier
+![](./kani-logo.png)
 
 The Kani Rust Verifier is a bit-precise model checker for Rust.
 

diff --git a/favicon.ico b/favicon.ico
diff --git a/kani-logo.png b/kani-logo.png
diff --git a/scripts/ci/copyright-exclude b/scripts/ci/copyright-exclude
@@ -1,5 +1,6 @@
 .clang-format
 .diff
+.ico
 .md
 .png
 .props
@@ -14,4 +15,4 @@ gitignore
 gitmodules
 ignore
 scripts/ci/copyright-exclude
-tools/make-kani-release/license-notes.txt
+tools/make-kani-release/license-notes.txt