-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy path.gitignore
More file actions
117 lines (103 loc) · 1.43 KB
/
.gitignore
File metadata and controls
117 lines (103 loc) · 1.43 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
# 🐱 Meow Decoder - .gitignore
# Python
__pycache__/
*.py[cod]
*$py.class
*.so
.Python
build/
develop-eggs/
dist/
downloads/
eggs/
.eggs/
lib/
lib64/
parts/
sdist/
var/
wheels/
*.egg-info/
.installed.cfg
*.egg
MANIFEST
# Testing
.tox/
.coverage
.coverage.*
htmlcov/
.pytest_cache/
.hypothesis/
*.cover
coverage.xml
# Environments
.env
.venv
env/
venv/
ENV/
# IDEs
.vscode/
.idea/
*.swp
*.swo
.DS_Store
# Node.js
node_modules/
# Meow Decoder Specific
*.gif
!assets/*.gif
!examples/*.gif
*.enc
*.encrypted
*.key
*.keyfile
secrets/
test_output/
*.log
# Build artifacts
*.whl
*.tar.gz
receiver_private.pem
receiver_public.key
*.pem
*.key
# Formal Verification (TLA+ / ProVerif)
formal/tla/states/
formal/tla/*.dump
formal/tla/*.dot
formal/tla/*.out
formal/tla/tla2tools.jar
formal/proverif/*.html
formal/proverif/output/
formal/proverif/proverif2.05/
formal/proverif/proverif2.05.tar.gz
formal/proverif/proverif_output.txt
formal/proverif/html_output/
formal/tamarin/.tamarin/
formal/tamarin/*.log
crypto_core/target/
# Rust build artifacts (anywhere in repo)
target/
**/target/
openssf.md
OpenSSFImprovements.md
# Private planning/audit files
audit1.md
future-security-audit.md
tasklists.md
todo*.md
OpenSSFImprovements.md
workflowsexplained.md
pushupdates.md
meow-push.sh
OPENSSF_SCORECARD.md
secret
# Accidental pip output files
=*
# Deploy output
pythonanywhere-deploy/
*.zip
formal/lean/.lake/
web_demo/instance/
mobile/android/app/release.keystore