From 10a352b8de3ceb53be9ee51ea1f6a3d76a9fa482 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 20 Oct 2024 22:51:35 -0700 Subject: [PATCH] Switch to vhdl_upf mode --- Makefile | 4 ++-- verific | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 3770370d8..b39fb9d55 100644 --- a/Makefile +++ b/Makefile @@ -19,8 +19,8 @@ ENABLE_GHDL := 0 ENABLE_SLANG := 0 ENABLE_VERIFIC := 1 ENABLE_VERIFIC_SYSTEMVERILOG := 1 -ENABLE_VERIFIC_GHDL := 1 -ENABLE_VERIFIC_VHDL := 0 +ENABLE_VERIFIC_GHDL := 0 +ENABLE_VERIFIC_VHDL := 1 ENABLE_VERIFIC_HIER_TREE := 1 ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 1 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0 diff --git a/verific b/verific index fbd43f10f..b29b658a0 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5 +Subproject commit b29b658a05b60bd1ebdd6eaee8ed2b452673c9e6