diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-20 23:42:07 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-20 23:42:07 +0100 |
| commit | 4e43cb731701679e6d584ba14163befcb846e87b (patch) | |
| tree | 4ded32e08450bb6863c56a5c8e8f4f92bb3ffc83 /backends/btor/Makefile.inc | |
| parent | 737b71c73576d67b707119805cb599644a43777d (diff) | |
Added _TECHMAP_REPLACE_ feature to techmap
Diffstat (limited to 'backends/btor/Makefile.inc')
0 files changed, 0 insertions, 0 deletions