Merge pull request #893 from YosysHQ/clifford/btormeminit
authorClifford Wolf <clifford@clifford.at>
Sat, 23 Mar 2019 15:02:01 +0000 (16:02 +0100)
committerGitHub <noreply@github.com>
Sat, 23 Mar 2019 15:02:01 +0000 (16:02 +0100)
commit2cf71e2a7b053505ed80ad18c0e506c5f090b595
treef53eeea0713e6e052eec79c588f19a948c073b41
parenta440f82586eda461ae2a90cba7a14d7078c41f37
parent1eff8be8f018bd6b94efd14a959d6f1807dd056d
Merge pull request #893 from YosysHQ/clifford/btormeminit

Memory init support in write_btor