hotstuff2/.gitignore at main · edgedlt/hotstuff2 · 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
# Binaries for programs and plugins
*.exe
*.exe~
*.dll
*.so
*.dylib

# Test binary, built with `go test -c`
*.test

# Output of the go coverage tool
*.out
coverage.out
coverage.html

# Dependency directories
vendor/

# Go workspace file
go.work

# Build artifacts
bin/
dist/

# IDE and editor files
.vscode/
.idea/
*.swp
*.swo
*~
.DS_Store

# TLA+ model checking output
formal-models/**/*.toolbox/
formal-models/**/states/
formal-models/**/*.out
formal-models/**/*.log

# Profiling and benchmarking
*.prof
*.pprof
bench.txt

# Temporary files
tmp/
temp/
*.tmp

# OS-specific
Thumbs.db
Desktop.ini

# Benchmark artifacts
benchmark-*.html
demo/demo

# Backup files
*.backup
*~