-
Notifications
You must be signed in to change notification settings - Fork 25
/
.gitignore
128 lines (108 loc) · 2.15 KB
/
.gitignore
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.so
# Latex #
###################
*.aux
*.idx
*.out
*.toc
*.bbl
*.blg
*.ilg
*.ind
*.fdb_latexmk
# Apache Velocity #
velocity.*
# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built in compression methods
*.7z
*.dmg
*.gz
*.iso
*.jar
*.rar
*.tar
*.zip
# Logs and databases #
######################
*.log
*.sql
*.sqlite
nextGenLog.*
# OS generated files #
######################
.DS_Store*
ehthumbs.db
Thumbs.db
# The next exclusion as broadly targets the OS X icon file "Icon\r"
# (that's a carriage return, or ^M, at the end). It's overbroad,
# killing any file whose name is 5 characters long, starting with Icon
# and ending with a character not alphanumeric or -. We'll tighten it
# up if we need to. We're doing it this way as inserting the precise
# filename (using control characters) doesn't always survive across
# OSes and edits. -jwc/6June2013
Icon[^-0-9a-zA-Z]
!Icon*/
# Backup files #
################
*~
.#*
\#*#
# maven target directories #
############################
target/
# eclipse noise #
#################
.metadata/
.classpath
.settings/
.metadata/
.project
bin
.factorypath
# Intellij metadata #
#####################
*.iml
.idea
# Added by Jenkins for local mvn repos #
########################################
.repository/
# same, but by Joey on local builds
repository/
# Java files created by ASTgen &c #
###################################
/core/parser/bin
/core/ast/out.svg
/testdata
# Generated by Overture #
#########################
generated/
# Documents copied into the help plugin #
#########################################
ide/help/html/OvertureIDEUserGuide.pdf
ide/help/html/QuickOverviewofVDMOperators.pdf
ide/help/html/VDM10_lang_man.pdf
# VDM Libraries copied into the UI plugin #
###########################################
ide/ui/includes/lib/
# Vim Swap Files #
##################
*.swp
*.useq
documentation/sequence1.png
documentation/UML main.png
documentation/sequence2.png
documentation/sequence3.png
documentation/sequence4.png
documentation/UML main.ucls
# Emacs related #
#################
.meghanada/