X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=cce157d9722a7df4619d3f1357f5e142418478e3;hb=5e5b102bcf016b9a025c09a166df036f1e07277a;hp=ee28534dd7edb24f4ade229be0438fa5a9a6403c;hpb=7f68fcccf533d33e300057d131b5f55ae62c2ad5;p=openpower-isa.git

diff --git a/.gitignore b/.gitignore
index ee28534d..cce157d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 .*.sw?
+.*.py?
 __pycache__
 build
 dist
@@ -10,3 +11,6 @@ dist
 /jit_test.o
 /crtl*/
 /crtl*
+/formal_test_temp
+/test-out/
+*.iso