Page MenuHomeFreeBSD

cad/hs-verismith: Improve port
ClosedPublic

Authored by alven on Fri, Aug 14, 8:25 PM.
Tags
None
Referenced Files
F167012934: D58847.diff
Tue, Aug 18, 2:19 PM
F166928024: D58847.diff
Mon, Aug 17, 8:07 PM
Unknown Object (File)
Mon, Aug 17, 1:01 PM
Unknown Object (File)
Sun, Aug 16, 3:44 PM
Unknown Object (File)
Sun, Aug 16, 4:09 AM
Unknown Object (File)
Sat, Aug 15, 11:46 PM
Unknown Object (File)
Sat, Aug 15, 7:54 PM
Unknown Object (File)
Sat, Aug 15, 7:54 PM
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
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 75594
Build 72477: arc lint + arc unit

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.