From 1b1cf08a096a03c73ea6b31296ebf5877c98108c Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 8 May 2025 12:11:27 -0700
Subject: [PATCH] Use main branch of verific (latest April_2025) and disable
 UPF

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

diff --git a/Makefile b/Makefile
index 6e302cd3c..a0c0d7360 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 1
 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
 ENABLE_VERIFIC_EDIF := 0
 ENABLE_VERIFIC_LIBERTY := 0
-ENABLE_VERIFIC_UPF := 1
+ENABLE_VERIFIC_UPF := 0
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
 ENABLE_ZLIB := 1
diff --git a/verific b/verific
index 3992c3755..736d26da6 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f
+Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f