java-smt/.gitignore at master · PaulMeng/java-smt · 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
.idea/workspace.xml
.factorypath

/bin
/lib/java
/lib/java-contrib
/lib/*.jar
/lib/java/build/*.jar
/lib/java/checkstyle/*.jar
/lib/java/findbugs/*.jar
/lib/java/runtime/*.jar
/lib/java/test/*.jar
lib/native/source/libz3j/org_sosy_lab_solver_z3_Z3NativeApi.c
lib/native/source/*/*.so
lib/native/source/*/*.o

/ivy-*.xml
/common-*.jar
/TEST-*.txt
/junit
/JUnit.html
/JUnit-coverage
/Checkstyle.html
/Checkstyle.xml
/Checkstyle.Test.html
/Checkstyle.Test.xml
/FindBugs.html
/FindBugs.xml
/FindBugs.diff.html
/FindBugs.diff.xml
/Javadoc
/gh-pages

.idea/workspace.xml
.idea/uiDesigner.xml

/*.so
/*.jar

build.properties
/.apt-generated/
/repository

pom.xml