summaryrefslogtreecommitdiff
path: root/backends/btor
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-22 20:39:13 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-22 20:39:38 +0200
commit7bffde6abdaf6fc2ed090946442f90b2438e6126 (patch)
tree24091283baf740e0ffd5b347da84771ed28791a7 /backends/btor
parent4b4048bc5feba1ab05c7a63f12c0a17879cb7e04 (diff)
SigSpec refactoring: change RTLIL::SigSpec::size() to be read-only
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions