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