From 66734f522dd7b7cc0f7f2b6be876c0366271c9ec Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 5 Dec 2024 00:22:38 +0000
Subject: [PATCH 1/2] Bump version

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4d90cdb05..a71b08a7c 100644
--- a/Makefile
+++ b/Makefile
@@ -155,7 +155,7 @@ ifeq ($(OS), Haiku)
 CXXFLAGS += -D_DEFAULT_SOURCE
 endif
 
-YOSYS_VER := 0.47+149
+YOSYS_VER := 0.47+201
 
 # Note: We arrange for .gitcommit to contain the (short) commit hash in
 # tarballs generated with git-archive(1) using .gitattributes. The git repo

From cf0a583f40f6d1bc3b61fc4420534582c7347ff3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Thu, 5 Dec 2024 16:17:34 +0100
Subject: [PATCH 2/2] read_xaiger2: Rm debug print

---
 frontends/aiger2/xaiger.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/frontends/aiger2/xaiger.cc b/frontends/aiger2/xaiger.cc
index dd3ca4285..3d502edf1 100644
--- a/frontends/aiger2/xaiger.cc
+++ b/frontends/aiger2/xaiger.cc
@@ -341,7 +341,6 @@ struct Xaiger2Frontend : public Frontend {
 					/* unused box_id = */ read_be32(*f);
 					auto box_seq = read_be32(*f);
 
-					log("box_seq=%d boxes.size=%d\n", box_seq, (int) boxes.size());
 					log_assert(box_seq < boxes.size());
 
 					auto [cell, def] = boxes[box_seq];