diff options
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/.gitignore | 3 | ||||
-rw-r--r-- | src/theory/arith/.gitignore | 2 | ||||
-rw-r--r-- | src/theory/arrays/.gitignore | 2 | ||||
-rw-r--r-- | src/theory/booleans/.gitignore | 1 | ||||
-rw-r--r-- | src/theory/bv/.gitignore | 2 | ||||
-rw-r--r-- | src/theory/uf/.gitignore | 2 |
6 files changed, 12 insertions, 0 deletions
diff --git a/src/theory/.gitignore b/src/theory/.gitignore new file mode 100644 index 000000000..daddcd51e --- /dev/null +++ b/src/theory/.gitignore @@ -0,0 +1,3 @@ +/.deps +/Makefile.in +/theoryof_table.h diff --git a/src/theory/arith/.gitignore b/src/theory/arith/.gitignore new file mode 100644 index 000000000..15fb9b26d --- /dev/null +++ b/src/theory/arith/.gitignore @@ -0,0 +1,2 @@ +/Makefile.in +/.deps diff --git a/src/theory/arrays/.gitignore b/src/theory/arrays/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/src/theory/arrays/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in diff --git a/src/theory/booleans/.gitignore b/src/theory/booleans/.gitignore new file mode 100644 index 000000000..10a7e8d6c --- /dev/null +++ b/src/theory/booleans/.gitignore @@ -0,0 +1 @@ +/Makefile.in diff --git a/src/theory/bv/.gitignore b/src/theory/bv/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/src/theory/bv/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in diff --git a/src/theory/uf/.gitignore b/src/theory/uf/.gitignore new file mode 100644 index 000000000..15fb9b26d --- /dev/null +++ b/src/theory/uf/.gitignore @@ -0,0 +1,2 @@ +/Makefile.in +/.deps |