webdsls/.gitignore at master · danielratiu/webdsls · GitHub

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
# -----------------------------------------------------------
# General


*.class

.idea
.gradle
code\languages\com.mbeddr.formal.nusmv\.mps\workspace.xml
code\languages\com.mbeddr.formal.spin\.mps\workspace.xml

junitvmwatcher*.properties
build.properties
TEST-*.xml
junit*.properties
/gradle.properties

classes_gen
source_gen
source_gen.caches
pan_verifier_bin
result_gen
jimple_gen

workspace.xml

# -----------------------------------------------------------
# * tests
test_gen
test_gen.caches

# ---------------------------------------
# RCP
artifacts/*
build/*
build.xml
buildDistribution.xml
/build-nusmv-languages.xml
/build-fasten-distribution.xml


# ---------------------------------------
# Generated by gradle
**/.mps/libraries.xml