Build #1 for chalmers-lava2000-1.6
| Package | chalmers-lava2000-1.6 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-11-06 12:42:02.17931 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | random-1.1, process-1.2.3.0, base-4.8.1.0, array-0.5.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.