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

Merge pull request #39 from alaindargelas/enable_formal_passes 

Enable formal passes
This commit is contained in:
Akash Levy 2025-01-06 17:59:56 -05:00 committed by GitHub
parent adfcaa9985 f6c0e184ce
commit 432db6353b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -709,6 +709,7 @@ include $(YOSYS_SRC)/frontends/ast/Makefile.inc
include $(YOSYS_SRC)/frontends/blif/Makefile.inc
include $(YOSYS_SRC)/frontends/liberty/Makefile.inc
include $(YOSYS_SRC)/passes/equiv/Makefile.inc
OBJS += passes/cmds/select.o
OBJS += passes/cmds/show.o