From 650fc2801d781894d3abcb0f5c0a9f229b2de13f Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 17 Oct 2024 04:44:43 -0700 Subject: [PATCH] Update Verific to be back to before --- Makefile | 4 ++-- verific | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 1efab0d26..c4c52e266 100644 --- a/Makefile +++ b/Makefile @@ -19,14 +19,14 @@ ENABLE_GHDL := 0 ENABLE_SLANG := 0 ENABLE_VERIFIC := 1 ENABLE_VERIFIC_SYSTEMVERILOG := 1 -ENABLE_VERIFIC_GHDL := 0 +ENABLE_VERIFIC_GHDL := 1 ENABLE_VERIFIC_VHDL := 0 ENABLE_VERIFIC_HIER_TREE := 1 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 e4d48d931..fbd43f10f 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit e4d48d93116d234d8a54e3e0c2293bb9b15dbd2c +Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5