Page MenuHomeFreeBSD

cad/hs-verismith: Improve port
ClosedPublic

Authored by alven on Fri, Aug 14, 8:25 PM.
Tags
None
Referenced Files
F167712835: D58847.diff
Sun, Aug 23, 10:31 PM
Unknown Object (File)
Sat, Aug 22, 4:23 AM
Unknown Object (File)
Sat, Aug 22, 4:10 AM
Unknown Object (File)
Fri, Aug 21, 8:55 PM
Unknown Object (File)
Fri, Aug 21, 1:05 PM
Unknown Object (File)
Fri, Aug 21, 10:20 AM
Unknown Object (File)
Thu, Aug 20, 9:22 PM
Unknown Object (File)
Thu, Aug 20, 1:07 AM
Subscribers

Details

Summary
  • Switch upstream to Hackage
  • Improve COMMENT and pkg-descr
Test Plan

For every {151amd64, 144amd64}:

  • Successful poudriere testport
  • Successful run-testing

Diff Detail

Repository
R11 FreeBSD ports repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

alven requested review of this revision.Fri, Aug 14, 8:25 PM

Thanks Älven for this patch!

Approved.

As an aside:
I tried to use Verismith a few years ago when I needed a lot of random Verilog testcases.
Results were disappointing: produced Verilog had a lot of errors, and Verilog programs that it was generating were too similar to each other.
There was not enough variety and non-random parts needed to be present which they weren't.
Back then I was planning to write my own Verilog generator but then this project has faded and life moved on to other things ....

This revision is now accepted and ready to land.Sat, Aug 15, 2:27 AM
This revision was automatically updated to reflect the committed changes.