github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-10 18:39:50 +00:00
Code Issues Releases Wiki Activity

Moved equiv stuff to passes/equiv/

Browse Source
This commit is contained in:
Clifford Wolf
2015-01-22 12:03:15 +01:00
parent abf8398216
commit 0a225f8b27
5 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
passes/equiv/Makefile.inc Normal file
View File

@@ -0,0 +1,5 @@
OBJS += passes/equiv/equiv_make.o
OBJS += passes/equiv/equiv_simple.o
OBJS += passes/equiv/equiv_status.o

0
passes/sat/equiv_make.cc → passes/equiv/equiv_make.cc
View File

0
passes/sat/equiv_simple.cc → passes/equiv/equiv_simple.cc
View File

0
passes/sat/equiv_status.cc → passes/equiv/equiv_status.cc
View File

3
passes/sat/Makefile.inc
View File

@@ -4,7 +4,4 @@ OBJS += passes/sat/freduce.o
OBJS += passes/sat/eval.o
OBJS += passes/sat/miter.o
OBJS += passes/sat/expose.o
OBJS += passes/sat/equiv_make.o
OBJS += passes/sat/equiv_simple.o
OBJS += passes/sat/equiv_status.o