synth/.gitignore at main · pulseengine/synth · 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
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
# 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/

# Build output artifacts
build/*.elf
build/*.bin

# Z3 trace files
.z3-trace
**/.z3-trace
external/sail-arm/
_build/

# Coq compilation artifacts
*.aux
*.glob
*.vo
*.vok
*.vos

# OCaml compilation artifacts
*.cmi
*.cmo
*.cmx
*.o
*.cma
*.cmxa
*.a

# Extracted files in wrong location
coq/theories/*.ml
coq/theories/*.mli
loom/

# Bazel local configuration (environment-specific)
.bazelrc.local
vendor.log

# Claude Code local settings (environment-specific)
.claude/settings.local.json

# Rivet external project cache
.rivet/

# Nix
result
result-*
.direnv/