Add support for verific mem initialization
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 14:57:36 +0000 (15:57 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 14:57:36 +0000 (15:57 +0100)
commitcdb6ceb8c63f2c38bdba3f66be7c444def43897e
treefd4c2d6dd0011c18f4eb19b9c5ab46c1aa9873e7
parentc449f4b86f66ca4ef2396454f09a73d56ff06512
Add support for verific mem initialization
frontends/verific/verific.cc