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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
# Rust
/target/
**/*.rs.bk
*.pdb
# Cargo
Cargo.lock
# IDE
.vscode/
.idea/
*.swp
*.swo
*~
# OS
.DS_Store
Thumbs.db
# Testing
*.profraw
*.profdata
*.proptest-regressions
proptest-regressions/
# Profiling artifacts
perf.data
perf.data.old
flamegraph.svg
flamegraph_*.svg
flamegraphs/
perf.data*
perf-*.data*
# Benchmark results and logs
*_results.log
*_results.txt
*_bench.log
*_run.log
*_optimized.log
*_optimized.txt
baseline_*.txt
backend_comparison_*.txt
fuzzy_map_*.txt
hierarchical_scope_*.txt
query_iterator_*.txt
bench_results_*.txt
eviction_wrapper_bench_*.txt
rayon_eval_*.txt
batch*_*.txt
*_analysis.md
fuzzy_multimap_*.txt
fuzzy_multimap_*.md
docs/research/artrie/perf-reports/*.txt
# Analysis scripts (temporary/development)
analyze_*.py
extract_*.sh
profile_*.sh
benchmark_*.sh
# LaTeX artifacts (documentation generation)
*.aux
*.log
*.out
*.toc
*.tex
*latex*.py
generate_latex_doc.py
liblevenshtein-rust-doc.pdf
# Test corpora (downloaded on-demand, not committed)
data/corpora/*.txt
data/corpora/*.dat
data/corpora/*.zip
data/corpora/birkbeck/
data/generated/
rocq/**/.lia.cache
rocq/**/*.vo
rocq/**/*.vok
rocq/**/*.vos
rocq/**/*.glob
rocq/**/Makefile
rocq/**/Makefile.conf
rocq/**/.Makefile.d
# Rocq/Coq verification artifacts
docs/verification/**/.lia.cache
docs/verification/**/*.vo
docs/verification/**/*.vok
docs/verification/**/*.vos
docs/verification/**/*.glob
docs/verification/**/.*.aux
docs/verification/**/html/
docs/verification/**/extracted/
docs/verification/**/Makefile
docs/verification/**/Makefile.conf
docs/verification/**/Makefile.coq
docs/verification/**/Makefile.coq.conf
docs/verification/**/.Makefile.coq.d
docs/verification/**/.Makefile.d
# Profiling artifacts
*.perf.data
*.perf.data.old
perf.data*
flamegraph.svg
.lia.cache
*.bak
# Generated optimization artifacts
docs/optimization/*.txt
perf.data*
# Formal Verification - TLA+
formal-verification/tla+/states/
docs/formal/states/
# Formal Verification - Rocq/Coq
formal-verification/rocq/.depend
formal-verification/rocq/.lia.cache
formal-verification/rocq/**/*.vo
formal-verification/rocq/**/*.vok
formal-verification/rocq/**/*.vos
formal-verification/rocq/**/*.glob
formal-verification/rocq/**/.*.aux
# ThreadSanitizer suppressions (generated)
tsan-suppressions.txt
.aider*
# Coverage outputs
target/coverage/
lcov.info
cobertura.xml
.pgmcp.toml
.claude/worktrees/