summaryrefslogtreecommitdiff
path: root/frontends/verific/verific.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2016-02-02 19:50:17 +0100
committerClifford Wolf <clifford@clifford.at>2016-02-02 19:50:17 +0100
commit4a3e1ded1e2dfd3d9a836aaed793978ddff6161b (patch)
tree6fef1fffed971be33d2a77255a038e552b920633 /frontends/verific/verific.cc
parent801c0224576168c776ff2b6422c1909d8cd045dc (diff)
Updated verific build instructions
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions