Support custom PROGRAM_PREFIX
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 10 Apr 2020 08:38:40 +0000 (10:38 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 10 Apr 2020 08:38:40 +0000 (10:38 +0200)
commit0d789c5a3b66e26a9a354ecce85a47836a242e97
tree213d36ddbe5901ae8de2d22de2df193c87cf9fe0
parent7c06cb615745fce4490c1d5b9dcf48d40fa00445
Support custom PROGRAM_PREFIX
Makefile
backends/smt2/Makefile.inc
backends/smt2/smtbmc.py
kernel/yosys.cc
kernel/yosys.h
misc/yosys-config.in
passes/techmap/Makefile.inc
passes/techmap/abc.cc
passes/techmap/abc9.cc
passes/techmap/abc9_exe.cc