From 72c4f70580d42d9d0ebb40b8348e8a2af5a34823 Mon Sep 17 00:00:00 2001
From: thierryBesson <thierry@rapidsilicon.com>
Date: Fri, 27 Oct 2023 11:06:18 +0500
Subject: [PATCH 1/2] update yosys-rs-plugin for smart CE dissolve

---
 yosys-rs-plugin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/yosys-rs-plugin b/yosys-rs-plugin
index e6653dc63..c6aa16475 160000
--- a/yosys-rs-plugin
+++ b/yosys-rs-plugin
@@ -1 +1 @@
-Subproject commit e6653dc63d60f98528ebcfd5f53351be74992d25
+Subproject commit c6aa16475403a92b0eadf240a9239c779e064cc6

From 5e5ce23dabc9ffcf5357f63c23332d1c7dd142df Mon Sep 17 00:00:00 2001
From: thierryBesson <thierryBesson@users.noreply.github.com>
Date: Fri, 27 Oct 2023 06:08:36 +0000
Subject: [PATCH 2/2] Incremented patch version

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1fea9744c..960cb335b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,7 +16,7 @@ set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
 
-set(VERSION_PATCH 250)
+set(VERSION_PATCH 251)
 
 
 project(yosys_verific_rs)