EEdigits/.gitignore at main · eelab-dev/EEdigits · 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
temp
*.vvp
*.vcd
*_sim
examples/**/formal/*_prove/
examples/**/formal/*_cover/
examples/**/formal/*_prove_*/
examples/**/formal/*_cover_*/
examples/**/formal/*_step_*/
examples/**/formal/*_z3/
examples/**/formal/*_bitwuzla/
examples/**/formal/*_run.log
examples/**/formal/*.log
examples/**/synthesis/*.rpt
examples/**/synthesis/*_synth.v

# Common generated output folders
examples/**/build/
examples/**/waves/__pycache__/
*.pyc
__pycache__/
.venv/

# PSP / Yosys generated artifacts (regenerated by manage_formal.py and yosys)
design_dump.log
*_auto.sby

# MGR campaign run artifacts (solver outputs per mutant)
mgr/campaigns/**/runs/
mgr/campaigns/**/model/
*.sqlite

# SymbiYosys proof work directories in campaign folders
# Regenerated by: sby -f <name>.sby
mgr/campaigns/**/*_prove/
mgr/campaigns/**/*_cover/
mgr/campaigns/**/*_check/
mgr/campaigns/**/*_mintest/
mgr/campaigns/**/*_test/
mgr/campaigns/**/test_*/
mgr/campaigns/**/test[0-9]*/
mgr/campaigns/**/diag/

# Solver model artifacts in examples (sby output dirs)
examples/**/model/
examples/**/archive/*.log

# PSP intermediate / generated files
examples/**/temp_stats.ys
temp_stats.ys
metrics_table.csv
examples/**/design_dump.log
examples/**/design_dump_*.log