Use main branch of verific (latest April_2025) and disable UPF

akashlevy · akashlevy · commit 1b1cf08a096a · 2025-05-08T12:11:27.000-07:00
diff --git 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
@@ -1 +1 @@
-Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f
+Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f
