From 773acb06f15d49b810b76508505f5df5a84f8172 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 14 Aug 2020 15:52:12 +0100 Subject: Add hackage package --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e746bf1..4912e64 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,7 @@ [![Build Status](https://travis-ci.com/ymherklotz/verismith.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](https://travis-ci.com/ymherklotz/verismith) [![FPGA'20 DOI](https://img.shields.io/badge/FPGA'20%20DOI-10.1145%2F3373087.3375310-blue)](https://doi.org/10.1145/3373087.3375310) [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3598790.svg)](https://doi.org/10.5281/zenodo.3598790) +[![Hackage](https://img.shields.io/hackage/v/verismith?color=614f88)](http://hackage.haskell.org/package/verismith) Verilog Fuzzer to test the major verilog compilers by generating random, valid and deterministic Verilog. -- cgit