Page MenuHomeFreeBSD

cad/hs-verismith: Improve port
ClosedPublic

Authored by alven on Aug 14 2026, 8:25 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Sep 12, 12:51 AM
Unknown Object (File)
Fri, Sep 11, 5:14 PM
Unknown Object (File)
Thu, Sep 10, 10:04 AM
Unknown Object (File)
Sat, Sep 5, 7:02 PM
Unknown Object (File)
Fri, Sep 4, 8:02 PM
Unknown Object (File)
Fri, Sep 4, 8:03 AM
Unknown Object (File)
Tue, Sep 1, 10:30 PM
Unknown Object (File)
Tue, Sep 1, 1:34 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.Aug 14 2026, 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.Aug 15 2026, 2:27 AM
This revision was automatically updated to reflect the committed changes.