mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-29 20:05:52 +00:00
Code Activity

Update Verific to be back to before

Browse source
This commit is contained in:
Akash Levy 2024-10-17 04:44:43 -07:00
parent e2659247fc
commit 650fc2801d
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

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

2
verific

@ -1 +1 @@
Subproject commit e4d48d93116d234d8a54e3e0c2293bb9b15dbd2c
Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5