Specula/.gitignore at main · specula-org/Specula · 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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
# General
.DS_Store
*.log
*~
.vscode/
.idea/
.env
.specula

# Runtime logs
logs/

# Build output
results/
target/
experiments/syntax_phase/results/

# Python
__pycache__/
*.pyc
*.pyo
*.pyd
.Python
env/
venv/
pip-selfcheck.json
*.egg-info/

# Maven
.mvn/
pom.xml.tag
pom.xml.releaseBackup
pom.xml.versionsBackup
pom.xml.next
release.properties
dependency-reduced-pom.xml
buildNumber.properties
.m2/
archive/
lib/
!scripts/exp/ablation/lib/
tools/cfa/input/test
tools/cfa/output/test
data/repositories

# Embedded git repositories
systems/etcd/raft/
systems/asterinas/asterinas/
scripts/tlc-cmd/
data/workloads/**/spec/*_TTrace_*
data/workloads/**/code/
data/workloads/**/artifact/

# TLA+ generated files
*.st
*.fp
states/
traces
traces/
**/output/
output/autosave/
generation_summary.json
specula
models/

# claude
CLAUDE.md
TLA+Parser.md

# Experiment outputs (generated specs)
src/prompts/skill_doc/experiments/output_*/

# Java compiled files
*.class
*.jar
*.war
*.ear
*.nar
hs_err_pid*

# Test files and debug files
tools/cfa/Test*.java
tools/cfa/*Test*.java
tools/cfa/*Test*.class
tools/cfa/classpath.txt
tools/cfa/test_*.tla
tools/cfa/*Test*.tla
tools/cfa/input/debug_*.tla
tools/cfa/input/test_*.tla
tools/cfa/tests

*.mcp.json
.gemini/*
.claude/skills
.agents/skills
.github/skills
src/skills/.system

.venv/
venv/
env/
.envrc
nohup.out
!tools/inv_checking_tool/tests/test_data/nohup.out
counterexample.json
# Experiment runtime artifacts (keep scripts/prompts/configs)
scripts/exp/ablation/results/
scripts/exp/tasks_*.queue
scripts/exp/tasks-*.queue
scripts/exp/ablation/eval/