telic/.gitignore at dev · free-variation/telic · 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
# Prerequisites
*.d

# Object files
*.o
*.ko
*.obj
*.elf

# Linker output
*.ilk
*.map
*.exp

# Precompiled Headers
*.gch
*.pch

# Libraries
*.lib
*.a
*.la
*.lo

# Shared objects (inc. Windows DLLs)
*.dll
*.so
*.so.*
*.dylib

# Executables
*.exe
*.out
*.app
*.i*86
*.x86_64
*.hex

# Debug files
*.dSYM/
*.su
*.idb
*.pdb

# Kernel Module Compile Results
*.mod*
*.cmd
.tmp_versions/
modules.order
Module.symvers
Mkfile.old
dkms.conf

# debug information files
*.dwo

# patch(1) leftovers from applying tools/patches/ over a vendored tree
*.orig
*.rej
telic
.DS_Store

# cached upstream leibniz.py benchmark reference (fetched on demand)
bench/.leibniz_ref.py
bench/big.json
bench/*.log
bench/*.md

.claude
.telic_history
telic.wasm

# transient benchmark run reports / logs
bench/results/
*__pycache_*

images-*

# doc-example golden trios, fully generated by tools/gen-docs-tests.py
tests/9*_docs_*
tests/lib/9*_docs_*

# the language pack, fully generated by tools/gen-pack.py (make pack)
telic-pack.md
llms.txt
generated

# python venv for tools/run-acceptance.py (anthropic SDK)
.venv