RustCompute/.gitignore at main · mivertowski/RustCompute · GitHub

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
# 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/
.env
docs/PLAN-accounting-analytics.md
docs/ringkernel-executive-overview.aux
docs/ringkernel-executive-overview.log
docs/ringkernel-executive-overview.out
docs/ringkernel-executive-overview.toc

# TLA+ / TLC artifacts
docs/verification/tla2tools.jar

# Validation run logs (b200-validate.sh, benchmarks)
/logs/
docs/verification/states/

# LaTeX intermediates from paper figures
docs/paper/figures/*.aux
docs/paper/figures/*.log
docs/paper/figures/*.out