From 9508bb23303af2571fc146bc0262ec4d70bce4dc Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 15 Apr 2022 11:45:16 +0200
Subject: Fix reading aiw from other solvers

---
 passes/sat/sim.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index ca4aab566..9c431ab25 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1231,13 +1231,13 @@ struct SimWorker : SimShared
 		{
 			std::string line;
 			std::getline(f, line);
-			if (line.size()==0 || line[0]=='#') continue;
+			if (line.size()==0 || line[0]=='#' || line[0]=='c' || line[0]=='f' || line[0]=='u') continue;
 			if (line[0]=='.') break;
 			if (state==0 && line.size()!=1) {
 				// old format detected, latch data
 				state = 2;
 			}
-			if (state==1 && line[0]!='b' && line[0]!='c') {
+			if (state==1 && line[0]!='b' && line[0]!='j') {
 				// was old format but with 1 bit latch
 				top->setState(latches, status);
 				state = 3;
-- 
cgit v1.2.3


From 2610b0403327ebb93ea185be0e48d909a1856130 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 18 Apr 2022 09:27:00 +0200
Subject: Update abc

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

diff --git a/Makefile b/Makefile
index 38bafc2f1..e77b4f6b4 100644
--- a/Makefile
+++ b/Makefile
@@ -142,7 +142,7 @@ bumpversion:
 # is just a symlink to your actual ABC working directory, as 'make mrproper'
 # will remove the 'abc' directory and you do not want to accidentally
 # delete your work on ABC..
-ABCREV = 00b674d
+ABCREV = 3da9357
 ABCPULL = 1
 ABCURL ?= https://github.com/YosysHQ/abc
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 VERBOSE=$(Q)
-- 
cgit v1.2.3