File: .hgignore

package info (click to toggle)
dafny 2.3.0%2Bdfsg-0.1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 15,608 kB
  • sloc: cs: 69,676; python: 725; sh: 43; makefile: 40
file content (26 lines) | stat: -rw-r--r-- 561 bytes parent folder | download
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
syntax: regexp
^Source/.*\.(user|suo|cache|vs10x)$
^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
*.dll
*.tmp
*.tmp.dfy
Source/DafnyExtension/DafnyRuntime.cs
Source/DafnyExtension/Z3-LICENSE.txt
Test/failing.lst
packages/*