diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:36:02 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:36:02 +0200 |
commit | e07698818dfe3c8e5f87b13090c7e70d22189e2a (patch) | |
tree | eb4384ce1b2ef627f8fe0a9533c298e308c8337d /backends/btor/README | |
parent | e3664066d5684af444c5a1edb02b9e7543cba38d (diff) |
Using std::vector<RTLIL::State> instead of RTLIL::Const for RTLIL::SigChunk::data
Diffstat (limited to 'backends/btor/README')
0 files changed, 0 insertions, 0 deletions