From 2ad68c4bdaced01c6c43d94aeb434fc7bc79f3ea Mon Sep 17 00:00:00 2001
From: Ramesh Krishnamurthy <rkrishn3@ed.ac.uk>
Date: Mon, 23 Mar 2026 12:06:37 +0000
Subject: [PATCH] chore: add .gitignore patterns to exclude run/model/archive
 log artifacts

---
 .gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitignore b/.gitignore
index c869333..40acf80 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,3 +18,16 @@ examples/**/synthesis/*_synth.v
 examples/**/build/
 examples/**/waves/__pycache__/
 *.pyc
+
+# MGR campaign run artifacts (solver outputs per mutant)
+mgr/campaigns/**/runs/
+mgr/campaigns/**/model/
+
+# 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