aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-08-14 15:52:12 +0100
committerYann Herklotz <git@yannherklotz.com>2020-08-14 15:52:12 +0100
commit773acb06f15d49b810b76508505f5df5a84f8172 (patch)
tree89ab3196efd58fb114bf4021a3cf1c14aae40e8a
parent15c5290ad1c656f7801a8499ae310c8aafa7af09 (diff)
downloadverismith-773acb06f15d49b810b76508505f5df5a84f8172.tar.gz
verismith-773acb06f15d49b810b76508505f5df5a84f8172.zip
Add hackage packagev1.0.0.2
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
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.