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

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