-
Notifications
You must be signed in to change notification settings - Fork 96
/
.gitignore
92 lines (80 loc) · 1.43 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
# This file should only ignore things that are generated during a `x.py` build,
# generated by common IDEs, and optional files controlled by the user that
# affect the build (such as config.toml).
# In particular, things like `mir_dump` should not be listed here; they are only
# created during manual debugging and many people like to clean up instead of
# having git ignore such leftovers. You can use `.git/info/exclude` to
# configure your local ignore list.
## File system
.DS_Store
desktop.ini
## Editor
*.swp
*.swo
Session.vim
.cproject
.idea
toolchains/
*.iml
.vscode
.project
.favorites.json
.settings/
## Tool
.valgrindrc
## Configuration
/config.toml
/Makefile
config.mk
config.stamp
no_llvm_build
## Build
/dl/
/doc/
/inst/
/llvm/
/mingw-build/
/build/
/dist/
/unicode-downloads
/target
/tools/x/target
# Generated by compiletest for incremental
/tmp/
# Created by default with `src/ci/docker/run.sh`
/obj/
# Created by kani-compiler
*.rlib
*.rmeta
*.mir
## Temporary files
*~
\#*
\#*\#
.#*
## Tags
tags
tags.*
TAGS
TAGS.*
## Python
__pycache__/
*.py[cod]
*$py.class
## Node
node_modules
package-lock.json
## Rustdoc GUI tests
tests/rustdoc-gui/src/**.lock
## Charon/Aeneas LLBC files
*.llbc
# Before adding new lines, see the comment at the top.
/.ninja_deps
/.ninja_log
*Cargo.lock
tests/kani-dependency-test/diamond-dependency/build
tests/kani-multicrate/type-mismatch/mismatch/target
/docs/book
/docs/gen_src
/docs/mdbook*
/kani-*.tar.gz