forked from sosy-lab/java-smt
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
68 lines (59 loc) · 1.32 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
# This file is part of JavaSMT,
# an API wrapper for a collection of SMT solvers:
# https://github.com/sosy-lab/java-smt
#
# SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0
.factorypath
/bin
/lib/java
/lib/java-contrib
/lib/*.jar
/lib/java/build/*.jar
/lib/java/checkstyle/*.jar
/lib/java/spotbugs/*.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
lib/native/source/**/*.java
lib/native/*/*.asc
doc/Example-Maven-Project/target*
doc/Example-Maven-Web-Project/target*
doc/Example-Gradle-Project/.gradle
doc/Example-Gradle-Project/.settings
doc/Example-Gradle-Project/.project
doc/Example-Gradle-Project/dependencies
doc/Example-Gradle-Project/build
doc/Example-Gradle-Project-Kotlin/.gradle
doc/Example-Gradle-Project-Kotlin/.settings
doc/Example-Gradle-Project-Kotlin/.project
doc/Example-Gradle-Project-Kotlin/build
solvers_maven_conf/*.asc
/ivy-*.xml
/common-*.jar
/TEST-*.txt
/junit
/JUnit.html
/JUnit-coverage
/Checkstyle.html
/Checkstyle.xml
/Checkstyle.Test.html
/Checkstyle.Test.xml
/SpotBugs.html
/SpotBugs.xml
/SpotBugs.diff.html
/SpotBugs.diff.xml
/Javadoc
/Javadoc-z3
/gh-pages
.idea/
/*.so
/*.dll
/*.jar
build.properties
/.apt-generated/
/repository
pom.xml