Removed "techmap -share_map" (use "-map +/filename" instead)
authorClifford Wolf <clifford@clifford.at>
Wed, 8 Apr 2015 10:13:53 +0000 (12:13 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 8 Apr 2015 10:13:53 +0000 (12:13 +0200)
commitaa0ab975b956e3b37c4d861fcf067475a28fd491
tree31c7c4768ccd46f3aad0b05efece10003f05d315
parent8eadd8fb18eb0a0707dd5f3262adf2e811a5bc69
Removed "techmap -share_map" (use "-map +/filename" instead)
backends/btor/verilog2btor.sh
passes/techmap/techmap.cc