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
# Generated by Cargo
# will have compiled files and executables
debug
target
# These are backup files generated by rustfmt
**/*.rs.bk
# MSVC Windows builds of rustc generate these, which store debugging information
*.pdb
# Generated by cargo mutants
# Contains mutation testing data
**/mutants.out*/
# RustRover
# JetBrains specific template is maintained in a separate JetBrains.gitignore that can
# be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
# and can be added to the global gitignore or merged into this file. For a more nuclear
# option (not recommended) you can uncomment the following to ignore the entire idea folder.
#.idea/
# Added by cargo
/target
# Batuta runtime state
.batuta-state.json
.batuta-private.toml
# mdBook build output
book/book/
proptest-regressions/
# PMAT
.pmat/backup/
.pmat/hooks-cache/
.pmat/dead-code-cache.json
.pmat/project.toml
.pmat-qa/
# PMAT work tracking (local only)
.pmat-work/
.pmat-work.toml
.pmat-tickets/
# PMAT
.pmat/context.idx/
.pmat/workspace.idx/
.pmat/deps-cache.json
.pmat/context.db
.pmat/workspace.db
.pmat/bug-hunter-cache/
.pmat/coverage-cache.json
*.bak
.pmat/metrics/
.pmat-metrics/
book/.pmat/
.cargo/config.toml
src/generated_contracts.rs
# Provable-contracts lint cache
.pv/