blob: 1905d88e5c28a0aa9399e80ecdb011dd6b6f879c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
syntax: regexp
^Source/t$
^Source/_ReSharper\.Boogie$
^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
^.*(bin|obj)/([^/]*/)?(Debug|Release)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
Test/([^/]*)/Output
Test/([^/]*)/([^/]*)\.sx
Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/out\.cs
^.*~$
syntax: glob
BCT/TestResults/
BCT/testimpactdata.sdf
|
