From 195fff098b89b67c1940f88a067aa4537df0a42e Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 3 Oct 2024 00:19:11 -0700 Subject: [PATCH] Small updates --- .gitignore | 3 --- verific | 2 +- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index 9fcffb0d8..086e6bc99 100644 --- a/.gitignore +++ b/.gitignore @@ -52,6 +52,3 @@ __pycache__ /tests/verilog/roundtrip_proc_1.v /tests/verilog/roundtrip_proc_2.v /result - -# Preqorsor -preqorsor diff --git a/verific b/verific index 7934691f3..daddc8a19 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 7934691f3b70918adef8c56d6842acbec53907df +Subproject commit daddc8a191f4206ab3a03faebbc0018828b18591