luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

This commit is contained in:
Akash Levy 2025-05-08 12:11:27 -07:00
parent e4a8cc60d3
commit 1b1cf08a09
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -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

2
verific

@ -1 +1 @@
Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f
Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f