SysMoBench/.gitignore at main · sys-intelligence/SysMoBench · 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
# General
.DS_Store
*.log
*~
.vscode/
.idea/
.env

# Build output
results/
target/

# 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/
tools/cfa/input/test
tools/cfa/output/test

# Embedded git repositories
systems/etcd/raft/
systems/asterinas/asterinas/

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

# claude
CLAUDE.md
TLA+Parser.md
.claude/
workspaces/

# 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
data/repositories/
data/sys_traces/*
run_batch_experiments.sh
local_env_setup.sh
batch_logs

data/spec
data/source
data/gold_spec
data/trace_validation
data/error_classification
agents/specula
tlaplus/
liveness_failures_collection
data/human_eval
agents/agents*
experiments