projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b02ee9) | patch
Add "verific -work" help message
authorClifford Wolf <clifford@clifford.at>
Wed, 22 Aug 2018 15:22:24 +0000 (17:22 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 22 Aug 2018 15:22:24 +0000 (17:22 +0200)
commit408077769ff022f78f10ec1ffb60926361f8dc9f
tree02b9412c9249cce3714972c8385d66f8093bfc17tree
parent4b02ee91627c49bd4ea0e89d6c8531283501a24bcommit | diff
Add "verific -work" help message

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc diff | blob | history