From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 23 Apr 2021 12:36:25 +0000 (+0100)
Subject: add .gitignores
X-Git-Tag: 0.0.1~47
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=38b896349359cf9dc5eab278786f981e14b25e40;p=openpower-isa.git

add .gitignores
---

diff --git a/src/openpower/decoder/formal/.gitignore b/src/openpower/decoder/formal/.gitignore
new file mode 100644
index 00000000..37ad79e3
--- /dev/null
+++ b/src/openpower/decoder/formal/.gitignore
@@ -0,0 +1 @@
+proof_*/**
diff --git a/src/openpower/decoder/pseudo/.gitignore b/src/openpower/decoder/pseudo/.gitignore
new file mode 100644
index 00000000..5e129850
--- /dev/null
+++ b/src/openpower/decoder/pseudo/.gitignore
@@ -0,0 +1,2 @@
+parser.out
+parsetab.py
diff --git a/src/openpower/decoder/test/.gitignore b/src/openpower/decoder/test/.gitignore
new file mode 100644
index 00000000..98f59684
--- /dev/null
+++ b/src/openpower/decoder/test/.gitignore
@@ -0,0 +1,2 @@
+*.bin
+*.o