yosys/.gitignore at main · YosysHQ/yosys · 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
## user config
/Makefile.conf

## homebrew
/Brewfile.lock.json

## build artifacts
/.git-abc-submodule-hash
# compiler intermediate files
*.o
*.d
*.dwo
*.gch
*.gcda
*.gcno
*.so.dSYM/

## test artifacts
**/run-test.mk
*.err
*.log
*.tmp

# compiler output files
/kernel/version_*.cc
/share
/yosys
/yosys.exe
/yosys.js
/yosys.wasm
/yosys-abc
/yosys-abc.exe
/yosys-config
/yosys-smtbmc
/yosys-smtbmc.exe
/yosys-smtbmc-script.py
/yosys-witness
/yosys-witness.exe
/yosys-witness-script.py
/yosys-filterlib
/yosys-filterlib.exe
/yosys-win32-mxebin-*
/yosys-win32-vcxsrc-*
/yosysjs-*
/libyosys.so

# build directories
/tests/unit/bintest/
/tests/unit/objtest/
/tests/ystests
/build
/result
/dist

# pyosys
/kernel/*.pyh
/kernel/python_wrappers.cc
/ffi
/bison
/venv
/*.whl
/*.egg-info

# yosysjs dependency
/viz.js

# other
/coverage.info
/coverage_html


# these really belong in global gitignore since they're not specific to this project but rather to user tool choice
# but too many people don't have a global gitignore configured:
# https://docs.github.com/en/get-started/git-basics/ignoring-files#configuring-ignored-files-for-all-repositories-on-your-computer
__pycache__
*~
.*.swp
/.cache
/.vscode
/.cproject
/.project
/.settings
/qtcreator.files
/qtcreator.includes
/qtcreator.config
/qtcreator.creator
/qtcreator.creator.user
/compile_commands.json