Page MenuHomeFreeBSD

cad/hs-verismith: Improve port
ClosedPublic

Authored by alven on Fri, Aug 14, 8:25 PM.
Tags
None
Referenced Files
F169249154: D58847.id.diff
Tue, Sep 1, 1:34 AM
Unknown Object (File)
Sun, Aug 30, 6:11 AM
Unknown Object (File)
Sat, Aug 29, 7:37 AM
Unknown Object (File)
Sat, Aug 29, 2:53 AM
Unknown Object (File)
Fri, Aug 28, 9:54 PM
Unknown Object (File)
Wed, Aug 26, 6:15 AM
Unknown Object (File)
Sun, Aug 23, 10:31 PM
Unknown Object (File)
Sat, Aug 22, 4:23 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.