From 38b896349359cf9dc5eab278786f981e14b25e40 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 23 Apr 2021 13:36:25 +0100
Subject: [PATCH] add .gitignores

---
 src/openpower/decoder/formal/.gitignore | 1 +
 src/openpower/decoder/pseudo/.gitignore | 2 ++
 src/openpower/decoder/test/.gitignore   | 2 ++
 3 files changed, 5 insertions(+)
 create mode 100644 src/openpower/decoder/formal/.gitignore
 create mode 100644 src/openpower/decoder/pseudo/.gitignore
 create mode 100644 src/openpower/decoder/test/.gitignore

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
-- 
2.30.2