summaryrefslogtreecommitdiff
path: root/frontends/verific/test_navre.ys
Commit message (Expand)AuthorAge
* Added support for memories to verific bindingsClifford Wolf2014-03-16
* Added test_navre.ys for verific frontendClifford Wolf2014-03-13