Added equiv_make command
authorClifford Wolf <clifford@clifford.at>
Mon, 19 Jan 2015 12:59:08 +0000 (13:59 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 19 Jan 2015 12:59:08 +0000 (13:59 +0100)
commit76c5d863c52253a5709f44e0608c53a8c33ab3b5
tree7cb4d36e4b10f4dd468f58255ad5dba39a585dbd
parente13a45ae61e05705d9ab6890da60737bd05eb24d
Added equiv_make command
kernel/rtlil.cc
kernel/rtlil.h
passes/sat/Makefile.inc
passes/sat/equiv_make.cc [new file with mode: 0644]