chore: add .gitignore patterns to exclude run/model/archive log artifacts

.devcontainer/devcontainer.json

@@ -1,9 +1,6 @@
 {
     "name": "Digital Tools",
-    "build": {
-        "dockerfile": "../Docker/Dockerfile",
-        "context": ".."
-    },
+    "image": "danchitnis/eedigits:latest",
     "remoteUser": "coder",
     "customizations": {
         "vscode": {

.gitignore

@@ -18,3 +18,35 @@ examples/**/synthesis/*_synth.v
 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
+

Docker/Dockerfile

@@ -19,7 +19,7 @@ RUN git clone https://github.com/steveicarus/iverilog.git .
 # Build and install
 RUN sh autoconf.sh && \
     ./configure && \
-    make -j2 && \
+    make -j$(nproc) && \
     make install
 
 # Stage 2: Yosys Builder
@@ -51,7 +51,7 @@ RUN sed -i '/#include <stdlib.h>/a #include <unistd.h>' passes/cmds/linux_perf.c
 
 # Build and install
 RUN make config-clang && \
-    make -j2 && \
+    make -j$(nproc) && \
     make install
 
 # Stage 3: Z3 Builder
@@ -71,7 +71,7 @@ RUN git clone https://github.com/Z3Prover/z3.git .
 # Build and install
 WORKDIR /build/build
 RUN cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr/local .. && \
-    make -j2 && \
+    make -j$(nproc) && \
     make install
 
 # Stage 4: Bitwuzla Builder
@@ -136,7 +136,7 @@ RUN set -e; \
 # Configure, build, and install (production build)
 RUN ./configure.sh production --auto-download --prefix=/usr/local --no-pyvenv && \
     cd build && \
-    make -j2 && \
+    make -j$(nproc) && \
     make install && \
     (strip /usr/local/bin/cvc5 2>/dev/null || true) && \
     (strip /usr/local/lib/libcvc5*.so* /usr/local/lib/libpoly*.so* 2>/dev/null || true)

Docker/build_docker.sh

@@ -8,10 +8,19 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 REPO_ROOT="${SCRIPT_DIR}/.."
 
 # Image name
-IMAGE_REPO="danchitnis/digital-tools"
+IMAGE_REPO="danchitnis/eedigits"
 IMAGE_TAG="${IMAGE_TAG:-latest}"
 IMAGE_NAME="${IMAGE_REPO}:${IMAGE_TAG}"
 
+# Parse arguments
+NO_CACHE=""
+while [[ "$#" -gt 0 ]]; do
+    case $1 in
+        --no-cache) NO_CACHE="--no-cache"; shift ;;
+        *) echo "Unknown parameter passed: $1"; exit 1 ;;
+    esac
+done
+
 echo "Building Docker image: $IMAGE_NAME"
 
 # Build the image
@@ -25,6 +34,7 @@ else
 fi
 
 docker build \
+	$NO_CACHE \
 	"${build_args[@]}" \
 	-t "$IMAGE_NAME" \
 	-f "${SCRIPT_DIR}/Dockerfile" \