diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:58:02 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:58:02 -0400 |
| commit | e67c951ad9c5c637e36a6f025ba3d6e3ad945416 (patch) | |
| tree | 0cfb5c339602e4bdebf4bf97f3f0ccc3923c14d1 /.hgignore | |
| parent | 000aa762e1fee4b9bd83ec3d7c8b61fd203e2c9d (diff) | |
| parent | df5c5f547990c1f80ab7594a1f9287ee03a61754 (diff) | |
Merge commit 'df5c5f5'
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -1,11 +1,19 @@ syntax: regexp
^Source/.*\.(user|suo|cache|vs10x)$
-^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef)$
+^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef|xml)$
^Source/.*\.(smt2|bpl)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
Test/.*/Output
Test/desktop/.*
Test/([^/]*)/([^/]*)\.sx
+^Test/sandbox/.*
+^Test/.*\.csv
+Package/.*
+Test/.*/flycheck_.*
+.*\.orig
+Test/.*\.bpl
+Test/.*/axiom-profiler.html
+Test/.*/z3.log
syntax: glob
*.exe
*.pdb
@@ -13,3 +21,6 @@ syntax: glob *.tmp
*.tmp.dfy
Source/DafnyExtension/DafnyRuntime.cs
+Source/DafnyExtension/Z3-LICENSE.txt
+Test/failing.lst
+packages/*
|