From eaac0a05f8c5606956ed2095755083b1cf7a272a Mon Sep 17 00:00:00 2001 From: Awais Abbas Date: Tue, 14 Nov 2023 15:42:19 +0500 Subject: [PATCH 1/3] add yosys RS plugin to fix EDA-2085 and 2048 --- yosys-rs-plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yosys-rs-plugin b/yosys-rs-plugin index 883ff4f74..724261b81 160000 --- a/yosys-rs-plugin +++ b/yosys-rs-plugin @@ -1 +1 @@ -Subproject commit 883ff4f7490d6e4e04ebd3cddce798cc02575157 +Subproject commit 724261b81655451aef1a011ba287008b471c4945 From ff0571d32937eac3bc0ee87a6d81f56459d294d2 Mon Sep 17 00:00:00 2001 From: awaisabbas-rs Date: Tue, 14 Nov 2023 10:43:44 +0000 Subject: [PATCH 2/3] Incremented patch version --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 652837de6..ccdc8a120 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -16,7 +16,7 @@ set(VERSION_MAJOR 0) set(VERSION_MINOR 0) -set(VERSION_PATCH 253) +set(VERSION_PATCH 254) project(yosys_verific_rs) From bb0f417f195a782127ad6499a53aa5d0008ff287 Mon Sep 17 00:00:00 2001 From: Awais Abbas Date: Tue, 14 Nov 2023 19:42:14 +0500 Subject: [PATCH 3/3] fixed CI --- yosys-rs-plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yosys-rs-plugin b/yosys-rs-plugin index 724261b81..29c43c468 160000 --- a/yosys-rs-plugin +++ b/yosys-rs-plugin @@ -1 +1 @@ -Subproject commit 724261b81655451aef1a011ba287008b471c4945 +Subproject commit 29c43c46885001e7e55829915388a307ca182536