From 2a1e21d5f74d8ea47136de5e6558e9a6abe31468 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Tue, 21 Jul 2015 13:20:13 -0700 Subject: Add Test/sandbox/* to .hgignore --- .hgignore | 1 + 1 file changed, 1 insertion(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index ecf4ed7b..22173264 100644 --- a/.hgignore +++ b/.hgignore @@ -6,6 +6,7 @@ syntax: regexp Test/.*/Output Test/desktop/.* Test/([^/]*)/([^/]*)\.sx +^Test/sandbox/.* syntax: glob *.exe *.pdb -- cgit v1.2.3 From 594809c6668c26c3b838153ba4a4222ebef3312d Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Fri, 31 Jul 2015 14:30:48 -0700 Subject: Update .ignore --- .hgignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index 22173264..de39514d 100644 --- a/.hgignore +++ b/.hgignore @@ -7,6 +7,7 @@ Test/.*/Output Test/desktop/.* Test/([^/]*)/([^/]*)\.sx ^Test/sandbox/.* +^Test/.*\.csv syntax: glob *.exe *.pdb @@ -14,3 +15,4 @@ syntax: glob *.tmp *.tmp.dfy Source/DafnyExtension/DafnyRuntime.cs +Test/failing.lst -- cgit v1.2.3 From ea5592cb3fade85b31a28a3119f5e637da47e72a Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 22 Aug 2015 15:40:48 -0700 Subject: Ignore flycheck_ and .orig files --- .hgignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index de39514d..667378b0 100644 --- a/.hgignore +++ b/.hgignore @@ -8,6 +8,8 @@ Test/desktop/.* Test/([^/]*)/([^/]*)\.sx ^Test/sandbox/.* ^Test/.*\.csv +Test/.*/flycheck_.* +.*\.orig syntax: glob *.exe *.pdb -- cgit v1.2.3 From 994a151bc3646b76283b1d5fafdb91a5a26c821c Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 22 Aug 2015 23:59:00 -0700 Subject: Ignore .bpl files in the Test directory --- .hgignore | 1 + 1 file changed, 1 insertion(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index 667378b0..f2275660 100644 --- a/.hgignore +++ b/.hgignore @@ -10,6 +10,7 @@ Test/([^/]*)/([^/]*)\.sx ^Test/.*\.csv Test/.*/flycheck_.* .*\.orig +Test/.*\.bpl syntax: glob *.exe *.pdb -- cgit v1.2.3 From 4119a14a906c3331921c4a44d84bdd30b3628af5 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sun, 23 Aug 2015 00:07:43 -0700 Subject: Exclude axiom-profiler.html and z3.log files in the Test directory --- .hgignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index f2275660..f082897f 100644 --- a/.hgignore +++ b/.hgignore @@ -11,6 +11,8 @@ Test/([^/]*)/([^/]*)\.sx Test/.*/flycheck_.* .*\.orig Test/.*\.bpl +Test/.*/axiom-profiler.html +Test/.*/z3.log syntax: glob *.exe *.pdb -- cgit v1.2.3 From 9af54a6c618dd71bac8b00822a434db830efdc4d Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Mon, 24 Aug 2015 03:14:08 -0700 Subject: Add the Package folder to .hgignore --- .hgignore | 1 + 1 file changed, 1 insertion(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index de39514d..0c0fdbfd 100644 --- a/.hgignore +++ b/.hgignore @@ -8,6 +8,7 @@ Test/desktop/.* Test/([^/]*)/([^/]*)\.sx ^Test/sandbox/.* ^Test/.*\.csv +Package/.* syntax: glob *.exe *.pdb -- cgit v1.2.3 From 13986f209b6e49031aa53346e96bc517c0ad5e75 Mon Sep 17 00:00:00 2001 From: wuestholz Date: Mon, 2 Nov 2015 12:30:56 -0600 Subject: Add some files to .hgignore. --- .hgignore | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index 9fc841bd..a52bee3a 100644 --- a/.hgignore +++ b/.hgignore @@ -1,6 +1,6 @@ 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 @@ -21,4 +21,6 @@ syntax: glob *.tmp *.tmp.dfy Source/DafnyExtension/DafnyRuntime.cs +Source/DafnyExtension/Z3-LICENSE.txt Test/failing.lst +packages/* -- cgit v1.2.3