1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
{ mkDerivation, alex, array, base, binary, blaze-html, bytestring
, Cabal, cabal-doctest, cryptonite, deepseq, DRBG, exceptions, fgl
, fgl-visualize, filepath, gitrev, hedgehog, hedgehog-fn, lens
, lifted-base, memory, monad-control, optparse-applicative, parsec
, prettyprinter, random, recursion-schemes, shakespeare, shelly
, statistics, stdenv, tasty, tasty-hedgehog, tasty-hunit
, template-haskell, text, time, tomland, transformers
, transformers-base, vector
}:
mkDerivation {
pname = "verifuzz";
version = "0.3.1.0";
src = ./.;
isLibrary = true;
isExecutable = true;
setupHaskellDepends = [ base Cabal cabal-doctest ];
libraryHaskellDepends = [
array base binary blaze-html bytestring cryptonite deepseq DRBG
exceptions fgl fgl-visualize filepath gitrev hedgehog lens
lifted-base memory monad-control optparse-applicative parsec
prettyprinter random recursion-schemes shakespeare shelly
statistics template-haskell text time tomland transformers
transformers-base vector
];
libraryToolDepends = [ alex ];
executableHaskellDepends = [ base ];
testHaskellDepends = [
base fgl hedgehog hedgehog-fn lens parsec shakespeare tasty
tasty-hedgehog tasty-hunit text
];
homepage = "https://github.com/ymherklotz/VeriFuzz#readme";
description = "Random verilog generation and simulator testing";
license = stdenv.lib.licenses.bsd3;
}
|
