forked from spaceandtimelabs/sxt-proof-of-sql
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
66 lines (51 loc) · 974 Bytes
/
.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
# Generated by Cargo
# will have compiled files and executables
/target/
# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
Cargo.lock
# These are backup files generated by rustfmt
**/*.rs.bk
# latexpdf
protocols/*.aux
protocols/*.log
protocols/*.fdb_latexmk
protocols/*.fls
protocols/*.synctex.gz
#Added by osX
.DS_Store
protocols/.DS_Store
# ignore node files
node_modules*
# Added by cargo
/target
/Cargo.lock
# annoying mac artifacts
**.DS_Store
# Editor-specific
Session.vim
.vscode
.idea
# Measurements are really pretty huge and not necessary to store in the repo
measurements.json
# ignore python files
__pycache__/
*.py[cod]
*$py.class
temp-bench-results
# ignore release artifacts
*.tar.gz
*.tar
*.zip
*.aux
*.fdb_latexmk
*.fls
*.log
*.synctex.gz
*.out
*.pdf
# ignore proofs stuff
metastore_db
# forge test files
out
cache