From 9206d5dc4e904edea24c2ccdeb43b47d96f53243 Mon Sep 17 00:00:00 2001 From: behzadmehmood Date: Thu, 31 Oct 2024 23:30:56 +0500 Subject: [PATCH 1/2] Updating yosys_verific_rs --- yosys_verific_rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yosys_verific_rs b/yosys_verific_rs index 9bf477d9..aa5567c8 160000 --- a/yosys_verific_rs +++ b/yosys_verific_rs @@ -1 +1 @@ -Subproject commit 9bf477d948cebee7fa5ce627364e2e71659c37a9 +Subproject commit aa5567c8efef512d91f58871f4901b3f97e741a6 From cf53c57af326477f45c8676773d5f0da7da25f0f Mon Sep 17 00:00:00 2001 From: behzadmehmood Date: Fri, 1 Nov 2024 09:43:40 +0500 Subject: [PATCH 2/2] Embedding chenges for multi-bit constant support in design-edit --- yosys_verific_rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yosys_verific_rs b/yosys_verific_rs index aa5567c8..2542810a 160000 --- a/yosys_verific_rs +++ b/yosys_verific_rs @@ -1 +1 @@ -Subproject commit aa5567c8efef512d91f58871f4901b3f97e741a6 +Subproject commit 2542810a3a4abc7dc2ce796374cc9004c0db9465