From 462cbd41959d4309feea2a9ef9acd49177d05b5b Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sun, 1 Dec 2024 16:43:38 -0500
Subject: [PATCH] Bump

---
 verific     | 2 +-
 yosys-slang | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/verific b/verific
index 419f9ac52..3992c3755 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 419f9ac5219be9df31e9250090ce31fa69c00e43
+Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f
diff --git a/yosys-slang b/yosys-slang
index bc824c808..0baf4bedc 160000
--- a/yosys-slang
+++ b/yosys-slang
@@ -1 +1 @@
-Subproject commit bc824c8080367a787066e417e429c9434287d2d5
+Subproject commit 0baf4bedcb26c01bef924142f7418e7472685ed0