blob: 46d9d26941a3e37975d75653d3699a371960304d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
syntax: regexp
^Source/t$
^Source/_ReSharper\.Boogie$
^(Source|BCT|Jennisys)/.*\.(user|suo|cache|vs10x)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
^Chalice/tests/(examples|permission-model|refinements|general-tests|regressions|predicates)/.*\.bpl
Test/.*/Output
Test/([^/]*)/([^/]*)\.sx
Test/(dafny0|dafny1|dafny2|VSI-Benchmarks|vacid0|VSComp2010|vstte2012)/(out\.cs|.*\.dll|.*\.pdb|.*\.exe|.*\.tmp.*)
Test/desktop/
^.*~$
syntax: glob
BCT/TestResults/
BCT/testimpactdata.sdf
backup.diff
BCT/Samples/CodeCounter/console/ClassDiagram1.cd
Jennisys/Jennisys/examples/bak
Chalice/project/boot
Chalice/project/target
Chalice/target
Chalice/bin
Chalice/scripts/create_release/release
BCT/InternalBCT.sln
*.pyc
*.dll.mdb
*.exe.mdb
*.pidb
*.userprefs
Binaries/Dafny.suo
|
