-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.gitignore
44 lines (34 loc) · 1.16 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
# -----------------------------------------------
# ---- GitIgnore ------------------------------
# ---- https://git-scm.com/docs/gitignore -----
# -----------------------------------------------
# Create gitignore files automatically for with
# https://www.toptal.com/developers/gitignore
# -----------------------------------------------
# ---- IDEs -----------------------------------
# -----------------------------------------------
.idea/
.vscode/
# -----------------------------------------------
# ---- Documentation --------------------------
# -----------------------------------------------
documentation/site
# -----------------------------------------------
# ---- Kernel ----------------------------------
# -----------------------------------------------
target/
proof
**/Cargo.lock
**/*.rs.bk
# -----------------------------------------------
# ---- Program Outputs -------------------------
# -----------------------------------------------
clause*.png
average.png
dnf*.png
*.png
output
# -----------------------------------------------
# ---- Data -----------------------------------
# -----------------------------------------------
data/*.json