Added support for memories to verific bindings
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Mar 2014 16:05:05 +0000 (17:05 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 16 Mar 2014 16:05:05 +0000 (17:05 +0100)
commitacda74c12cd39ae1a17d15f472728b49ad584e91
treedd1efddfb05a4cb6a9612af53fa4e7472b0e7ba1
parent7545510edcc1d9ab14e53cae285f1ef0dfb3d7d4
Added support for memories to verific bindings
frontends/verific/test_navre.ys
frontends/verific/verific.cc