-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy path.gitignore
More file actions
138 lines (117 loc) · 2.06 KB
/
Copy path.gitignore
File metadata and controls
138 lines (117 loc) · 2.06 KB
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
# Build artifacts
build/
*.o
*.a
*.so
*.dylib
*.exe
a.out
ariac
# Test artifacts and scratch files
test_*.aria
test_*.cpp
test_*.ll
test_*.s
*.bak
*.bk2
*.backup*
*.orig
*.tmp
*.swp
*~
# Exception: package test files in structured packages
!aria_ecosystem/aria_packages/*/tests/test_*.aria
# Exception: all tests in the tests/ directory should be tracked
!tests/**/test_*.aria
!tests/**/test_*.cpp
test_*.bin
# Compiled test binaries in tests/ (ELF files, no extension)
tests/test_arena
tests/test_binary
tests/test_hexstream
tests/test_net
tests/test_pool
tests/test_pipe
tests/test_process
tests/test_signal
# Code coverage
*.gcda
*.gcno
*.gcov
coverage.info
coverage_html/
# Backup files
*.backup
*.broken
*~
.*.swp
backups/
archive/
# IDE files
.vscode/
.idea/
*.code-workspace
# Compiled output
output.ll
output.s
# Python cache
__pycache__/
*.pyc
# Debug/check scripts
check_*.cpp
find_*.cpp
enum_val.cpp
debug_*.cpp
# Crash logs
*.log
build/CMakeFiles/**/*.o
#ideas
ideas/
build_asan/
# ML model checkpoints and weights (too large for git — use separate storage)
tools/aria_specialist_model/
tools/aria_specialist_model_prev/
tools/aria_specialist_model_*/
tools/aria_specialist_qwen7b_*/
*.safetensors
*.pt
*.pth
training.log
# Compiled test output binaries (no extension) at repo root
# These are produced by ariac during development/testing
/test_*
test_results/
# Compiler debug output and scratch log files at root
/1
/compile_out.txt
/batch02_output.txt
/comprehensive_test_output.log
# PTX / CUDA outputs (generated files)
*.ptx
build_tmp/
tools/aria-fs/aria-fs
test_rules_limit_check
test_z3_*
!tests/test_z3_*.aria
benchmarks/out/
# Formal-method validation generated artifacts
/output.db
/tools/alive2/ir_cache/
/tools/alive2/results/
/tools/esbmc/results/
/tools/frama-c/results_*/
/tools/ikos/results/
/tools/ikos/__pycache__/
/k-semantics/.build/
build-cov/
build-sbcov/
# v0.31.10.x cross-module return-borrow inference sidecar (build artifact)
*.npksummary
out.ll
patch_debug.sh
k-semantics/nitpick-kompiled/
build_ci/
ci_log.txt
tmp.*
# Rogue script protection
*.py