aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/test_navre.ys
Commit message (Expand)AuthorAgeFilesLines
* Updated verific build/test instructionsClifford Wolf2014-07-251-2/+2
* Added support for memories to verific bindingsClifford Wolf2014-03-161-0/+1
* Added test_navre.ys for verific frontendClifford Wolf2014-03-131-0/+17