Salam/.gitignore at main · BDadmehr0/Salam · 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
# ---- Archive ----
*.rar
*.zip
*.vsix
# ---- Build artifacts ----
*.log
*.o
*.a
*.obj
*.hash
*.exe
*.tmp
# Native compiler binaries (Linux ELF builds have no extension; *.exe covers Windows)
salam
# ---- WebAssembly playground bundle (generated by tools/build-wasm.sh) ----
salam-wa.js
salam-wa.wasm
salam-wa.data
salam-wa.html
# ---- Dependencies & caches ----
node_modules/
__pycache__/
.mypy_cache/
*.pyc
# ---- Build / dist / test output ----
build/
dist/
tests/.work/
# ---- Editor / IDE ----
.vscode/
.idea/
.claude/
# ---- Books ----
# /books/
/books/*/*/_minted
/books/*/*/*.tex.tmp
/books/*/*/*.tex.tmp.*
/books/*/*/*.out
/books/*/*/*.log
/books/*/*/*.aux
/books/*/*/*.pdf
/books/*/*/*.toc
/books/*/*/*.synctex(busy)
/books/*/*/*.synctex.gz
# ---- Documents ----
*.md
/compiler/doc/
!CODE_OF_CONDUCT.md
!CONTRIBUTING.md
!docs/PLATFORMS.md
# ---- Online Editor ----
editor/*
!editor/index.html
!editor/style.css
!editor/app.js
!editor/logo.svg
!editor/README.md
# ---- Generated Files ----
/compiler/salam_mod_*.c
/compiler/salam_mod_*.h