From 0ee2277d4f4551042a1e1659bb8d1892e753b009 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 16 Apr 2026 15:30:40 -0700 Subject: [PATCH] Use PIC Verific libraries --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 145e22d57..fc343c990 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 145e22d578d6d854e89f4932a4683c154df2a5eb +Subproject commit fc343c9904855352fd8294bcd7209afcfca9bbbc