aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/example.sby
Commit message (Expand)AuthorAgeFilesLines
* Improve docs for verific bindings, add simply sby exampleClifford Wolf2017-07-221-0/+16