Gitignore: ignore more things

gww-parity · May 18, 2021 · 524380b · 524380b
1 parent 0044730
commit 524380b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,15 @@
+/bin
+/downloads
+/experiments
+/runtime/build
+
 Cargo.lock
 target/
 kleeout/
+klee-out-*
+klee-last
+*.bc
+*.ll
+*.o
 .*un~
 .*swp