Resolving dependencies...
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )

System/Random.hs:43:1: Warning: Tab character

System/Random.hs:45:1: Warning: Tab character

System/Random.hs:47:1: Warning: Tab character

System/Random.hs:53:1: Warning: Tab character

System/Random.hs:55:1: Warning: Tab character

System/Random.hs:56:1: Warning: Tab character

System/Random.hs:57:1: Warning: Tab character

System/Random.hs:59:1: Warning: Tab character

System/Random.hs:61:1: Warning: Tab character

System/Random.hs:63:1: Warning: Tab character

System/Random.hs:64:1: Warning: Tab character

System/Random.hs:65:1: Warning: Tab character

System/Random.hs:66:1: Warning: Tab character

System/Random.hs:68:1: Warning: Tab character

System/Random.hs:69:1: Warning: Tab character

System/Random.hs:70:1: Warning: Tab character

System/Random.hs:71:1: Warning: Tab character

System/Random.hs:73:1: Warning: Tab character

System/Random.hs:74:1: Warning: Tab character

System/Random.hs:76:1: Warning: Tab character

System/Random.hs:90:22: Warning: Tab character

System/Random.hs:91:17: Warning: Tab character

System/Random.hs:94:17: Warning: Tab character

System/Random.hs:102:15: Warning: Tab character

System/Random.hs:240:1: Warning: Tab character

System/Random.hs:241:1: Warning: Tab character

System/Random.hs:249:1: Warning: Tab character

System/Random.hs:269:1: Warning: Tab character

System/Random.hs:270:1: Warning: Tab character

System/Random.hs:271:1: Warning: Tab character

System/Random.hs:272:1: Warning: Tab character

System/Random.hs:273:1: Warning: Tab character

System/Random.hs:326:11: Warning: Tab character

System/Random.hs:343:11: Warning: Tab character

System/Random.hs:384:11: Warning: Tab character

System/Random.hs:395:1: Warning: Tab character

System/Random.hs:396:1: Warning: Tab character

System/Random.hs:396:20: Warning: Tab character

System/Random.hs:397:1: Warning: Tab character

System/Random.hs:397:20: Warning: Tab character

System/Random.hs:399:11: Warning: Tab character

System/Random.hs:406:1: Warning: Tab character

System/Random.hs:415:1: Warning: Tab character

System/Random.hs:428:1: Warning: Tab character

System/Random.hs:429:1: Warning: Tab character

System/Random.hs:430:1: Warning: Tab character

System/Random.hs:440:3: Warning: Tab character

System/Random.hs:502:1: Warning: Tab character

System/Random.hs:503:1: Warning: Tab character

System/Random.hs:504:1: Warning: Tab character

System/Random.hs:506:1: Warning: Tab character

System/Random.hs:507:1: Warning: Tab character

System/Random.hs:508:1: Warning: Tab character

System/Random.hs:519:1: Warning: Tab character

System/Random.hs:519:14: Warning: Tab character

System/Random.hs:520:1: Warning: Tab character

System/Random.hs:522:1: Warning: Tab character

System/Random.hs:523:1: Warning: Tab character

System/Random.hs:524:1: Warning: Tab character

System/Random.hs:526:1: Warning: Tab character

System/Random.hs:527:1: Warning: Tab character

System/Random.hs:528:1: Warning: Tab character
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...

System/Random.hs:43:1: Warning: Tab character

System/Random.hs:45:1: Warning: Tab character

System/Random.hs:47:1: Warning: Tab character

System/Random.hs:53:1: Warning: Tab character

System/Random.hs:55:1: Warning: Tab character

System/Random.hs:56:1: Warning: Tab character

System/Random.hs:57:1: Warning: Tab character

System/Random.hs:59:1: Warning: Tab character

System/Random.hs:61:1: Warning: Tab character

System/Random.hs:63:1: Warning: Tab character

System/Random.hs:64:1: Warning: Tab character

System/Random.hs:65:1: Warning: Tab character

System/Random.hs:66:1: Warning: Tab character

System/Random.hs:68:1: Warning: Tab character

System/Random.hs:69:1: Warning: Tab character

System/Random.hs:70:1: Warning: Tab character

System/Random.hs:71:1: Warning: Tab character

System/Random.hs:73:1: Warning: Tab character

System/Random.hs:74:1: Warning: Tab character

System/Random.hs:76:1: Warning: Tab character

System/Random.hs:90:22: Warning: Tab character

System/Random.hs:91:17: Warning: Tab character

System/Random.hs:94:17: Warning: Tab character

System/Random.hs:102:15: Warning: Tab character

System/Random.hs:240:1: Warning: Tab character

System/Random.hs:241:1: Warning: Tab character

System/Random.hs:249:1: Warning: Tab character

System/Random.hs:269:1: Warning: Tab character

System/Random.hs:270:1: Warning: Tab character

System/Random.hs:271:1: Warning: Tab character

System/Random.hs:272:1: Warning: Tab character

System/Random.hs:273:1: Warning: Tab character

System/Random.hs:326:11: Warning: Tab character

System/Random.hs:343:11: Warning: Tab character

System/Random.hs:384:11: Warning: Tab character

System/Random.hs:395:1: Warning: Tab character

System/Random.hs:396:1: Warning: Tab character

System/Random.hs:396:20: Warning: Tab character

System/Random.hs:397:1: Warning: Tab character

System/Random.hs:397:20: Warning: Tab character

System/Random.hs:399:11: Warning: Tab character

System/Random.hs:406:1: Warning: Tab character

System/Random.hs:415:1: Warning: Tab character

System/Random.hs:428:1: Warning: Tab character

System/Random.hs:429:1: Warning: Tab character

System/Random.hs:430:1: Warning: Tab character

System/Random.hs:440:3: Warning: Tab character

System/Random.hs:502:1: Warning: Tab character

System/Random.hs:503:1: Warning: Tab character

System/Random.hs:504:1: Warning: Tab character

System/Random.hs:506:1: Warning: Tab character

System/Random.hs:507:1: Warning: Tab character

System/Random.hs:508:1: Warning: Tab character

System/Random.hs:519:1: Warning: Tab character

System/Random.hs:519:14: Warning: Tab character

System/Random.hs:520:1: Warning: Tab character

System/Random.hs:522:1: Warning: Tab character

System/Random.hs:523:1: Warning: Tab character

System/Random.hs:524:1: Warning: Tab character

System/Random.hs:526:1: Warning: Tab character

System/Random.hs:527:1: Warning: Tab character

System/Random.hs:528:1: Warning: Tab character
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-1278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/random-1.1-1z8Ujelqc6aKgvPnbRUKkP
Registering random-1.1...
Installed random-1.1
Downloading chalmers-lava2000-1.6...
Configuring chalmers-lava2000-1.6...
Building chalmers-lava2000-1.6...
Preprocessing library chalmers-lava2000-1.6...
[ 1 of 41] Compiling Paths_chalmers_lava2000 ( dist/build/autogen/Paths_chalmers_lava2000.hs, dist/build/Paths_chalmers_lava2000.o )
[ 2 of 41] Compiling Lava.LavaRandom  ( Lava/LavaRandom.hs, dist/build/Lava/LavaRandom.o )
[ 3 of 41] Compiling Lava.MyST        ( Lava/MyST.hs, dist/build/Lava/MyST.o )
[ 4 of 41] Compiling Lava.Ref         ( Lava/Ref.hs, dist/build/Lava/Ref.o )
[ 5 of 41] Compiling Lava.SignalTry   ( Lava/SignalTry.hs, dist/build/Lava/SignalTry.o )
[ 6 of 41] Compiling Lava.IOBuffering ( Lava/IOBuffering.hs, dist/build/Lava/IOBuffering.o )
[ 7 of 41] Compiling Lava.LavaDir     ( Lava/LavaDir.hs, dist/build/Lava/LavaDir.o )
[ 8 of 41] Compiling Lava.Error       ( Lava/Error.hs, dist/build/Lava/Error.o )
[ 9 of 41] Compiling Lava.Sequent     ( Lava/Sequent.hs, dist/build/Lava/Sequent.o )
[10 of 41] Compiling Lava.Signal      ( Lava/Signal.hs, dist/build/Lava/Signal.o )
[11 of 41] Compiling Lava.Generic     ( Lava/Generic.hs, dist/build/Lava/Generic.o )
[12 of 41] Compiling Lava.Operators   ( Lava/Operators.hs, dist/build/Lava/Operators.o )
[13 of 41] Compiling Lava.ConstructiveAnalysis ( Lava/ConstructiveAnalysis.hs, dist/build/Lava/ConstructiveAnalysis.o )
[14 of 41] Compiling Lava.Property    ( Lava/Property.hs, dist/build/Lava/Property.o )
[15 of 41] Compiling Lava.Netlist     ( Lava/Netlist.hs, dist/build/Lava/Netlist.o )
[16 of 41] Compiling Lava.Combinational ( Lava/Combinational.hs, dist/build/Lava/Combinational.o )
[17 of 41] Compiling Lava.Sequential  ( Lava/Sequential.hs, dist/build/Lava/Sequential.o )
[18 of 41] Compiling Lava.Test        ( Lava/Test.hs, dist/build/Lava/Test.o )
[19 of 41] Compiling Lava.SequentialConstructive ( Lava/SequentialConstructive.hs, dist/build/Lava/SequentialConstructive.o )
[20 of 41] Compiling Lava.Verification ( Lava/Verification.hs, dist/build/Lava/Verification.o )
[21 of 41] Compiling Lava.Vis         ( Lava/Vis.hs, dist/build/Lava/Vis.o )
[22 of 41] Compiling Lava.Fixit       ( Lava/Fixit.hs, dist/build/Lava/Fixit.o )
[23 of 41] Compiling Lava.Smv         ( Lava/Smv.hs, dist/build/Lava/Smv.o )
[24 of 41] Compiling Lava.Satzoo      ( Lava/Satzoo.hs, dist/build/Lava/Satzoo.o )
[25 of 41] Compiling Lava.Retime      ( Lava/Retime.hs, dist/build/Lava/Retime.o )
[26 of 41] Compiling Lava.Vhdl        ( Lava/Vhdl.hs, dist/build/Lava/Vhdl.o )
[27 of 41] Compiling Lava.Captain     ( Lava/Captain.hs, dist/build/Lava/Captain.o )
[28 of 41] Compiling Lava.Eprover     ( Lava/Eprover.hs, dist/build/Lava/Eprover.o )
[29 of 41] Compiling Lava.HeerHugo    ( Lava/HeerHugo.hs, dist/build/Lava/HeerHugo.o )
[30 of 41] Compiling Lava.Isc         ( Lava/Isc.hs, dist/build/Lava/Isc.o )
[31 of 41] Compiling Lava.Limmat      ( Lava/Limmat.hs, dist/build/Lava/Limmat.o )
[32 of 41] Compiling Lava.Minisat     ( Lava/Minisat.hs, dist/build/Lava/Minisat.o )
[33 of 41] Compiling Lava.Modoc       ( Lava/Modoc.hs, dist/build/Lava/Modoc.o )
[34 of 41] Compiling Lava.Satnik      ( Lava/Satnik.hs, dist/build/Lava/Satnik.o )
[35 of 41] Compiling Lava.Stable      ( Lava/Stable.hs, dist/build/Lava/Stable.o )
[36 of 41] Compiling Lava.Table       ( Lava/Table.hs, dist/build/Lava/Table.o )
[37 of 41] Compiling Lava.Zchaff      ( Lava/Zchaff.hs, dist/build/Lava/Zchaff.o )
[38 of 41] Compiling Lava             ( Lava.hs, dist/build/Lava.o )
[39 of 41] Compiling Lava.Patterns    ( Lava/Patterns.hs, dist/build/Lava/Patterns.o )
[40 of 41] Compiling Lava.Arithmetic  ( Lava/Arithmetic.hs, dist/build/Lava/Arithmetic.o )
[41 of 41] Compiling Lava.SequentialCircuits ( Lava/SequentialCircuits.hs, dist/build/Lava/SequentialCircuits.o )
In-place registering chalmers-lava2000-1.6...
Running Haddock for chalmers-lava2000-1.6...
Running hscolour for chalmers-lava2000-1.6...
Preprocessing library chalmers-lava2000-1.6...
Preprocessing library chalmers-lava2000-1.6...
Haddock coverage:
   0% (  0 /  8) in 'Paths_chalmers_lava2000'
  Missing documentation for:
    Module header
    version (dist/build/autogen/Paths_chalmers_lava2000.hs:15)
    getBinDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25)
    getLibDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25)
    getDataDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25)
    getLibexecDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25)
    getDataFileName (dist/build/autogen/Paths_chalmers_lava2000.hs:32)
    getSysconfDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25)
  40% (  2 /  5) in 'Lava.LavaRandom'
  Missing documentation for:
    Module header
    Rnd (Lava/LavaRandom.hs:16)
    newRnd (Lava/LavaRandom.hs:18)
   0% (  0 / 11) in 'Lava.MyST'
  Missing documentation for:
    Module header
    ST (Lava/MyST.hs:22)
    STRef (Lava/MyST.hs:39)
    newSTRef (Lava/MyST.hs:45)
    readSTRef (Lava/MyST.hs:48)
    writeSTRef (Lava/MyST.hs:51)
    runST (Lava/MyST.hs:54)
    fixST (Lava/MyST.hs:57)
    unsafePerformST (Lava/MyST.hs:60)
    unsafeInterleaveST (Lava/MyST.hs:63)
    unsafeIOtoST (Lava/MyST.hs:66)
   0% (  0 / 15) in 'Lava.Ref'
  Missing documentation for:
    Module header
    Ref (Lava/Ref.hs:81)
    ref (Lava/Ref.hs:90)
    deref (Lava/Ref.hs:95)
    memoRef (Lava/Ref.hs:140)
    TableIO (Lava/Ref.hs:104)
    tableIO (Lava/Ref.hs:108)
    extendIO (Lava/Ref.hs:116)
    findIO (Lava/Ref.hs:111)
    memoRefIO (Lava/Ref.hs:143)
    TableST (Lava/Ref.hs:124)
    tableST (Lava/Ref.hs:128)
    extendST (Lava/Ref.hs:134)
    findST (Lava/Ref.hs:131)
    memoRefST (Lava/Ref.hs:154)
   0% (  0 /  4) in 'Lava.SignalTry'
  Missing documentation for:
    Module header
    Signal (Lava/SignalTry.hs:5)
    Symbol (Lava/SignalTry.hs:9)
    and2 (Lava/SignalTry.hs:14)
   0% (  0 /  2) in 'Lava.IOBuffering'
  Missing documentation for:
    Module header
    noBuffering (Lava/IOBuffering.hs:9)
   0% (  0 /  2) in 'Lava.LavaDir'
  Missing documentation for:
    Module header
    getLavaDir (Lava/LavaDir.hs:5)
   0% (  0 /  3) in 'Lava.Error'
  Missing documentation for:
    Module header
    Error (Lava/Error.hs:10)
    wrong (Lava/Error.hs:24)
   0% (  0 /  4) in 'Lava.Sequent'
  Missing documentation for:
    Module header
    Sequent (Lava/Sequent.hs:6)
     (Lava/Sequent.hs:9)
    mmap (Lava/Sequent.hs:12)
   0% (  0 / 44) in 'Lava.Signal'
  Missing documentation for:
    Module header
    Signal (Lava/Signal.hs:14)
    Symbol (Lava/Signal.hs:17)
    S (Lava/Signal.hs:20)
    symbol (Lava/Signal.hs:41)
    unsymbol (Lava/Signal.hs:44)
     (Lava/Signal.hs:47)
    bool (Lava/Signal.hs:55)
    low (Lava/Signal.hs:58)
    high (Lava/Signal.hs:58)
    inv (Lava/Signal.hs:62)
    andl (Lava/Signal.hs:65)
    orl (Lava/Signal.hs:65)
    xorl (Lava/Signal.hs:65)
    equalBool (Lava/Signal.hs:70)
    ifBool (Lava/Signal.hs:73)
    delayBool (Lava/Signal.hs:76)
    varBool (Lava/Signal.hs:79)
    int (Lava/Signal.hs:84)
    neg (Lava/Signal.hs:87)
    divide (Lava/Signal.hs:90)
    modulo (Lava/Signal.hs:90)
    plusl (Lava/Signal.hs:94)
    timesl (Lava/Signal.hs:94)
    equall (Lava/Signal.hs:98)
    gteInt (Lava/Signal.hs:101)
    equalInt (Lava/Signal.hs:104)
    ifInt (Lava/Signal.hs:107)
    delayInt (Lava/Signal.hs:110)
    varInt (Lava/Signal.hs:113)
    lift0 (Lava/Signal.hs:118)
    lift1 (Lava/Signal.hs:121)
    lift2 (Lava/Signal.hs:124)
    lift3 (Lava/Signal.hs:127)
    liftl (Lava/Signal.hs:131)
    eval (Lava/Signal.hs:137)
    evalLazy (Lava/Signal.hs:167)
    arguments (Lava/Signal.hs:191)
    zips (Lava/Signal.hs:215)
     (Lava/Signal.hs:242)
     (Lava/Signal.hs:266)
     (Lava/Signal.hs:312)
     (Lava/Signal.hs:316)
     (Lava/Signal.hs:320)
   0% (  0 / 71) in 'Lava.Generic'
  Missing documentation for:
    Module header
    Struct (Lava/Generic.hs:20)
    flatten (Lava/Generic.hs:25)
    transStruct (Lava/Generic.hs:29)
     (Lava/Generic.hs:36)
     (Lava/Generic.hs:40)
    Generic (Lava/Generic.hs:52)
     (Lava/Generic.hs:56)
     (Lava/Generic.hs:60)
     (Lava/Generic.hs:64)
     (Lava/Generic.hs:68)
     (Lava/Generic.hs:72)
     (Lava/Generic.hs:76)
     (Lava/Generic.hs:80)
     (Lava/Generic.hs:84)
     (Lava/Generic.hs:88)
     (Lava/Generic.hs:92)
    Ops (Lava/Generic.hs:99)
    opsBool (Lava/Generic.hs:107)
    opsInt (Lava/Generic.hs:116)
    unSignal (Lava/Generic.hs:125)
    ops (Lava/Generic.hs:128)
    equal (Lava/Generic.hs:155)
    delay (Lava/Generic.hs:166)
    zeroify (Lava/Generic.hs:173)
    symbolize (Lava/Generic.hs:179)
    pickSymbol (Lava/Generic.hs:187)
    ConstructiveSig (Lava/Generic.hs:201)
    Constructive (Lava/Generic.hs:206)
    zeroList (Lava/Generic.hs:211)
    varList (Lava/Generic.hs:214)
    randomList (Lava/Generic.hs:217)
    splitRndList (Lava/Generic.hs:220)
    valRnd (Lava/Generic.hs:223)
     (Lava/Generic.hs:228)
     (Lava/Generic.hs:238)
     (Lava/Generic.hs:248)
     (Lava/Generic.hs:253)
     (Lava/Generic.hs:258)
     (Lava/Generic.hs:265)
     (Lava/Generic.hs:272)
     (Lava/Generic.hs:279)
     (Lava/Generic.hs:286)
     (Lava/Generic.hs:293)
    FiniteSig (Lava/Generic.hs:303)
    Finite (Lava/Generic.hs:306)
    domainList (Lava/Generic.hs:309)
     (Lava/Generic.hs:315)
     (Lava/Generic.hs:318)
     (Lava/Generic.hs:321)
     (Lava/Generic.hs:324)
     (Lava/Generic.hs:328)
     (Lava/Generic.hs:332)
     (Lava/Generic.hs:336)
     (Lava/Generic.hs:340)
     (Lava/Generic.hs:344)
    Choice (Lava/Generic.hs:351)
     (Lava/Generic.hs:356)
     (Lava/Generic.hs:359)
     (Lava/Generic.hs:363)
     (Lava/Generic.hs:366)
     (Lava/Generic.hs:370)
     (Lava/Generic.hs:374)
     (Lava/Generic.hs:378)
     (Lava/Generic.hs:382)
     (Lava/Generic.hs:386)
     (Lava/Generic.hs:391)
     (Lava/Generic.hs:396)
    mux (Lava/Generic.hs:400)
    strongZipWith (Lava/Generic.hs:406)
    lazyZipWith (Lava/Generic.hs:411)
   0% (  0 / 37) in 'Lava.Operators'
  Missing documentation for:
    Module header
    and2 (Lava/Operators.hs:16)
    or2 (Lava/Operators.hs:17)
    xor2 (Lava/Operators.hs:18)
    nand2 (Lava/Operators.hs:20)
    nor2 (Lava/Operators.hs:21)
    xnor2 (Lava/Operators.hs:22)
    equiv (Lava/Operators.hs:24)
    impl (Lava/Operators.hs:25)
    nandl (Lava/Operators.hs:27)
    norl (Lava/Operators.hs:28)
    plus (Lava/Operators.hs:30)
    sub (Lava/Operators.hs:31)
    times (Lava/Operators.hs:32)
    imod (Lava/Operators.hs:33)
    idiv (Lava/Operators.hs:34)
    |-> (Lava/Operators.hs:39)
    <==> (Lava/Operators.hs:40)
    <&> (Lava/Operators.hs:42)
    <|> (Lava/Operators.hs:43)
    <#> (Lava/Operators.hs:44)
    <=> (Lava/Operators.hs:45)
    ==> (Lava/Operators.hs:46)
    <== (Lava/Operators.hs:47)
    %% (Lava/Operators.hs:49)
    gte (Lava/Operators.hs:50)
    >>== (Lava/Operators.hs:51)
    imin (Lava/Operators.hs:53)
    imax (Lava/Operators.hs:54)
    SignalInt (Lava/Operators.hs:56)
     (Lava/Operators.hs:60)
     (Lava/Operators.hs:64)
     (Lava/Operators.hs:72)
     (Lava/Operators.hs:75)
     (Lava/Operators.hs:82)
    int2bit (Lava/Operators.hs:91)
    bit2int (Lava/Operators.hs:92)
   0% (  0 /  2) in 'Lava.ConstructiveAnalysis'
  Missing documentation for:
    Module header
    constructive (Lava/ConstructiveAnalysis.hs:27)
   0% (  0 / 18) in 'Lava.Property'
  Missing documentation for:
    Module header
    Gen (Lava/Property.hs:46)
    generate (Lava/Property.hs:63)
    ChoiceWithSig (Lava/Property.hs:122)
    Fresh (Lava/Property.hs:93)
    CoFresh (Lava/Property.hs:125)
    double (Lava/Property.hs:197)
    triple (Lava/Property.hs:200)
    list (Lava/Property.hs:203)
    listOf (Lava/Property.hs:206)
    results (Lava/Property.hs:212)
    sequential (Lava/Property.hs:217)
    forAll (Lava/Property.hs:367)
    Property (Lava/Property.hs:231)
    Checkable (Lava/Property.hs:234)
    ShowModel (Lava/Property.hs:270)
    Model (Lava/Property.hs:260)
    properties (Lava/Property.hs:377)
   0% (  0 /  4) in 'Lava.Netlist'
  Missing documentation for:
    Module header
    netlist (Lava/Netlist.hs:20)
    netlistIO (Lava/Netlist.hs:26)
    netlistST (Lava/Netlist.hs:42)
   0% (  0 /  2) in 'Lava.Combinational'
  Missing documentation for:
    Module header
    simulate (Lava/Combinational.hs:22)
   0% (  0 /  2) in 'Lava.Sequential'
  Missing documentation for:
    Module header
    simulateSeq (Lava/Sequential.hs:37)
   0% (  0 /  2) in 'Lava.Test'
  Missing documentation for:
    Module header
    test (Lava/Test.hs:14)
   0% (  0 /  2) in 'Lava.SequentialConstructive'
  Missing documentation for:
    Module header
    simulateCon (Lava/SequentialConstructive.hs:38)
   0% (  0 /  7) in 'Lava.Verification'
  Missing documentation for:
    Module header
    Option (Lava/Verification.hs:47)
    verify (Lava/Verification.hs:86)
    verifyWith (Lava/Verification.hs:89)
    ProofResult (Lava/Verification.hs:256)
    verifyDir (Lava/Verification.hs:41)
    checkVerifyDir (Lava/Verification.hs:468)
   0% (  0 /  6) in 'Lava.Vis'
  Missing documentation for:
    Module header
    vis (Lava/Vis.hs:43)
    writeVis (Lava/Vis.hs:57)
    writeVisInput (Lava/Vis.hs:61)
    writeVisInputOutput (Lava/Vis.hs:65)
    equivCheckVisInput (Lava/Vis.hs:219)
   0% (  0 /  2) in 'Lava.Fixit'
  Missing documentation for:
    Module header
    fixit (Lava/Fixit.hs:39)
   0% (  0 /  2) in 'Lava.Smv'
  Missing documentation for:
    Module header
    smv (Lava/Smv.hs:39)
   0% (  0 /  2) in 'Lava.Satzoo'
  Missing documentation for:
    Module header
    satzoo (Lava/Satzoo.hs:39)
   0% (  0 /  2) in 'Lava.Retime'
  Missing documentation for:
    Module header
    timeTransform (Lava/Retime.hs:18)
   0% (  0 /  4) in 'Lava.Vhdl'
  Missing documentation for:
    Module header
    writeVhdl (Lava/Vhdl.hs:41)
    writeVhdlInput (Lava/Vhdl.hs:45)
    writeVhdlInputOutput (Lava/Vhdl.hs:49)
   0% (  0 /  2) in 'Lava.Captain'
  Missing documentation for:
    Module header
    captain (Lava/Captain.hs:41)
   0% (  0 /  2) in 'Lava.Eprover'
  Missing documentation for:
    Module header
    eprover (Lava/Eprover.hs:43)
   0% (  0 /  2) in 'Lava.HeerHugo'
  Missing documentation for:
    Module header
    heerhugo (Lava/HeerHugo.hs:39)
   0% (  0 /  4) in 'Lava.Isc'
  Missing documentation for:
    Module header
    IscMethod (Lava/Isc.hs:27)
    isc (Lava/Isc.hs:36)
    iscWith (Lava/Isc.hs:39)
   0% (  0 /  2) in 'Lava.Limmat'
  Missing documentation for:
    Module header
    limmat (Lava/Limmat.hs:39)
   0% (  0 /  2) in 'Lava.Minisat'
  Missing documentation for:
    Module header
    minisat (Lava/Minisat.hs:39)
   0% (  0 /  2) in 'Lava.Modoc'
  Missing documentation for:
    Module header
    modoc (Lava/Modoc.hs:39)
   0% (  0 /  2) in 'Lava.Satnik'
  Missing documentation for:
    Module header
    satnik (Lava/Satnik.hs:39)
   0% (  0 /  2) in 'Lava.Stable'
  Missing documentation for:
    Module header
    stable (Lava/Stable.hs:25)
   0% (  0 /  3) in 'Lava.Table'
  Missing documentation for:
    Module header
    table (Lava/Table.hs:49)
    tableProp (Lava/Table.hs:43)
   0% (  0 /  2) in 'Lava.Zchaff'
  Missing documentation for:
    Module header
    zchaff (Lava/Zchaff.hs:39)
  94% ( 16 / 17) in 'Lava'
  Missing documentation for:
    Module header
   0% (  0 / 31) in 'Lava.Patterns'
  Missing documentation for:
    Module header
    swap (Lava/Patterns.hs:16)
    swapl (Lava/Patterns.hs:17)
    copy (Lava/Patterns.hs:19)
    riffle (Lava/Patterns.hs:21)
    unriffle (Lava/Patterns.hs:22)
    zipp (Lava/Patterns.hs:24)
    unzipp (Lava/Patterns.hs:27)
    pair (Lava/Patterns.hs:32)
    unpair (Lava/Patterns.hs:35)
    halveList (Lava/Patterns.hs:38)
    append (Lava/Patterns.hs:44)
    serial (Lava/Patterns.hs:49)
    ->- (Lava/Patterns.hs:50)
    compose (Lava/Patterns.hs:52)
    composeN (Lava/Patterns.hs:55)
    par (Lava/Patterns.hs:57)
    -|- (Lava/Patterns.hs:58)
    parl (Lava/Patterns.hs:60)
    two (Lava/Patterns.hs:63)
    ilv (Lava/Patterns.hs:64)
    iter (Lava/Patterns.hs:66)
    twoN (Lava/Patterns.hs:69)
    ilvN (Lava/Patterns.hs:70)
    bfly (Lava/Patterns.hs:72)
    pmap (Lava/Patterns.hs:75)
    tri (Lava/Patterns.hs:77)
    mirror (Lava/Patterns.hs:80)
    row (Lava/Patterns.hs:84)
    column (Lava/Patterns.hs:90)
    grid (Lava/Patterns.hs:92)
   0% (  0 / 11) in 'Lava.Arithmetic'
  Missing documentation for:
    Module header
    halfAdd (Lava/Arithmetic.hs:9)
    fullAdd (Lava/Arithmetic.hs:14)
    bitAdder (Lava/Arithmetic.hs:20)
    adder (Lava/Arithmetic.hs:22)
    binAdder (Lava/Arithmetic.hs:30)
    bitMulti (Lava/Arithmetic.hs:34)
    multi (Lava/Arithmetic.hs:36)
    numBreak (Lava/Arithmetic.hs:45)
    int2bin (Lava/Arithmetic.hs:51)
    bin2int (Lava/Arithmetic.hs:57)
   0% (  0 / 12) in 'Lava.SequentialCircuits'
  Missing documentation for:
    Module header
    edge (Lava/SequentialCircuits.hs:8)
    toggle (Lava/SequentialCircuits.hs:13)
    delayClk (Lava/SequentialCircuits.hs:18)
    delayN (Lava/SequentialCircuits.hs:23)
    always (Lava/SequentialCircuits.hs:29)
    constant (Lava/SequentialCircuits.hs:34)
    puls (Lava/SequentialCircuits.hs:40)
    outputList (Lava/SequentialCircuits.hs:45)
    rowSeq (Lava/SequentialCircuits.hs:49)
    rowSeqReset (Lava/SequentialCircuits.hs:54)
    rowSeqPeriod (Lava/SequentialCircuits.hs:60)
Warning: Lava.Property: could not find link destinations for:
    ifThenElseWithSig
Documentation created: dist/doc/html/chalmers-lava2000/index.html,
dist/doc/html/chalmers-lava2000/chalmers-lava2000.txt
Creating package registration file:
/tmp/pkgConf-chalmers-lava2000-114115496761843993368.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/chalmers-lava2000-1.6-77o8aCmxH0WJ5Uii5KqkZc
Registering chalmers-lava2000-1.6...
Installed chalmers-lava2000-1.6