summaryrefslogtreecommitdiff
path: root/backends/btor
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-04-09 16:08:54 +0200
committerClifford Wolf <clifford@clifford.at>2015-04-09 16:08:54 +0200
commit7319951145e935d3a11f063ec73e829728b91efe (patch)
treecdcaaf6db091de2a9f6d543d544d1b893b48f069 /backends/btor
parent44519d439969ec7b7d42a8891f04689b6291ab36 (diff)
Added memory_bram "make_outreg" feature
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions