diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-12 16:51:32 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-12 16:51:32 +0000 |
| commit | 02849780204c36fd9c130a398c0a6901b461f8f5 (patch) | |
| tree | 7145e35f751661120641329568afa7797902009a /verismith.cabal | |
| parent | 9d2bddfa46b0e4b80f7cf8b30769dec49e1ed423 (diff) | |
| download | verismith-02849780204c36fd9c130a398c0a6901b461f8f5.tar.gz verismith-02849780204c36fd9c130a398c0a6901b461f8f5.zip | |
Add reduction for simulation failures
Diffstat (limited to 'verismith.cabal')
| -rw-r--r-- | verismith.cabal | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/verismith.cabal b/verismith.cabal index b54e522..76fc97b 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -1,5 +1,5 @@ name: verismith -version: 0.4.0.1 +version: 0.4.1.0 synopsis: Random verilog generation and simulator testing. description: Verismith provides random verilog generation modules @@ -27,7 +27,7 @@ source-repository head source-repository this type: git location: https://github.com/ymherklotz/verismith - tag: v0.4.0.1 + tag: v0.4.1.0 custom-setup setup-depends: |