mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-24 03:57:54 +00:00
Code Activity

Add fminit pass

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2020-01-09 21:22:54 +01:00
parent 823a08e0d8
commit 3fa374a698
2 changed files with 198 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/Makefile.inc
View file

@ -12,4 +12,5 @@ OBJS += passes/sat/supercover.o
OBJS += passes/sat/fmcombine.o
OBJS += passes/sat/mutate.o
OBJS += passes/sat/cutpoint.o
OBJS += passes/sat/fminit.o