projects / ieee754fpu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: be42efd)
Update gitignore in formal directories to ignore proof folders
authorMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 16:56:34 +0000 (11:56 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 19:53:47 +0000 (14:53 -0500)
src/ieee754/fpmax/formal/.gitignore [new file with mode: 0644] patch | blob
src/ieee754/fsgnj/formal/.gitignore [new file with mode: 0644] patch | blob

diff --git a/src/ieee754/fpmax/formal/.gitignore b/src/ieee754/fpmax/formal/.gitignore
new file mode 100644 (file)
index 0000000..e09c6d4
--- /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 (file)
index 0000000..e09c6d4
--- /dev/null
+++ b/src/ieee754/fsgnj/formal/.gitignore
@@ -0,0 +1 @@
+proof*/**