This repository has been archived by the owner on Feb 20, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.gitignore
182 lines (142 loc) · 4.44 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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
# -----------------------------------------------------------
# General
#local log file for MPS
**/nohup.out
#MPS Settings
**/.mps/workspace.xml
#generated files
**/*.class
**/*.info
*.info
*.class
**/source_gen/*
**/source_gen.caches/*
**/classes_gen/*
distros/*
MPS/*
mps-distrib/*
artifacts/*
.ant_targets
.DS_Store
.metadata
.svn
*.synctex.gz
*.aux
*.log
*.*.synctex.gz
*.*.aux
*.*.log
.idea
junitvmwatcher*.properties
build.properties
TEST-*.xml
junit*.properties
classes_gen
source_gen
source_gen.caches
result_gen
# -----------------------------------------------------------
# Type Size Config
code/languages/com.mbeddr.build/_spreferences
code/languages/com.mbeddr.mpsutil/_spreferences
# -----------------------------------------------------------
# * build
build/*/build
build/allInOne
# -----------------------------------------------------------
# * diagrams
code/languages/com.mbeddr.core/diagrams/*.dot
code/languages/com.mbeddr.core/diagrams/*.gv
code/languages/com.mbeddr.core/diagrams/*.png
code/languages/com.mbeddr.ext/diagrams/*.dot
code/languages/com.mbeddr.ext/diagrams/*.gv
code/languages/com.mbeddr.ext/diagrams/*.png
# -----------------------------------------------------------
# * lib - here we seem to need the generated sources.
code/languages/*/lib/*/classes_gen
code/languages/*/lib/*/source_gen.caches
/Users/levilucio/fortiss/language_verification/DSLTrans/solutions/RunnerPlugin/models/DSLTransVerif/config.mps
# -----------------------------------------------------------
# * tests
test_gen
test_gen.caches
analyses_results
# -----------------------------------------------------------
# * project settings
code/languages/*/*.iws
code/languages/*/build.properties
code/languages/*/TEST*.xml
# -----------------------------------------------------------
# applications
code/applications/*/*.iws
code/applications/*/build.properties
#-----------------------------------------------------------
# tests
code/languages/*/solutions/*/test_gen.caches/
code/languages/*/solutions/*/test_gen/
# -----------------------------------------------------------
# documents
deliverables/*/*.aux
deliverables/*/*.bbl
deliverables/*/*.blg
deliverables/*/*.dvi
deliverables/*/*.log
deliverables/*/*.out
deliverables/*/*.toc
documentation/*/*.aux
documentation/*/*.bbl
documentation/*/*.blg
documentation/*/*.dvi
documentation/*/*.log
documentation/*/*.out
documentation/*/*.toc
documentation/*/*.synctex.gz
documentation/userguide/*.pdf
documentation/build
# ----------------------------------------------------
# result files from the NuSMV unit tests
code/languages/com.mbeddr.ext/result.txt
code/languages/com.mbeddr.ext/result.xml
# ----------------------------------------------------
# result files from the cbmc unit tests
source_gentest.analyses.cbmc.testcode_nightly_nightly.html
# -----------------------------------------------------------
# tools
tools/zgrviewer/zgrviewerformps/target/*
tools/zgrviewer/zvtm-core-formps/target/*
# -----------------------------------------------------------
# compiled java classes within the ant-task eclipse workspace
ant-task-workspace/*/bin/
# -----------------------------------------------------------
# debugger test code
code/languages/com.mbeddr.debugger/tests/test.debugger.cdt/testcode/a.*
code/languages/com.mbeddr.debugger/tests/test.debugger.cdt/testcode/*.exe
code/languages/com.mbeddr.debugger/tests/test.debugger.cdt/testcode/debuggableTest*
code/languages/com.mbeddr.debugger/tests/test.debugger.cdt/testcode/debuggableTest
code/languages/com.mbeddr.debugger/tests/test.debugger.cdt/testcode/
# other test resources
code/languages/com.mbeddr.mpsutil/tests/test.com.mbeddr.mpsutil.iconchar/icons/
#Some local script (not to be shared)
code/languages/offline.sh
# -----------------------------------------------------------
# CBMC analyses results temporary files
code/*/xmlCBMCRawOutput/*
build/**/*.xml
build/*/*.xml
build/com.mbeddr.allScripts/build.xml
# -----------------------------------------------------------
# tutorial build
build/com.mbeddr.tutorial/null/*.puml
applications/tutorial/solutions/mbeddr.tutorial.main/temp/
# -----------------------------------------------------------
# IntelliJ debugging info
*.iml
# Generated visualizations
*.puml
_vis/*.png
code/applications/tutorial/solutions/com.mbeddr.tutorial.documentation/_vis
tools/ant/ant-task-workspace/MakeTestsTask/out/artifacts
tools/ant/ant-task-workspace/TeamcityMakeTests/bin/com
code/plugins/sl-all/build-tests.xml
code/plugins/sl-all/build.xml
tmp