Added AIGER back-end to automatic back-end detection
authorClifford Wolf <clifford@clifford.at>
Wed, 21 Dec 2016 09:16:47 +0000 (10:16 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 21 Dec 2016 09:16:47 +0000 (10:16 +0100)
commitf144adec587e2d0e993098abc5b576721ba969dd
tree83ab4b73372913a15505e4482f047547a02ae17f
parentf31e6a7174243f463db10afb29f7e2d2b140f56c
Added AIGER back-end to automatic back-end detection
kernel/yosys.cc