-
Notifications
You must be signed in to change notification settings - Fork 25
/
.gitignore
131 lines (94 loc) · 2.3 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
#####################
# Synoptic
#####################
# Ignore directories with auto-generated files
synoptic/bin/*
synoptic/junit/*
synoptic/test-output/*
# Ignore the compiled jar file
lib/synoptic.jar
#####################
# SynopticGWT
#####################
# Manifest is generated automatically during build.
synopticgwt/META-INF/MANIFEST.MF
synopticgwt/war/WEB-INF/*
synopticgwt/www-test/*
synopticgwt/war/synopticgwt.SynopticGWT.JUnit/*
synopticgwt/war/synopticgwt/
synopticgwt/junit/
synopticgwt/war/model-exports/*
synopticgwt/war/uploaded-logfiles/*
synopticgwt/war/userlogfileexport/*
synopticgwt/.gwt/*
synopticgwt/.settings/*
synopticgwt/gwt-unitCache/
synopticgwt/test/**.class
synopticgwt/test-output/*
synopticgwt/derby/*
#####################
# SynopticJUNG
#####################
# Ignore directories with auto-generated files
synopticjung/bin/*
# Ignore the compiled jar file
lib/synopticjung.jar
#####################
# InvariMint
#####################
# Ignore directories with auto-generated files
InvariMint/bin/*
InvariMint/junit/*
InvariMint/test-output/*
# Ignore the compiled jar
lib/invarimint.jar
#####################
# CSight
#####################
# Ignore directories with auto-generated files
csight/bin/*
csight/junit/*
csight/test-output/*
# Ignore the compiled jar
lib/csight.jar
#Spin/Promela related.
csight/pan.*
csight/csight.pml
csight/csight.pml.trail
#####################
# Daikonizer
#####################
# Ignore directories with auto-generated files
daikonizer/bin/*
daikonizer/daikonizer_*.dtrace
daikonizer/daikonizer_*.inv.gz
# Ignore the compiled jar
lib/daikonizer.jar
#####################
# Perfume
#####################
# Ignore the compiled jar
lib/perfume.jar
#####################
# Other
#####################
# Ignore the mcscm distribution
mcscm-1.2/
# Ignore secondary binary files (e.g., derby tools)
bin/
# Ignore vim .swp files
.*.swp
# Ignore compiled py files
*.pyc
# Ignore any files in the output dir.
output/
# Ignore .orig files
*.orig
# ignore InvariMint benchmarking traces from icse13
traces/abstract/icse13-benchmarking-invarimint-traces/
# ignore ICSE14 traces from the BEAR framework (used in Perfume eval)
traces/FindYourHouseICSE14/
# ignore reverse traceroute traces
traces/ReverseTraceroute/
# ignore compiled distributions
distros/