We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9297917 commit 2ad68c4Copy full SHA for 2ad68c4
1 file changed
.gitignore
@@ -18,3 +18,16 @@ examples/**/synthesis/*_synth.v
18
examples/**/build/
19
examples/**/waves/__pycache__/
20
*.pyc
21
+
22
+# MGR campaign run artifacts (solver outputs per mutant)
23
+mgr/campaigns/**/runs/
24
+mgr/campaigns/**/model/
25
26
+# Solver model artifacts in examples (sby output dirs)
27
+examples/**/model/
28
+examples/**/archive/*.log
29
30
+# PSP intermediate / generated files
31
+examples/**/temp_stats.ys
32
+temp_stats.ys
33
+metrics_table.csv
0 commit comments