From: Michael Nolan <mtnolan2640@gmail.com>
Date: Tue, 28 Jan 2020 16:56:34 +0000 (-0500)
Subject: Update gitignore in formal directories to ignore proof folders
X-Git-Tag: ls180-24jan2020~316
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98ef4017eb1e8444a54418f25847b7923ee29332;p=ieee754fpu.git

Update gitignore in formal directories to ignore proof folders
---

diff --git a/src/ieee754/fpmax/formal/.gitignore b/src/ieee754/fpmax/formal/.gitignore
new file mode 100644
index 00000000..e09c6d40
--- /dev/null
+++ b/src/ieee754/fpmax/formal/.gitignore
@@ -0,0 +1 @@
+proof*/**
diff --git a/src/ieee754/fsgnj/formal/.gitignore b/src/ieee754/fsgnj/formal/.gitignore
new file mode 100644
index 00000000..e09c6d40
--- /dev/null
+++ b/src/ieee754/fsgnj/formal/.gitignore
@@ -0,0 +1 @@
+proof*/**