summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 760d6d973fabfa8ee95592745c2d8ce2e2c4548b (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
# Nuget
Source/packages/*

# Tests
Source/UnitTests/TestResult.xml
Source/UnitTests/*/bin
Source/UnitTests/*/obj
Test/*/Output
TestResult.xml

# Binaries
Source/*/bin
Source/*/obj
Source/Provers/*/bin
Source/Provers/*/obj
Binaries/*.dll
Binaries/*.mdb
Binaries/*.exe
Binaries/*.pdb
Binaries/*.config

# Editor temporary files
.*.swp

# Visual Studio files
Source/_ReSharper.Boogie
Source/Provers/*/*.user
Source/*/*.user
Source/*.user
Source/*.suo
Source/*.cache