Build #1 for abcBridge-0.15
| Package | abcBridge-0.15 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-10-26 01:55:46.481885 UTC |
|---|---|
| Compiler | ghc-8.0.1.20160701 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aig-0.2.4, base-4.9.0.0, base-compat-0.9.1, containers-0.5.7.1, directory-1.2.6.2, vector-0.11.0.0 |
| Flags | enable-pthreads -enable-extra-tests |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-25560/base-compat-0.9.1'
Configuring base-compat-0.9.1...
Building base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
[ 1 of 37] Compiling Text.Read.Compat ( src/Text/Read/Compat.hs, dist/build/Text/Read/Compat.o )
[ 2 of 37] Compiling System.IO.Unsafe.Compat ( src/System/IO/Unsafe/Compat.hs, dist/build/System/IO/Unsafe/Compat.o )
[ 3 of 37] Compiling System.Exit.Compat ( src/System/Exit/Compat.hs, dist/build/System/Exit/Compat.o )
[ 4 of 37] Compiling System.Environment.Compat ( src/System/Environment/Compat.hs, dist/build/System/Environment/Compat.o )
[ 5 of 37] Compiling Prelude.Compat ( src/Prelude/Compat.hs, dist/build/Prelude/Compat.o )
[ 6 of 37] Compiling Numeric.Compat ( src/Numeric/Compat.hs, dist/build/Numeric/Compat.o )
[ 7 of 37] Compiling Foreign.Marshal.Unsafe.Compat ( src/Foreign/Marshal/Unsafe/Compat.hs, dist/build/Foreign/Marshal/Unsafe/Compat.o )
[ 8 of 37] Compiling Foreign.Marshal.Safe.Compat ( src/Foreign/Marshal/Safe/Compat.hs, dist/build/Foreign/Marshal/Safe/Compat.o )
[ 9 of 37] Compiling Foreign.Marshal.Utils.Compat ( src/Foreign/Marshal/Utils/Compat.hs, dist/build/Foreign/Marshal/Utils/Compat.o )
[10 of 37] Compiling Foreign.Marshal.Array.Compat ( src/Foreign/Marshal/Array/Compat.hs, dist/build/Foreign/Marshal/Array/Compat.o )
[11 of 37] Compiling Foreign.Marshal.Alloc.Compat ( src/Foreign/Marshal/Alloc/Compat.hs, dist/build/Foreign/Marshal/Alloc/Compat.o )
[12 of 37] Compiling Foreign.ForeignPtr.Unsafe.Compat ( src/Foreign/ForeignPtr/Unsafe/Compat.hs, dist/build/Foreign/ForeignPtr/Unsafe/Compat.o )
[13 of 37] Compiling Foreign.ForeignPtr.Safe.Compat ( src/Foreign/ForeignPtr/Safe/Compat.hs, dist/build/Foreign/ForeignPtr/Safe/Compat.o )
[14 of 37] Compiling Foreign.Marshal.Compat ( src/Foreign/Marshal/Compat.hs, dist/build/Foreign/Marshal/Compat.o )
[15 of 37] Compiling Foreign.Compat ( src/Foreign/Compat.hs, dist/build/Foreign/Compat.o )
[16 of 37] Compiling Debug.Trace.Compat ( src/Debug/Trace/Compat.hs, dist/build/Debug/Trace/Compat.o )
[17 of 37] Compiling Data.Word.Compat ( src/Data/Word/Compat.hs, dist/build/Data/Word/Compat.o )
[18 of 37] Compiling Data.Version.Compat ( src/Data/Version/Compat.hs, dist/build/Data/Version/Compat.o )
[19 of 37] Compiling Data.String.Compat ( src/Data/String/Compat.hs, dist/build/Data/String/Compat.o )
[20 of 37] Compiling Data.STRef.Compat ( src/Data/STRef/Compat.hs, dist/build/Data/STRef/Compat.o )
[21 of 37] Compiling Data.Ratio.Compat ( src/Data/Ratio/Compat.hs, dist/build/Data/Ratio/Compat.o )
[22 of 37] Compiling Data.Monoid.Compat ( src/Data/Monoid/Compat.hs, dist/build/Data/Monoid/Compat.o )
[23 of 37] Compiling Data.List.Compat ( src/Data/List/Compat.hs, dist/build/Data/List/Compat.o )
[24 of 37] Compiling Data.IORef.Compat ( src/Data/IORef/Compat.hs, dist/build/Data/IORef/Compat.o )
[25 of 37] Compiling Data.Functor.Const.Compat ( src/Data/Functor/Const/Compat.hs, dist/build/Data/Functor/Const/Compat.o )
[26 of 37] Compiling Data.Functor.Compat ( src/Data/Functor/Compat.hs, dist/build/Data/Functor/Compat.o )
[27 of 37] Compiling Data.Function.Compat ( src/Data/Function/Compat.hs, dist/build/Data/Function/Compat.o )
[28 of 37] Compiling Data.Foldable.Compat ( src/Data/Foldable/Compat.hs, dist/build/Data/Foldable/Compat.o )
[29 of 37] Compiling Data.Either.Compat ( src/Data/Either/Compat.hs, dist/build/Data/Either/Compat.o )
[30 of 37] Compiling Data.Complex.Compat ( src/Data/Complex/Compat.hs, dist/build/Data/Complex/Compat.o )
[31 of 37] Compiling Data.Bool.Compat ( src/Data/Bool/Compat.hs, dist/build/Data/Bool/Compat.o )
[32 of 37] Compiling Data.Bits.Compat ( src/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o )
[33 of 37] Compiling Control.Monad.ST.Unsafe.Compat ( src/Control/Monad/ST/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Unsafe/Compat.o )
[34 of 37] Compiling Control.Monad.ST.Lazy.Unsafe.Compat ( src/Control/Monad/ST/Lazy/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Lazy/Unsafe/Compat.o )
[35 of 37] Compiling Control.Monad.Compat ( src/Control/Monad/Compat.hs, dist/build/Control/Monad/Compat.o )
[36 of 37] Compiling Control.Concurrent.MVar.Compat ( src/Control/Concurrent/MVar/Compat.hs, dist/build/Control/Concurrent/MVar/Compat.o )
[37 of 37] Compiling Control.Concurrent.Compat ( src/Control/Concurrent/Compat.hs, dist/build/Control/Concurrent/Compat.o )
Running Haddock for base-compat-0.9.1...
Running hscolour for base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Haddock coverage:
89% ( 16 / 18) in 'Text.Read.Compat'
Missing documentation for:
Module header
Lexeme
Warning: System.IO.Unsafe.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'System.IO.Unsafe.Compat'
Missing documentation for:
Module header
Warning: System.Exit.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'System.Exit.Compat'
Missing documentation for:
Module header
100% ( 10 / 10) in 'System.Environment.Compat'
Warning: Prelude.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Prelude.Compat'
Missing documentation for:
Module header
Warning: Numeric.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Numeric.Compat'
Missing documentation for:
Module header
67% ( 2 / 3) in 'Foreign.Marshal.Unsafe.Compat'
Missing documentation for:
Module header
86% ( 6 / 7) in 'Foreign.Marshal.Safe.Compat'
Missing documentation for:
Module header
Warning: Foreign.Marshal.Utils.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Foreign.Marshal.Utils.Compat'
Missing documentation for:
Module header
Warning: Foreign.Marshal.Array.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Foreign.Marshal.Array.Compat'
Missing documentation for:
Module header
Warning: Foreign.Marshal.Alloc.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Foreign.Marshal.Alloc.Compat'
Missing documentation for:
Module header
67% ( 2 / 3) in 'Foreign.ForeignPtr.Unsafe.Compat'
Missing documentation for:
Module header
90% ( 19 / 21) in 'Foreign.ForeignPtr.Safe.Compat'
Missing documentation for:
Module header
FinalizerEnvPtr
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Base
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Alloc
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Array
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Utils
0% ( 0 / 1) in 'Foreign.Marshal.Compat'
Missing documentation for:
Module header
Warning: Foreign.Compat: Could not find documentation for exported module: Base
Warning: Foreign.Compat: Could not find documentation for exported module: Marshal
0% ( 0 / 1) in 'Foreign.Compat'
Missing documentation for:
Module header
Warning: Debug.Trace.Compat: Could not find documentation for exported module: Base
80% ( 4 / 5) in 'Debug.Trace.Compat'
Missing documentation for:
Module header
Warning: Data.Word.Compat: Could not find documentation for exported module: Base
75% ( 3 / 4) in 'Data.Word.Compat'
Missing documentation for:
Module header
Warning: Data.Version.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Version.Compat'
Missing documentation for:
Module header
Warning: Data.String.Compat: Could not find documentation for exported module: Base
83% ( 5 / 6) in 'Data.String.Compat'
Missing documentation for:
Module header
Warning: Data.STRef.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.STRef.Compat'
Missing documentation for:
Module header
Warning: Data.Ratio.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.Ratio.Compat'
Missing documentation for:
Module header
Warning: Data.Monoid.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Monoid.Compat'
Missing documentation for:
Module header
Warning: Data.List.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.List.Compat'
Missing documentation for:
Module header
Warning: Data.IORef.Compat: Could not find documentation for exported module: Base
75% ( 3 / 4) in 'Data.IORef.Compat'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Functor.Const.Compat'
Missing documentation for:
Module header
Warning: Data.Functor.Compat: Could not find documentation for exported module: Base
75% ( 3 / 4) in 'Data.Functor.Compat'
Missing documentation for:
Module header
Warning: Data.Function.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Function.Compat'
Missing documentation for:
Module header
Warning: Data.Foldable.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.Foldable.Compat'
Missing documentation for:
Module header
Warning: Data.Either.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Data.Either.Compat'
Missing documentation for:
Module header
Warning: Data.Complex.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.Complex.Compat'
Missing documentation for:
Module header
Warning: Data.Bool.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Bool.Compat'
Missing documentation for:
Module header
Warning: Data.Bits.Compat: Could not find documentation for exported module: Base
80% ( 4 / 5) in 'Data.Bits.Compat'
Missing documentation for:
Module header
20% ( 1 / 5) in 'Control.Monad.ST.Unsafe.Compat'
Missing documentation for:
Module header
unsafeInterleaveST
unsafeIOToST
unsafeSTToIO
25% ( 1 / 4) in 'Control.Monad.ST.Lazy.Unsafe.Compat'
Missing documentation for:
Module header
unsafeInterleaveST
unsafeIOToST
Warning: Control.Monad.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Control.Monad.Compat'
Missing documentation for:
Module header
Warning: Control.Concurrent.MVar.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Control.Concurrent.MVar.Compat'
Missing documentation for:
Module header
Warning: Control.Concurrent.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Control.Concurrent.Compat'
Missing documentation for:
Module header
Warning: Text.Read.Compat: could not find link destinations for:
~
Warning: Data.Functor.Const.Compat: could not find link destinations for:
unsafeIndex unsafeRangeSize
Warning: Data.Functor.Compat: could not find link destinations for:
P
Warning: Control.Monad.Compat: could not find link destinations for:
P
Documentation created: dist/doc/html/base-compat/index.html,
dist/doc/html/base-compat/base-compat.txt
Creating package registration file:
/tmp/pkgConf-base-compat-0.92145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/base-compat-0.9.1-tmPpmtbHbvIDjFWbkjGrR
Registering base-compat-0.9.1...
cabal: Leaving directory '/tmp/cabal-tmp-25560/base-compat-0.9.1'
Installed base-compat-0.9.1
cabal: Entering directory '/tmp/cabal-tmp-25560/mtl-2.2.1'
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.212818308571386418627.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-25560/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-25560/primitive-0.6.1.0'
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )
Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
Module ‘Control.Monad.Trans.Error’ is deprecated:
Use Control.Monad.Trans.Except instead
Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
Running Haddock for primitive-0.6.1.0...
Running hscolour for primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
Module ‘Control.Monad.Trans.Error’ is deprecated:
Use Control.Monad.Trans.Except instead
Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
Missing documentation for:
sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19)
sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19)
sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19)
sIZEOF_PTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19)
Word64_# (Data/Primitive/MachDeps.hs:120)
Int64_# (Data/Primitive/MachDeps.hs:121)
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
Missing documentation for:
setWord8Array# (Data/Primitive/Internal/Operations.hs:33)
setWord16Array# (Data/Primitive/Internal/Operations.hs:35)
setWord32Array# (Data/Primitive/Internal/Operations.hs:37)
setWord64Array# (Data/Primitive/Internal/Operations.hs:39)
setWordArray# (Data/Primitive/Internal/Operations.hs:41)
setInt8Array# (Data/Primitive/Internal/Operations.hs:43)
setInt16Array# (Data/Primitive/Internal/Operations.hs:45)
setInt32Array# (Data/Primitive/Internal/Operations.hs:47)
setInt64Array# (Data/Primitive/Internal/Operations.hs:49)
setIntArray# (Data/Primitive/Internal/Operations.hs:51)
setAddrArray# (Data/Primitive/Internal/Operations.hs:53)
setFloatArray# (Data/Primitive/Internal/Operations.hs:55)
setDoubleArray# (Data/Primitive/Internal/Operations.hs:57)
setWideCharArray# (Data/Primitive/Internal/Operations.hs:59)
setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62)
setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64)
setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66)
setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68)
setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70)
setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72)
setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74)
setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76)
setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78)
setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80)
setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82)
setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84)
setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86)
setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88)
75% ( 12 / 16) in 'Control.Monad.Primitive'
Missing documentation for:
unsafeInlinePrim (Control/Monad/Primitive.hs:189)
unsafeInlineIO (Control/Monad/Primitive.hs:193)
unsafeInlineST (Control/Monad/Primitive.hs:197)
touch (Control/Monad/Primitive.hs:201)
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 15 / 15) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
Missing documentation for:
ByteArray#
MutableByteArray#
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 9 / 9) in 'Data.Primitive.MutVar'
Warning: Control.Monad.Primitive: could not find link destinations for:
~
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.18332153501280311131.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa
Registering primitive-0.6.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-25560/primitive-0.6.1.0'
Installed primitive-0.6.1.0
cabal: Entering directory '/tmp/cabal-tmp-25560/random-1.1'
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: [-Wtabs]
Tab character found here, and in 74 further locations.
Please use spaces instead.
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: [-Wtabs]
Tab character found here, and in 74 further locations.
Please use spaces instead.
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-1470631541750167716.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-25560/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-25560/vector-0.11.0.0'
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
[ 1 of 21] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports]
The import of ‘Foreign.ForeignPtr’ is redundant
except perhaps to import instances from ‘Foreign.ForeignPtr’
To import instances alone, use: import Foreign.ForeignPtr()
Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports]
The import of ‘Foreign.Ptr’ is redundant
except perhaps to import instances from ‘Foreign.Ptr’
To import instances alone, use: import Foreign.Ptr()
[ 2 of 21] Compiling Data.Vector.Generic.Mutable.Base ( Data/Vector/Generic/Mutable/Base.hs, dist/build/Data/Vector/Generic/Mutable/Base.o )
[ 3 of 21] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 4 of 21] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 5 of 21] Compiling Data.Vector.Fusion.Bundle.Size ( Data/Vector/Fusion/Bundle/Size.hs, dist/build/Data/Vector/Fusion/Bundle/Size.o )
[ 6 of 21] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 7 of 21] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Monad m, Monad m')
• In the type signature for:
trans :: (Monad m, Monad m') =>
(forall z. m z -> m' z) -> Stream m a -> Stream m' a
Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints]
• Redundant constraint: Ord a
• In the type signature for:
enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
a -> a -> Stream m a
[ 8 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic ( Data/Vector/Fusion/Bundle/Monadic.hs, dist/build/Data/Vector/Fusion/Bundle/Monadic.o )
Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints]
• Redundant constraint: Ord a
• In the type signature for:
enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
a -> a -> Bundle m v a
[ 9 of 21] Compiling Data.Vector.Fusion.Bundle ( Data/Vector/Fusion/Bundle.hs, dist/build/Data/Vector/Fusion/Bundle.o )
Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs]
Tab character found here.
Please use spaces instead.
[10 of 21] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[11 of 21] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[12 of 21] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints]
• Redundant constraint: Vector v a
• In the type signature for:
dataCast :: (Vector v a, Data a, Typeable v, Typeable t) =>
(forall d. Data d => c (t d)) -> Maybe (c (v a))
[13 of 21] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[14 of 21] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[15 of 21] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports]
The import of ‘Foreign.Ptr’ is redundant
except perhaps to import instances from ‘Foreign.Ptr’
To import instances alone, use: import Foreign.Ptr()
Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeFromForeignPtr0 :: Storable a =>
ForeignPtr a -> Int -> MVector s a
Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr :: Storable a =>
MVector s a -> (ForeignPtr a, Int, Int)
Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr0 :: Storable a =>
MVector s a -> (ForeignPtr a, Int)
Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b
[16 of 21] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeFromForeignPtr0 :: Storable a =>
ForeignPtr a -> Int -> Vector a
Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr :: Storable a =>
Vector a -> (ForeignPtr a, Int, Int)
Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr0 :: Storable a =>
Vector a -> (ForeignPtr a, Int)
Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b
[17 of 21] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints]
• Redundant constraint: RealFloat a
• In the instance declaration for ‘M.MVector MVector (Complex a)’
[18 of 21] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b)
• In the type signature for:
unzip :: (Unbox a, Unbox b) =>
Vector (a, b) -> (Vector a, Vector b)
internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c)
• In the type signature for:
unzip3 :: (Unbox a, Unbox b, Unbox c) =>
Vector (a, b, c) -> (Vector a, Vector b, Vector c)
internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
• In the type signature for:
unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d)
internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e)
• In the type signature for:
unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
Vector (a, b, c, d, e)
-> (Vector a, Vector b, Vector c, Vector d, Vector e)
internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e,
Unbox f)
• In the type signature for:
unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
Vector (a, b, c, d, e, f)
-> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f)
[19 of 21] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b)
• In the type signature for:
unzip :: (Unbox a, Unbox b) =>
MVector s (a, b) -> (MVector s a, MVector s b)
internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c)
• In the type signature for:
unzip3 :: (Unbox a, Unbox b, Unbox c) =>
MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c)
internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
• In the type signature for:
unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
MVector s (a, b, c, d)
-> (MVector s a, MVector s b, MVector s c, MVector s d)
internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e)
• In the type signature for:
unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
MVector s (a, b, c, d, e)
-> (MVector s a, MVector s b, MVector s c, MVector s d,
MVector s e)
internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e,
Unbox f)
• In the type signature for:
unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
MVector s (a, b, c, d, e, f)
-> (MVector s a, MVector s b, MVector s c, MVector s d,
MVector s e, MVector s f)
[20 of 21] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[21 of 21] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
Running Haddock for vector-0.11.0.0...
Running hscolour for vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports]
The import of ‘Foreign.ForeignPtr’ is redundant
except perhaps to import instances from ‘Foreign.ForeignPtr’
To import instances alone, use: import Foreign.ForeignPtr()
Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports]
The import of ‘Foreign.Ptr’ is redundant
except perhaps to import instances from ‘Foreign.Ptr’
To import instances alone, use: import Foreign.Ptr()
Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Monad m, Monad m')
• In the type signature for:
trans :: (Monad m, Monad m') =>
(forall z. m z -> m' z) -> Stream m a -> Stream m' a
Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints]
• Redundant constraint: Ord a
• In the type signature for:
enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
a -> a -> Stream m a
Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints]
• Redundant constraint: Ord a
• In the type signature for:
enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
a -> a -> Bundle m v a
Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs]
Tab character found here.
Please use spaces instead.
Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints]
• Redundant constraint: Vector v a
• In the type signature for:
dataCast :: (Vector v a, Data a, Typeable v, Typeable t) =>
(forall d. Data d => c (t d)) -> Maybe (c (v a))
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
Missing documentation for:
getPtr (Data/Vector/Storable/Internal.hs:22)
setPtr (Data/Vector/Storable/Internal.hs:26)
updPtr (Data/Vector/Storable/Internal.hs:30)
100% ( 2 / 2) in 'Data.Vector.Generic.Mutable.Base'
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 8 / 8) in 'Data.Vector.Fusion.Bundle.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
Missing documentation for:
Checks (Data/Vector/Internal/Check.hs:51)
doChecks (Data/Vector/Internal/Check.hs:75)
error (Data/Vector/Internal/Check.hs:84)
internalError (Data/Vector/Internal/Check.hs:89)
check (Data/Vector/Internal/Check.hs:105)
checkIndex (Data/Vector/Internal/Check.hs:119)
checkLength (Data/Vector/Internal/Check.hs:133)
checkSlice (Data/Vector/Internal/Check.hs:147)
82% (103 /125) in 'Data.Vector.Fusion.Stream.Monadic'
Missing documentation for:
generate (Data/Vector/Fusion/Stream/Monadic.hs:184)
unbox (Data/Vector/Fusion/Stream/Monadic.hs:436)
concatMap (Data/Vector/Fusion/Stream/Monadic.hs:996)
zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:512)
zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:516)
zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:544)
zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:551)
zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:558)
zipWith (Data/Vector/Fusion/Stream/Monadic.hs:566)
zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:570)
zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:575)
zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:581)
zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:587)
zip (Data/Vector/Fusion/Stream/Monadic.hs:593)
zip3 (Data/Vector/Fusion/Stream/Monadic.hs:597)
zip4 (Data/Vector/Fusion/Stream/Monadic.hs:601)
zip5 (Data/Vector/Fusion/Stream/Monadic.hs:606)
zip6 (Data/Vector/Fusion/Stream/Monadic.hs:611)
and (Data/Vector/Fusion/Stream/Monadic.hs:970)
or (Data/Vector/Fusion/Stream/Monadic.hs:983)
concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:1000)
unfoldrN (Data/Vector/Fusion/Stream/Monadic.hs:1062)
79% (106 /135) in 'Data.Vector.Fusion.Bundle.Monadic'
Missing documentation for:
Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
generate (Data/Vector/Fusion/Bundle/Monadic.hs:190)
unbox (Data/Vector/Fusion/Bundle/Monadic.hs:301)
concatMap (Data/Vector/Fusion/Bundle/Monadic.hs:595)
zipWithM_ (Data/Vector/Fusion/Bundle/Monadic.hs:332)
zipWith3M (Data/Vector/Fusion/Bundle/Monadic.hs:336)
zipWith4M (Data/Vector/Fusion/Bundle/Monadic.hs:343)
zipWith5M (Data/Vector/Fusion/Bundle/Monadic.hs:350)
zipWith6M (Data/Vector/Fusion/Bundle/Monadic.hs:357)
zipWith (Data/Vector/Fusion/Bundle/Monadic.hs:365)
zipWith3 (Data/Vector/Fusion/Bundle/Monadic.hs:369)
zipWith4 (Data/Vector/Fusion/Bundle/Monadic.hs:374)
zipWith5 (Data/Vector/Fusion/Bundle/Monadic.hs:380)
zipWith6 (Data/Vector/Fusion/Bundle/Monadic.hs:386)
zip (Data/Vector/Fusion/Bundle/Monadic.hs:392)
zip3 (Data/Vector/Fusion/Bundle/Monadic.hs:396)
zip4 (Data/Vector/Fusion/Bundle/Monadic.hs:400)
zip5 (Data/Vector/Fusion/Bundle/Monadic.hs:405)
zip6 (Data/Vector/Fusion/Bundle/Monadic.hs:410)
and (Data/Vector/Fusion/Bundle/Monadic.hs:587)
or (Data/Vector/Fusion/Bundle/Monadic.hs:591)
concatMapM (Data/Vector/Fusion/Bundle/Monadic.hs:599)
fromVector (Data/Vector/Fusion/Bundle/Monadic.hs:1009)
reVector (Data/Vector/Fusion/Bundle/Monadic.hs:1085)
fromVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1028)
concatVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1054)
fromStream (Data/Vector/Fusion/Bundle/Monadic.hs:119)
chunks (Data/Vector/Fusion/Bundle/Monadic.hs:126)
elements (Data/Vector/Fusion/Bundle/Monadic.hs:130)
81% ( 88 /109) in 'Data.Vector.Fusion.Bundle'
Missing documentation for:
Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
inplace (Data/Vector/Fusion/Bundle.hs:113)
concatMap (Data/Vector/Fusion/Bundle.hs:265)
unbox (Data/Vector/Fusion/Bundle.hs:261)
zipWith4 (Data/Vector/Fusion/Bundle.hs:293)
zipWith5 (Data/Vector/Fusion/Bundle.hs:299)
zipWith6 (Data/Vector/Fusion/Bundle.hs:305)
zip (Data/Vector/Fusion/Bundle.hs:311)
zip3 (Data/Vector/Fusion/Bundle.hs:315)
zip4 (Data/Vector/Fusion/Bundle.hs:319)
zip5 (Data/Vector/Fusion/Bundle.hs:324)
zip6 (Data/Vector/Fusion/Bundle.hs:329)
and (Data/Vector/Fusion/Bundle.hs:415)
or (Data/Vector/Fusion/Bundle.hs:419)
unsafeFromList (Data/Vector/Fusion/Bundle.hs:609)
fromVector (Data/Vector/Fusion/Bundle.hs:613)
reVector (Data/Vector/Fusion/Bundle.hs:617)
fromVectors (Data/Vector/Fusion/Bundle.hs:621)
concatVectors (Data/Vector/Fusion/Bundle.hs:625)
zipWithM (Data/Vector/Fusion/Bundle.hs:520)
zipWithM_ (Data/Vector/Fusion/Bundle.hs:524)
66% ( 48 / 73) in 'Data.Vector.Generic.Mutable'
Missing documentation for:
init (Data/Vector/Generic/Mutable.hs:536)
tail (Data/Vector/Generic/Mutable.hs:540)
take (Data/Vector/Generic/Mutable.hs:515)
drop (Data/Vector/Generic/Mutable.hs:519)
splitAt (Data/Vector/Generic/Mutable.hs:527)
unsafeInit (Data/Vector/Generic/Mutable.hs:554)
unsafeTail (Data/Vector/Generic/Mutable.hs:558)
unsafeTake (Data/Vector/Generic/Mutable.hs:562)
unsafeDrop (Data/Vector/Generic/Mutable.hs:566)
growFront (Data/Vector/Generic/Mutable.hs:626)
unsafeGrowFront (Data/Vector/Generic/Mutable.hs:665)
mstream (Data/Vector/Generic/Mutable.hs:244)
mstreamR (Data/Vector/Generic/Mutable.hs:274)
transform (Data/Vector/Generic/Mutable.hs:268)
transformR (Data/Vector/Generic/Mutable.hs:303)
fill (Data/Vector/Generic/Mutable.hs:255)
fillR (Data/Vector/Generic/Mutable.hs:287)
unsafeAccum (Data/Vector/Generic/Mutable.hs:848)
accum (Data/Vector/Generic/Mutable.hs:824)
unsafeUpdate (Data/Vector/Generic/Mutable.hs:861)
update (Data/Vector/Generic/Mutable.hs:837)
reverse (Data/Vector/Generic/Mutable.hs:872)
unstablePartition (Data/Vector/Generic/Mutable.hs:881)
unstablePartitionBundle (Data/Vector/Generic/Mutable.hs:910)
partitionBundle (Data/Vector/Generic/Mutable.hs:938)
5% ( 1 / 20) in 'Data.Vector.Generic.New'
Missing documentation for:
New (Data/Vector/Generic/New.hs:40)
create (Data/Vector/Generic/New.hs:42)
run (Data/Vector/Generic/New.hs:46)
runPrim (Data/Vector/Generic/New.hs:50)
apply (Data/Vector/Generic/New.hs:54)
modify (Data/Vector/Generic/New.hs:58)
modifyWithBundle (Data/Vector/Generic/New.hs:62)
unstream (Data/Vector/Generic/New.hs:67)
transform (Data/Vector/Generic/New.hs:71)
unstreamR (Data/Vector/Generic/New.hs:93)
transformR (Data/Vector/Generic/New.hs:97)
slice (Data/Vector/Generic/New.hs:119)
init (Data/Vector/Generic/New.hs:123)
tail (Data/Vector/Generic/New.hs:127)
take (Data/Vector/Generic/New.hs:131)
drop (Data/Vector/Generic/New.hs:135)
unsafeSlice (Data/Vector/Generic/New.hs:139)
unsafeInit (Data/Vector/Generic/New.hs:143)
unsafeTail (Data/Vector/Generic/New.hs:147)
93% (223 /240) in 'Data.Vector.Generic'
Missing documentation for:
zipWith4 (Data/Vector/Generic.hs:1069)
zipWith5 (Data/Vector/Generic.hs:1078)
zipWith6 (Data/Vector/Generic.hs:1090)
izipWith3 (Data/Vector/Generic.hs:1112)
izipWith4 (Data/Vector/Generic.hs:1120)
izipWith5 (Data/Vector/Generic.hs:1129)
izipWith6 (Data/Vector/Generic.hs:1141)
zip3 (Data/Vector/Generic.hs:1159)
zip4 (Data/Vector/Generic.hs:1164)
zip5 (Data/Vector/Generic.hs:1169)
zip6 (Data/Vector/Generic.hs:1175)
unzip3 (Data/Vector/Generic.hs:1225)
unzip4 (Data/Vector/Generic.hs:1232)
unzip5 (Data/Vector/Generic.hs:1241)
unzip6 (Data/Vector/Generic.hs:1251)
dataCast (Data/Vector/Generic.hs:2080)
mkType (Data/Vector/Generic.hs:2075)
79% ( 41 / 52) in 'Data.Vector.Primitive.Mutable'
Missing documen
Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports]
The import of ‘Foreign.Ptr’ is redundant
except perhaps to import instances from ‘Foreign.Ptr’
To import instances alone, use: import Foreign.Ptr()
Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeFromForeignPtr0 :: Storable a =>
ForeignPtr a -> Int -> MVector s a
Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr :: Storable a =>
MVector s a -> (ForeignPtr a, Int, Int)
Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr0 :: Storable a =>
MVector s a -> (ForeignPtr a, Int)
Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b
Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeFromForeignPtr0 :: Storable a =>
ForeignPtr a -> Int -> Vector a
Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr :: Storable a =>
Vector a -> (ForeignPtr a, Int, Int)
Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeToForeignPtr0 :: Storable a =>
Vector a -> (ForeignPtr a, Int)
Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints]
• Redundant constraint: Storable a
• In the type signature for:
unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b
Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints]
• Redundant constraint: RealFloat a
• In the instance declaration for ‘M.MVector MVector (Complex a)’
internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b)
• In the type signature for:
unzip :: (Unbox a, Unbox b) =>
Vector (a, b) -> (Vector a, Vector b)
internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c)
• In the type signature for:
unzip3 :: (Unbox a, Unbox b, Unbox c) =>
Vector (a, b, c) -> (Vector a, Vector b, Vector c)
internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
• In the type signature for:
unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d)
internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e)
• In the type signature for:
unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
Vector (a, b, c, d, e)
-> (Vector a, Vector b, Vector c, Vector d, Vector e)
internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e,
Unbox f)
• In the type signature for:
unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
Vector (a, b, c, d, e, f)
-> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f)
internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b)
• In the type signature for:
unzip :: (Unbox a, Unbox b) =>
MVector s (a, b) -> (MVector s a, MVector s b)
internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c)
• In the type signature for:
unzip3 :: (Unbox a, Unbox b, Unbox c) =>
MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c)
internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
• In the type signature for:
unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
MVector s (a, b, c, d)
-> (MVector s a, MVector s b, MVector s c, MVector s d)
internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e)
• In the type signature for:
unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
MVector s (a, b, c, d, e)
-> (MVector s a, MVector s b, MVector s c, MVector s d,
MVector s e)
internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Unbox a,
Unbox b,
Unbox c,
Unbox d,
Unbox e,
Unbox f)
• In the type signature for:
unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
MVector s (a, b, c, d, e, f)
-> (MVector s a, MVector s b, MVector s c, MVector s d,
MVector s e, MVector s f)
tation for:
IOVector (Data/Vector/Primitive/Mutable.hs:76)
STVector (Data/Vector/Primitive/Mutable.hs:77)
init (Data/Vector/Primitive/Mutable.hs:164)
tail (Data/Vector/Primitive/Mutable.hs:168)
take (Data/Vector/Primitive/Mutable.hs:152)
drop (Data/Vector/Primitive/Mutable.hs:156)
splitAt (Data/Vector/Primitive/Mutable.hs:160)
unsafeInit (Data/Vector/Primitive/Mutable.hs:190)
unsafeTail (Data/Vector/Primitive/Mutable.hs:194)
unsafeTake (Data/Vector/Primitive/Mutable.hs:182)
unsafeDrop (Data/Vector/Primitive/Mutable.hs:186)
97% (185 /191) in 'Data.Vector.Primitive'
Missing documentation for:
zipWith4 (Data/Vector/Primitive.hs:802)
zipWith5 (Data/Vector/Primitive.hs:808)
zipWith6 (Data/Vector/Primitive.hs:816)
izipWith4 (Data/Vector/Primitive.hs:838)
izipWith5 (Data/Vector/Primitive.hs:844)
izipWith6 (Data/Vector/Primitive.hs:852)
82% ( 49 / 60) in 'Data.Vector.Storable.Mutable'
Missing documentation for:
IOVector (Data/Vector/Storable/Mutable.hs:96)
STVector (Data/Vector/Storable/Mutable.hs:97)
init (Data/Vector/Storable/Mutable.hs:246)
tail (Data/Vector/Storable/Mutable.hs:250)
take (Data/Vector/Storable/Mutable.hs:234)
drop (Data/Vector/Storable/Mutable.hs:238)
splitAt (Data/Vector/Storable/Mutable.hs:242)
unsafeInit (Data/Vector/Storable/Mutable.hs:272)
unsafeTail (Data/Vector/Storable/Mutable.hs:276)
unsafeTake (Data/Vector/Storable/Mutable.hs:264)
unsafeDrop (Data/Vector/Storable/Mutable.hs:268)
97% (194 /200) in 'Data.Vector.Storable'
Missing documentation for:
zipWith4 (Data/Vector/Storable.hs:812)
zipWith5 (Data/Vector/Storable.hs:818)
zipWith6 (Data/Vector/Storable.hs:826)
izipWith4 (Data/Vector/Storable.hs:848)
izipWith5 (Data/Vector/Storable.hs:854)
izipWith6 (Data/Vector/Storable.hs:862)
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
Missing documentation for:
MVector (Data/Vector/Unboxed/Base.hs:55)
IOVector (Data/Vector/Unboxed/Base.hs:58)
STVector (Data/Vector/Unboxed/Base.hs:59)
Vector (Data/Vector/Unboxed/Base.hs:56)
Unbox (Data/Vector/Unboxed/Base.hs:63)
96% (209 /218) in 'Data.Vector.Unboxed'
Missing documentation for:
Vector (Data/Vector/Unboxed/Base.hs:56)
MVector (Data/Vector/Unboxed/Base.hs:55)
Unbox (Data/Vector/Unboxed/Base.hs:63)
zipWith4 (Data/Vector/Unboxed.hs:849)
zipWith5 (Data/Vector/Unboxed.hs:855)
zipWith6 (Data/Vector/Unboxed.hs:862)
izipWith4 (Data/Vector/Unboxed.hs:883)
izipWith5 (Data/Vector/Unboxed.hs:889)
izipWith6 (Data/Vector/Unboxed.hs:896)
79% ( 50 / 63) in 'Data.Vector.Unboxed.Mutable'
Missing documentation for:
MVector (Data/Vector/Unboxed/Base.hs:55)
IOVector (Data/Vector/Unboxed/Base.hs:58)
STVector (Data/Vector/Unboxed/Base.hs:59)
Unbox (Data/Vector/Unboxed/Base.hs:63)
init (Data/Vector/Unboxed/Mutable.hs:102)
tail (Data/Vector/Unboxed/Mutable.hs:106)
take (Data/Vector/Unboxed/Mutable.hs:90)
drop (Data/Vector/Unboxed/Mutable.hs:94)
splitAt (Data/Vector/Unboxed/Mutable.hs:98)
unsafeInit (Data/Vector/Unboxed/Mutable.hs:128)
unsafeTail (Data/Vector/Unboxed/Mutable.hs:132)
unsafeTake (Data/Vector/Unboxed/Mutable.hs:120)
unsafeDrop (Data/Vector/Unboxed/Mutable.hs:124)
78% ( 40 / 51) in 'Data.Vector.Mutable'
Missing documentation for:
IOVector (Data/Vector/Mutable.hs:70)
STVector (Data/Vector/Mutable.hs:71)
init (Data/Vector/Mutable.hs:222)
tail (Data/Vector/Mutable.hs:226)
take (Data/Vector/Mutable.hs:210)
drop (Data/Vector/Mutable.hs:214)
splitAt (Data/Vector/Mutable.hs:219)
unsafeInit (Data/Vector/Mutable.hs:247)
unsafeTail (Data/Vector/Mutable.hs:251)
unsafeTake (Data/Vector/Mutable.hs:239)
unsafeDrop (Data/Vector/Mutable.hs:243)
94% (207 /220) in 'Data.Vector'
Missing documentation for:
zipWith4 (Data/Vector.hs:944)
zipWith5 (Data/Vector.hs:949)
zipWith6 (Data/Vector.hs:955)
izipWith4 (Data/Vector.hs:973)
izipWith5 (Data/Vector.hs:978)
izipWith6 (Data/Vector.hs:984)
zip4 (Data/Vector.hs:1000)
zip5 (Data/Vector.hs:1005)
zip6 (Data/Vector.hs:1010)
unzip3 (Data/Vector.hs:1023)
unzip4 (Data/Vector.hs:1027)
unzip5 (Data/Vector.hs:1031)
unzip6 (Data/Vector.hs:1036)
Warning: Data.Vector.Unboxed: could not find link destinations for:
D:R:VectorBool0 V_Bool D:R:VectorChar0 V_Char D:R:VectorDouble0 V_Double D:R:VectorFloat0 V_Float D:R:VectorInt0 V_Int D:R:VectorInt80 V_Int8 D:R:VectorInt160 V_Int16 D:R:VectorInt320 V_Int32 D:R:VectorInt640 V_Int64 D:R:VectorWord0 V_Word D:R:VectorWord80 V_Word8 D:R:VectorWord160 V_Word16 D:R:VectorWord320 V_Word32 D:R:VectorWord640 V_Word64 D:R:Vector()0 V_Unit D:R:VectorComplex0 V_Complex D:R:Vector(,)0 V_2 D:R:Vector(,,)0 V_3 D:R:Vector(,,,)0 V_4 D:R:Vector(,,,,)0 V_5 D:R:Vector(,,,,,)0 V_6 D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file:
/tmp/pkgConf-vector-0.11.04118269691978701535.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/vector-0.11.0.0-6uB77qGCxR6GPLxI2sqsX3
Registering vector-0.11.0.0...
cabal: Leaving directory '/tmp/cabal-tmp-25560/vector-0.11.0.0'
Installed vector-0.11.0.0
cabal: Entering directory '/tmp/cabal-tmp-25560/tf-random-0.5'
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )
src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations]
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...
src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations]
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
100% ( 4 / 4) in 'System.Random.TF.Gen'
83% ( 5 / 6) in 'System.Random.TF.Init'
Missing documentation for:
Module header
33% ( 1 / 3) in 'System.Random.TF.Instances'
Missing documentation for:
Random (src/System/Random/TF/Instances.hs:37)
randomEnum (src/System/Random/TF/Instances.hs:205)
100% ( 3 / 3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file:
/tmp/pkgConf-tf-random-09561341581390865725.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD
Registering tf-random-0.5...
cabal: Leaving directory '/tmp/cabal-tmp-25560/tf-random-0.5'
Installed tf-random-0.5
cabal: Entering directory '/tmp/cabal-tmp-25560/QuickCheck-2.9.2'
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Preprocessing library QuickCheck-2.9.2...
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
Running Haddock for QuickCheck-2.9.2...
Running hscolour for QuickCheck-2.9.2...
Preprocessing library QuickCheck-2.9.2...
Preprocessing library QuickCheck-2.9.2...
Haddock coverage:
10% ( 2 / 20) in 'Test.QuickCheck.Random'
Missing documentation for:
newTheGen (Test/QuickCheck/Random.hs:17)
bits (Test/QuickCheck/Random.hs:20)
mask (Test/QuickCheck/Random.hs:20)
doneBit (Test/QuickCheck/Random.hs:20)
chip (Test/QuickCheck/Random.hs:25)
chop (Test/QuickCheck/Random.hs:30)
stop (Test/QuickCheck/Random.hs:33)
mkTheGen (Test/QuickCheck/Random.hs:36)
(Test/QuickCheck/Random.hs:65)
(Test/QuickCheck/Random.hs:67)
(Test/QuickCheck/Random.hs:70)
newQCGen (Test/QuickCheck/Random.hs:79)
mkQCGen (Test/QuickCheck/Random.hs:82)
bigNatVariant (Test/QuickCheck/Random.hs:85)
natVariant (Test/QuickCheck/Random.hs:91)
variantTheGen (Test/QuickCheck/Random.hs:97)
boolVariant (Test/QuickCheck/Random.hs:103)
variantQCGen (Test/QuickCheck/Random.hs:107)
33% ( 3 / 9) in 'Test.QuickCheck.Exception'
Missing documentation for:
AnException (Test/QuickCheck/Exception.hs:23)
tryEvaluate (Test/QuickCheck/Exception.hs:55)
tryEvaluateIO (Test/QuickCheck/Exception.hs:58)
evaluate (Test/QuickCheck/Exception.hs:62)
isDiscard (Test/QuickCheck/Exception.hs:81)
finally (Test/QuickCheck/Exception.hs:96)
6% ( 1 / 18) in 'Test.QuickCheck.Text'
Missing documentation for:
Str (Test/QuickCheck/Text.hs:47)
ranges (Test/QuickCheck/Text.hs:52)
number (Test/QuickCheck/Text.hs:60)
short (Test/QuickCheck/Text.hs:63)
showErr (Test/QuickCheck/Text.hs:71)
oneLine (Test/QuickCheck/Text.hs:74)
isOneLine (Test/QuickCheck/Text.hs:77)
bold (Test/QuickCheck/Text.hs:80)
newTerminal (Test/QuickCheck/Text.hs:91)
withStdioTerminal (Test/QuickCheck/Text.hs:105)
withNullTerminal (Test/QuickCheck/Text.hs:111)
terminalOutput (Test/QuickCheck/Text.hs:115)
handle (Test/QuickCheck/Text.hs:118)
Terminal (Test/QuickCheck/Text.hs:88)
putTemp (Test/QuickCheck/Text.hs:129)
putPart (Test/QuickCheck/Text.hs:129)
putLine (Test/QuickCheck/Text.hs:129)
100% ( 2 / 2) in 'Test.QuickCheck.State'
90% ( 26 / 29) in 'Test.QuickCheck.Gen'
Missing documentation for:
(Test/QuickCheck/Gen.hs:49)
(Test/QuickCheck/Gen.hs:53)
(Test/QuickCheck/Gen.hs:57)
80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe'
Missing documentation for:
Capture (Test/QuickCheck/Gen/Unsafe.hs:50)
100% ( 31 / 31) in 'Test.QuickCheck.Arbitrary'
93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
Missing documentation for:
ShrinkState (Test/QuickCheck/Modifiers.hs:323)
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
Missing documentation for:
A (Test/QuickCheck/Poly.hs:29)
B (Test/QuickCheck/Poly.hs:44)
C (Test/QuickCheck/Poly.hs:59)
OrdA (Test/QuickCheck/Poly.hs:77)
OrdB (Test/QuickCheck/Poly.hs:96)
OrdC (Test/QuickCheck/Poly.hs:115)
73% ( 8 / 11) in 'Test.QuickCheck.Function'
Missing documentation for:
Fun (Test/QuickCheck/Function.hs:452)
apply (Test/QuickCheck/Function.hs:466)
Function (Test/QuickCheck/Function.hs:138)
62% ( 45 / 72) in 'Test.QuickCheck.Property'
Missing documentation for:
(Test/QuickCheck/Property.hs:81)
(Test/QuickCheck/Property.hs:84)
(Test/QuickCheck/Property.hs:87)
(Test/QuickCheck/Property.hs:90)
(Test/QuickCheck/Property.hs:93)
(Test/QuickCheck/Property.hs:96)
(Test/QuickCheck/Property.hs:118)
protect (Test/QuickCheck/Property.hs:122)
Prop (Test/QuickCheck/Property.hs:128)
Rose (Test/QuickCheck/Property.hs:132)
ioRose (Test/QuickCheck/Property.hs:135)
joinRose (Test/QuickCheck/Property.hs:138)
(Test/QuickCheck/Property.hs:147)
(Test/QuickCheck/Property.hs:152)
(Test/QuickCheck/Property.hs:157)
CallbackKind (Test/QuickCheck/Property.hs:191)
exception (Test/QuickCheck/Property.hs:207)
formatException (Test/QuickCheck/Property.hs:213)
protectResult (Test/QuickCheck/Property.hs:218)
succeeded (Test/QuickCheck/Property.hs:221)
failed (Test/QuickCheck/Property.hs:221)
rejected (Test/QuickCheck/Property.hs:221)
liftBool (Test/QuickCheck/Property.hs:242)
mapResult (Test/QuickCheck/Property.hs:246)
mapTotalResult (Test/QuickCheck/Property.hs:249)
mapRoseResult (Test/QuickCheck/Property.hs:253)
mapProp (Test/QuickCheck/Property.hs:256)
50% ( 14 / 28) in 'Test.QuickCheck.Test'
Missing documentation for:
test (Test/QuickCheck/Test.hs:193)
doneTesting (Test/QuickCheck/Test.hs:199)
giveUp (Test/QuickCheck/Test.hs:229)
runATest (Test/QuickCheck/Test.hs:245)
summary (Test/QuickCheck/Test.hs:311)
success (Test/QuickCheck/Test.hs:322)
labelPercentage (Test/QuickCheck/Test.hs:352)
insufficientCoverage (Test/QuickCheck/Test.hs:360)
foundFailure (Test/QuickCheck/Test.hs:367)
localMin (Test/QuickCheck/Test.hs:371)
localMin' (Test/QuickCheck/Test.hs:401)
localMinFound (Test/QuickCheck/Test.hs:413)
callbackPostTest (Test/QuickCheck/Test.hs:438)
callbackPostFinalFailure (Test/QuickCheck/Test.hs:443)
100% ( 9 / 9) in 'Test.QuickCheck.All'
78% ( 14 / 18) in 'Test.QuickCheck.Monadic'
Missing documentation for:
stop (Test/QuickCheck/Monadic.hs:118)
monadic (Test/QuickCheck/Monadic.hs:204)
monadic' (Test/QuickCheck/Monadic.hs:207)
runSTGen (Test/QuickCheck/Monadic.hs:246)
99% (127 /128) in 'Test.QuickCheck'
Missing documentation for:
ShrinkState (Test/QuickCheck/Modifiers.hs:323)
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
GCoArbitrary RecursivelyShrink GSubterms gSubterms gSubtermsIncl
Warning: Test.QuickCheck.Function: could not find link destinations for:
GFunction
Warning: Test.QuickCheck: could not find link destinations for:
GCoArbitrary RecursivelyShrink GSubterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Creating package registration file:
/tmp/pkgConf-QuickCheck-2.91109930182131058752.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/QuickCheck-2.9.2-AzbjWrJo3WFD60ZxKurQ3s
Registering QuickCheck-2.9.2...
cabal: Leaving directory '/tmp/cabal-tmp-25560/QuickCheck-2.9.2'
Installed QuickCheck-2.9.2
Downloading aig-0.2.4...
cabal: Entering directory '/tmp/cabal-tmp-25560/aig-0.2.4'
Configuring aig-0.2.4...
Building aig-0.2.4...
Preprocessing library aig-0.2.4...
[1 of 4] Compiling Data.AIG.Interface ( src/Data/AIG/Interface.hs, dist/build/Data/AIG/Interface.o )
[2 of 4] Compiling Data.AIG.Operations ( src/Data/AIG/Operations.hs, dist/build/Data/AIG/Operations.o )
src/Data/AIG/Operations.hs:815:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
muxInteger :: (Integral i, Monad m) =>
(l -> m a -> m a -> m a) -> i -> BV l -> (i -> m a) -> m a
[3 of 4] Compiling Data.AIG.Trace ( src/Data/AIG/Trace.hs, dist/build/Data/AIG/Trace.o )
[4 of 4] Compiling Data.AIG ( src/Data/AIG.hs, dist/build/Data/AIG.o )
Running Haddock for aig-0.2.4...
Running hscolour for aig-0.2.4...
Preprocessing library aig-0.2.4...
Preprocessing library aig-0.2.4...
src/Data/AIG/Operations.hs:782:1: warning: [-Wredundant-constraints]
• Redundant constraint: IsAIG l g
• In the type signature for:
sext :: IsAIG l g => g s -> BV (l s) -> Int -> BV (l s)
src/Data/AIG/Operations.hs:815:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
muxInteger :: (Integral i, Monad m) =>
(l -> m a -> m a -> m a) -> i -> BV l -> (i -> m a) -> m a
Haddock coverage:
94% ( 31 / 33) in 'Data.AIG.Interface'
Missing documentation for:
IsLit (src/Data/AIG/Interface.hs:75)
LitTree (src/Data/AIG/Interface.hs:72)
95% ( 91 / 96) in 'Data.AIG.Operations'
Missing documentation for:
lAnd' (src/Data/AIG/Operations.hs:441)
lOr' (src/Data/AIG/Operations.hs:404)
lXor' (src/Data/AIG/Operations.hs:449)
lEq' (src/Data/AIG/Operations.hs:414)
lNot' (src/Data/AIG/Operations.hs:391)
4% ( 1 / 27) in 'Data.AIG.Trace'
Missing documentation for:
Traceable (src/Data/AIG/Trace.hs:33)
TraceLit (src/Data/AIG/Trace.hs:37)
TraceGraph (src/Data/AIG/Trace.hs:39)
proxy (src/Data/AIG/Trace.hs:45)
activateTracing (src/Data/AIG/Trace.hs:48)
deactiveTracing (src/Data/AIG/Trace.hs:54)
withTracing (src/Data/AIG/Trace.hs:59)
(src/Data/AIG/Trace.hs:68)
(src/Data/AIG/Trace.hs:72)
(src/Data/AIG/Trace.hs:75)
TraceOp (src/Data/AIG/Trace.hs:79)
TraceOutput (src/Data/AIG/Trace.hs:82)
(src/Data/AIG/Trace.hs:85)
(src/Data/AIG/Trace.hs:88)
(src/Data/AIG/Trace.hs:91)
(src/Data/AIG/Trace.hs:94)
(src/Data/AIG/Trace.hs:97)
(src/Data/AIG/Trace.hs:110)
(src/Data/AIG/Trace.hs:114)
(src/Data/AIG/Trace.hs:117)
(src/Data/AIG/Trace.hs:120)
(src/Data/AIG/Trace.hs:123)
(src/Data/AIG/Trace.hs:126)
(src/Data/AIG/Trace.hs:129)
withNewGraphTracing (src/Data/AIG/Trace.hs:137)
(src/Data/AIG/Trace.hs:144)
100% ( 3 / 3) in 'Data.AIG'
Documentation created: dist/doc/html/aig/index.html, dist/doc/html/aig/aig.txt
Creating package registration file: /tmp/pkgConf-aig-0.27133555112067247035.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/aig-0.2.4-6WrOEfgoJpvLv7XnMXjFNZ
Registering aig-0.2.4...
cabal: Leaving directory '/tmp/cabal-tmp-25560/aig-0.2.4'
Installed aig-0.2.4
Downloading abcBridge-0.15...
cabal: Entering directory '/tmp/cabal-tmp-25560/abcBridge-0.15'
[1 of 1] Compiling Main ( /tmp/cabal-tmp-25560/abcBridge-0.15/dist/setup/setup.hs, /tmp/cabal-tmp-25560/abcBridge-0.15/dist/setup/Main.o )
Linking /tmp/cabal-tmp-25560/abcBridge-0.15/dist/setup/setup ...
Cabal library version: 1.24.0.0
Setting up ABC tree for abcBridge version 0.15...
ABC sources found
Using CC=gcc
Using CXX=g++
Using LD=g++
Found GCC_VERSION 4.8
Found GCC_MAJOR>=4
Found GCC_MINOR>=6
Using CFLAGS=-Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -g -O -DABC_LIB -m64 -fPIC -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -Isrc -Wno-unused-but-set-variable -DABC_USE_PTHREADS
`` Compiling: /src/base/abc/abcAig.c
`` Compiling: /src/base/abc/abcBlifMv.c
`` Compiling: /src/base/abc/abcBarBuf.c
`` Compiling: /src/base/abc/abcCheck.c
`` Compiling: /src/base/abc/abcDfs.c
`` Compiling: /src/base/abc/abcFanio.c
`` Compiling: /src/base/abc/abcFanOrder.c
`` Compiling: /src/base/abc/abcFunc.c
`` Compiling: /src/base/abc/abcHie.c
`` Compiling: /src/base/abc/abcHieCec.c
`` Compiling: /src/base/abc/abcHieGia.c
`` Compiling: /src/base/abc/abcHieNew.c
`` Compiling: /src/base/abc/abcLatch.c
`` Compiling: /src/base/abc/abcLib.c
`` Compiling: /src/base/abc/abcMinBase.c
`` Compiling: /src/base/abc/abcNames.c
`` Compiling: /src/base/abc/abcNetlist.c
`` Compiling: /src/base/abc/abcNtk.c
`` Compiling: /src/base/abc/abcObj.c
`` Compiling: /src/base/abc/abcRefs.c
`` Compiling: /src/base/abc/abcShow.c
`` Compiling: /src/base/abc/abcSop.c
`` Compiling: /src/base/abc/abcUtil.c
`` Compiling: /src/base/abci/abc.c
`` Compiling: /src/base/abci/abcAttach.c
`` Compiling: /src/base/abci/abcAuto.c
`` Compiling: /src/base/abci/abcBalance.c
`` Compiling: /src/base/abci/abcBidec.c
`` Compiling: /src/base/abci/abcBm.c
`` Compiling: /src/base/abci/abcBmc.c
`` Compiling: /src/base/abci/abcCas.c
`` Compiling: /src/base/abci/abcCascade.c
`` Compiling: /src/base/abci/abcCollapse.c
`` Compiling: /src/base/abci/abcCut.c
`` Compiling: /src/base/abci/abcDar.c
`` Compiling: /src/base/abci/abcDebug.c
`` Compiling: /src/base/abci/abcDec.c
`` Compiling: /src/base/abci/abcDress.c
`` Compiling: /src/base/abci/abcDress2.c
`` Compiling: /src/base/abci/abcDsd.c
`` Compiling: /src/base/abci/abcExtract.c
`` Compiling: /src/base/abci/abcFraig.c
`` Compiling: /src/base/abci/abcFx.c
`` Compiling: /src/base/abci/abcFxu.c
`` Compiling: /src/base/abci/abcGen.c
`` Compiling: /src/base/abci/abcHaig.c
`` Compiling: /src/base/abci/abcIf.c
`` Compiling: /src/base/abci/abcIfif.c
`` Compiling: /src/base/abci/abcIfMux.c
`` Compiling: /src/base/abci/abcIvy.c
`` Compiling: /src/base/abci/abcLog.c
`` Compiling: /src/base/abci/abcLut.c
`` Compiling: /src/base/abci/abcLutmin.c
`` Compiling: /src/base/abci/abcMap.c
`` Compiling: /src/base/abci/abcMerge.c
`` Compiling: /src/base/abci/abcMfs.c
`` Compiling: /src/base/abci/abcMini.c
`` Compiling: /src/base/abci/abcMiter.c
`` Compiling: /src/base/abci/abcMulti.c
`` Compiling: /src/base/abci/abcNtbdd.c
`` Compiling: /src/base/abci/abcNpn.c
`` Compiling: /src/base/abci/abcNpnSave.c
`` Compiling: /src/base/abci/abcOdc.c
`` Compiling: /src/base/abci/abcOrder.c
`` Compiling: /src/base/abci/abcPart.c
`` Compiling: /src/base/abci/abcPrint.c
`` Compiling: /src/base/abci/abcProve.c
`` Compiling: /src/base/abci/abcQbf.c
`` Compiling: /src/base/abci/abcQuant.c
`` Compiling: /src/base/abci/abcRec3.c
`` Compiling: /src/base/abci/abcReconv.c
`` Compiling: /src/base/abci/abcReach.c
`` Compiling: /src/base/abci/abcRefactor.c
`` Compiling: /src/base/abci/abcRenode.c
`` Compiling: /src/base/abci/abcReorder.c
`` Compiling: /src/base/abci/abcRestruct.c
`` Compiling: /src/base/abci/abcResub.c
`` Compiling: /src/base/abci/abcRewrite.c
`` Compiling: /src/base/abci/abcRpo.c
`` Compiling: /src/base/abci/abcRr.c
`` Compiling: /src/base/abci/abcSat.c
`` Compiling: /src/base/abci/abcSaucy.c
`` Compiling: /src/base/abci/abcScorr.c
`` Compiling: /src/base/abci/abcSense.c
`` Compiling: /src/base/abci/abcSpeedup.c
`` Compiling: /src/base/abci/abcStrash.c
`` Compiling: /src/base/abci/abcSweep.c
`` Compiling: /src/base/abci/abcSymm.c
`` Compiling: /src/base/abci/abcTim.c
`` Compiling: /src/base/abci/abcTiming.c
`` Compiling: /src/base/abci/abcUnate.c
`` Compiling: /src/base/abci/abcUnreach.c
`` Compiling: /src/base/abci/abcVerify.c
`` Compiling: /src/base/abci/abcXsim.c
`` Compiling: /src/base/cmd/cmd.c
`` Compiling: /src/base/cmd/cmdAlias.c
`` Compiling: /src/base/cmd/cmdApi.c
`` Compiling: /src/base/cmd/cmdFlag.c
`` Compiling: /src/base/cmd/cmdHist.c
`` Compiling: /src/base/cmd/cmdLoad.c
`` Compiling: /src/base/cmd/cmdPlugin.c
`` Compiling: /src/base/cmd/cmdStarter.c
`` Compiling: /src/base/cmd/cmdUtils.c
`` Compiling: /src/base/io/io.c
`` Compiling: /src/base/io/ioReadAiger.c
`` Compiling: /src/base/io/ioReadBaf.c
`` Compiling: /src/base/io/ioReadBblif.c
`` Compiling: /src/base/io/ioReadBench.c
`` Compiling: /src/base/io/ioReadBlif.c
`` Compiling: /src/base/io/ioReadBlifAig.c
`` Compiling: /src/base/io/ioReadBlifMv.c
`` Compiling: /src/base/io/ioReadDsd.c
`` Compiling: /src/base/io/ioReadEdif.c
`` Compiling: /src/base/io/ioReadEqn.c
`` Compiling: /src/base/io/ioReadPla.c
`` Compiling: /src/base/io/ioReadVerilog.c
`` Compiling: /src/base/io/ioUtil.c
`` Compiling: /src/base/io/ioWriteAiger.c
`` Compiling: /src/base/io/ioWriteBaf.c
`` Compiling: /src/base/io/ioWriteBblif.c
`` Compiling: /src/base/io/ioWriteBench.c
`` Compiling: /src/base/io/ioWriteBlif.c
`` Compiling: /src/base/io/ioWriteBlifMv.c
`` Compiling: /src/base/io/ioWriteBook.c
`` Compiling: /src/base/io/ioWriteCnf.c
`` Compiling: /src/base/io/ioWriteDot.c
`` Compiling: /src/base/io/ioWriteEqn.c
`` Compiling: /src/base/io/ioWriteGml.c
`` Compiling: /src/base/io/ioWriteList.c
`` Compiling: /src/base/io/ioWritePla.c
`` Compiling: /src/base/io/ioWriteVerilog.c
`` Compiling: /src/base/io/ioWriteSmv.c
`` Compiling: /src/base/main/mainFrame.c
`` Compiling: /src/base/main/mainInit.c
`` Compiling: /src/base/main/mainLib.c
`` Compiling: /src/base/main/mainReal.c
`` Compiling: /src/base/main/libSupport.c
`` Compiling: /src/base/main/mainUtils.c
`` Compiling: /src/base/ver/verCore.c
`` Compiling: /src/base/ver/verFormula.c
`` Compiling: /src/base/ver/verParse.c
`` Compiling: /src/base/ver/verStream.c
`` Compiling: /src/base/wlc/wlcAbs.c
`` Compiling: /src/base/wlc/wlcBlast.c
`` Compiling: /src/base/wlc/wlcCom.c
`` Compiling: /src/base/wlc/wlcNtk.c
`` Compiling: /src/base/wlc/wlcReadSmt.c
`` Compiling: /src/base/wlc/wlcReadVer.c
`` Compiling: /src/base/wlc/wlcWriteVer.c
src/base/wlc/wlcReadSmt.c: In function ‘Prs_SmtBuild’:
src/base/wlc/wlcReadSmt.c:639:32: warning: ‘Range’ may be used uninitialized in this function [-Wmaybe-uninitialized]
iObj = Wlc_ObjAlloc( pNtk, Type, 0, Range-1, 0 );
^
`` Compiling: /src/base/cba/cbaBlast.c
`` Compiling: /src/base/cba/cbaCba.c
`` Compiling: /src/base/cba/cbaCom.c
`` Compiling: /src/base/cba/cbaLib.c
`` Compiling: /src/base/cba/cbaNtk.c
`` Compiling: /src/base/cba/cbaPrsBuild.c
`` Compiling: /src/base/cba/cbaPrsTrans.c
`` Compiling: /src/base/cba/cbaPtr.c
`` Compiling: /src/base/cba/cbaPtrAbc.c
`` Compiling: /src/base/cba/cbaReadBlif.c
`` Compiling: /src/base/cba/cbaReadSmt.c
`` Compiling: /src/base/cba/cbaReadVer.c
`` Compiling: /src/base/cba/cbaWriteBlif.c
`` Compiling: /src/base/cba/cbaWriteSmt.c
`` Compiling: /src/base/cba/cbaWriteVer.c
`` Compiling: /src/base/test/test.c
`` Compiling: /src/bdd/cudd/cuddAPI.c
`` Compiling: /src/bdd/cudd/cuddAddAbs.c
`` Compiling: /src/bdd/cudd/cuddAddApply.c
`` Compiling: /src/bdd/cudd/cuddAddFind.c
`` Compiling: /src/bdd/cudd/cuddAddInv.c
`` Compiling: /src/bdd/cudd/cuddAddIte.c
`` Compiling: /src/bdd/cudd/cuddAddNeg.c
`` Compiling: /src/bdd/cudd/cuddAddWalsh.c
`` Compiling: /src/bdd/cudd/cuddAndAbs.c
`` Compiling: /src/bdd/cudd/cuddAnneal.c
`` Compiling: /src/bdd/cudd/cuddApa.c
`` Compiling: /src/bdd/cudd/cuddApprox.c
`` Compiling: /src/bdd/cudd/cuddBddAbs.c
`` Compiling: /src/bdd/cudd/cuddBddCorr.c
`` Compiling: /src/bdd/cudd/cuddBddIte.c
`` Compiling: /src/bdd/cudd/cuddBridge.c
`` Compiling: /src/bdd/cudd/cuddCache.c
`` Compiling: /src/bdd/cudd/cuddCheck.c
`` Compiling: /src/bdd/cudd/cuddClip.c
`` Compiling: /src/bdd/cudd/cuddCof.c
`` Compiling: /src/bdd/cudd/cuddCompose.c
`` Compiling: /src/bdd/cudd/cuddDecomp.c
`` Compiling: /src/bdd/cudd/cuddEssent.c
`` Compiling: /src/bdd/cudd/cuddExact.c
`` Compiling: /src/bdd/cudd/cuddExport.c
`` Compiling: /src/bdd/cudd/cuddGenCof.c
`` Compiling: /src/bdd/cudd/cuddGenetic.c
`` Compiling: /src/bdd/cudd/cuddGroup.c
`` Compiling: /src/bdd/cudd/cuddHarwell.c
`` Compiling: /src/bdd/cudd/cuddInit.c
`` Compiling: /src/bdd/cudd/cuddInteract.c
`` Compiling: /src/bdd/cudd/cuddLCache.c
`` Compiling: /src/bdd/cudd/cuddLevelQ.c
`` Compiling: /src/bdd/cudd/cuddLinear.c
`` Compiling: /src/bdd/cudd/cuddLiteral.c
`` Compiling: /src/bdd/cudd/cuddMatMult.c
`` Compiling: /src/bdd/cudd/cuddPriority.c
`` Compiling: /src/bdd/cudd/cuddRead.c
`` Compiling: /src/bdd/cudd/cuddRef.c
`` Compiling: /src/bdd/cudd/cuddReorder.c
`` Compiling: /src/bdd/cudd/cuddSat.c
`` Compiling: /src/bdd/cudd/cuddSign.c
`` Compiling: /src/bdd/cudd/cuddSolve.c
`` Compiling: /src/bdd/cudd/cuddSplit.c
`` Compiling: /src/bdd/cudd/cuddSubsetHB.c
`` Compiling: /src/bdd/cudd/cuddSubsetSP.c
`` Compiling: /src/bdd/cudd/cuddSymmetry.c
`` Compiling: /src/bdd/cudd/cuddTable.c
`` Compiling: /src/bdd/cudd/cuddUtil.c
`` Compiling: /src/bdd/cudd/cuddWindow.c
`` Compiling: /src/bdd/cudd/cuddZddCount.c
`` Compiling: /src/bdd/cudd/cuddZddFuncs.c
`` Compiling: /src/bdd/cudd/cuddZddGroup.c
`` Compiling: /src/bdd/cudd/cuddZddIsop.c
`` Compiling: /src/bdd/cudd/cuddZddLin.c
`` Compiling: /src/bdd/cudd/cuddZddMisc.c
`` Compiling: /src/bdd/cudd/cuddZddPort.c
`` Compiling: /src/bdd/cudd/cuddZddReord.c
`` Compiling: /src/bdd/cudd/cuddZddSetop.c
`` Compiling: /src/bdd/cudd/cuddZddSymm.c
`` Compiling: /src/bdd/cudd/cuddZddUtil.c
`` Compiling: /src/bdd/dsd/dsdApi.c
`` Compiling: /src/bdd/dsd/dsdCheck.c
`` Compiling: /src/bdd/dsd/dsdLocal.c
`` Compiling: /src/bdd/dsd/dsdMan.c
`` Compiling: /src/bdd/dsd/dsdProc.c
`` Compiling: /src/bdd/dsd/dsdTree.c
`` Compiling: /src/bdd/epd/epd.c
`` Compiling: /src/bdd/mtr/mtrBasic.c
`` Compiling: /src/bdd/mtr/mtrGroup.c
`` Compiling: /src/bdd/parse/parseCore.c
`` Compiling: /src/bdd/parse/parseEqn.c
`` Compiling: /src/bdd/parse/parseStack.c
`` Compiling: /src/bdd/reo/reoApi.c
`` Compiling: /src/bdd/reo/reoCore.c
`` Compiling: /src/bdd/reo/reoProfile.c
`` Compiling: /src/bdd/reo/reoShuffle.c
`` Compiling: /src/bdd/reo/reoSift.c
`` Compiling: /src/bdd/reo/reoSwap.c
`` Compiling: /src/bdd/reo/reoTransfer.c
`` Compiling: /src/bdd/reo/reoUnits.c
`` Compiling: /src/bdd/cas/casCore.c
`` Compiling: /src/bdd/cas/casDec.c
`` Compiling: /src/map/mapper/mapper.c
`` Compiling: /src/map/mapper/mapperCanon.c
`` Compiling: /src/map/mapper/mapperCore.c
`` Compiling: /src/map/mapper/mapperCreate.c
`` Compiling: /src/map/mapper/mapperCut.c
`` Compiling: /src/map/mapper/mapperCutUtils.c
`` Compiling: /src/map/mapper/mapperLib.c
`` Compiling: /src/map/mapper/mapperMatch.c
`` Compiling: /src/map/mapper/mapperRefs.c
`` Compiling: /src/map/mapper/mapperSuper.c
`` Compiling: /src/map/mapper/mapperSwitch.c
`` Compiling: /src/map/mapper/mapperTable.c
`` Compiling: /src/map/mapper/mapperTime.c
`` Compiling: /src/map/mapper/mapperTree.c
`` Compiling: /src/map/mapper/mapperTruth.c
`` Compiling: /src/map/mapper/mapperUtils.c
`` Compiling: /src/map/mapper/mapperVec.c
`` Compiling: /src/map/mio/mio.c
`` Compiling: /src/map/mio/mioApi.c
`` Compiling: /src/map/mio/mioFunc.c
`` Compiling: /src/map/mio/mioParse.c
`` Compiling: /src/map/mio/mioRead.c
`` Compiling: /src/map/mio/mioSop.c
`` Compiling: /src/map/mio/mioUtils.c
`` Compiling: /src/map/super/super.c
`` Compiling: /src/map/super/superAnd.c
`` Compiling: /src/map/super/superGate.c
`` Compiling: /src/map/if/ifCom.c
`` Compiling: /src/map/if/ifCache.c
`` Compiling: /src/map/if/ifCore.c
`` Compiling: /src/map/if/ifCut.c
`` Compiling: /src/map/if/ifData2.c
`` Compiling: /src/map/if/ifDec07.c
`` Compiling: /src/map/if/ifDec08.c
`` Compiling: /src/map/if/ifDec10.c
`` Compiling: /src/map/if/ifDec16.c
`` Compiling: /src/map/if/ifDec75.c
`` Compiling: /src/map/if/ifDelay.c
`` Compiling: /src/map/if/ifDsd.c
`` Compiling: /src/map/if/ifLibBox.c
`` Compiling: /src/map/if/ifLibLut.c
`` Compiling: /src/map/if/ifMan.c
`` Compiling: /src/map/if/ifMap.c
`` Compiling: /src/map/if/ifMatch2.c
`` Compiling: /src/map/if/ifReduce.c
`` Compiling: /src/map/if/ifSat.c
`` Compiling: /src/map/if/ifSelect.c
`` Compiling: /src/map/if/ifSeq.c
`` Compiling: /src/map/if/ifTest.c
`` Compiling: /src/map/if/ifTime.c
`` Compiling: /src/map/if/ifTruth.c
`` Compiling: /src/map/if/ifTune.c
`` Compiling: /src/map/if/ifUtil.c
`` Compiling: /src/map/amap/amapCore.c
`` Compiling: /src/map/amap/amapGraph.c
`` Compiling: /src/map/amap/amapLib.c
`` Compiling: /src/map/amap/amapLiberty.c
`` Compiling: /src/map/amap/amapMan.c
`` Compiling: /src/map/amap/amapMatch.c
`` Compiling: /src/map/amap/amapMerge.c
`` Compiling: /src/map/amap/amapOutput.c
`` Compiling: /src/map/amap/amapParse.c
`` Compiling: /src/map/amap/amapPerm.c
`` Compiling: /src/map/amap/amapRead.c
`` Compiling: /src/map/amap/amapRule.c
`` Compiling: /src/map/amap/amapUniq.c
`` Compiling: /src/map/cov/covBuild.c
`` Compiling: /src/map/cov/covCore.c
`` Compiling: /src/map/cov/covMan.c
`` Compiling: /src/map/cov/covMinEsop.c
`` Compiling: /src/map/cov/covMinMan.c
`` Compiling: /src/map/cov/covMinSop.c
`` Compiling: /src/map/cov/covMinUtil.c
`` Compiling: /src/map/scl/scl.c
`` Compiling: /src/map/scl/sclBuffer.c
`` Compiling: /src/map/scl/sclBufSize.c
`` Compiling: /src/map/scl/sclDnsize.c
`` Compiling: /src/map/scl/sclLiberty.c
`` Compiling: /src/map/scl/sclLibScl.c
`` Compiling: /src/map/scl/sclLibUtil.c
`` Compiling: /src/map/scl/sclLoad.c
`` Compiling: /src/map/scl/sclSize.c
`` Compiling: /src/map/scl/sclUpsize.c
`` Compiling: /src/map/scl/sclUtil.c
`` Compiling: /src/map/mpm/mpmAbc.c
`` Compiling: /src/map/mpm/mpmCore.c
`` Compiling: /src/map/mpm/mpmDsd.c
`` Compiling: /src/map/mpm/mpmGates.c
`` Compiling: /src/map/mpm/mpmLib.c
`` Compiling: /src/map/mpm/mpmMan.c
`` Compiling: /src/map/mpm/mpmMap.c
`` Compiling: /src/map/mpm/mpmMig.c
`` Compiling: /src/map/mpm/mpmPre.c
`` Compiling: /src/map/mpm/mpmTruth.c
`` Compiling: /src/map/mpm/mpmUtil.c
`` Compiling: /src/misc/extra/extraBddAuto.c
`` Compiling: /src/misc/extra/extraBddCas.c
`` Compiling: /src/misc/extra/extraBddImage.c
`` Compiling: /src/misc/extra/extraBddKmap.c
`` Compiling: /src/misc/extra/extraBddMisc.c
`` Compiling: /src/misc/extra/extraBddSymm.c
`` Compiling: /src/misc/extra/extraBddTime.c
`` Compiling: /src/misc/extra/extraBddUnate.c
`` Compiling: /src/misc/extra/extraUtilBitMatrix.c
`` Compiling: /src/misc/extra/extraUtilCanon.c
`` Compiling: /src/misc/extra/extraUtilCube.c
`` Compiling: /src/misc/extra/extraUtilDsd.c
`` Compiling: /src/misc/extra/extraUtilEnum.c
`` Compiling: /src/misc/extra/extraUtilFile.c
`` Compiling: /src/misc/extra/extraUtilMemory.c
`` Compiling: /src/misc/extra/extraUtilMisc.c
`` Compiling: /src/misc/extra/extraUtilPerm.c
`` Compiling: /src/misc/extra/extraUtilProgress.c
`` Compiling: /src/misc/extra/extraUtilReader.c
`` Compiling: /src/misc/extra/extraUtilSupp.c
`` Compiling: /src/misc/extra/extraUtilThresh.c
`` Compiling: /src/misc/extra/extraUtilTruth.c
`` Compiling: /src/misc/extra/extraUtilUtil.c
`` Compiling: /src/misc/mvc/mvcApi.c
`` Compiling: /src/misc/mvc/mvcCompare.c
`` Compiling: /src/misc/mvc/mvcContain.c
`` Compiling: /src/misc/mvc/mvcCover.c
`` Compiling: /src/misc/mvc/mvcCube.c
`` Compiling: /src/misc/mvc/mvcDivide.c
`` Compiling: /src/misc/mvc/mvcDivisor.c
`` Compiling: /src/misc/mvc/mvcList.c
`` Compiling: /src/misc/mvc/mvcLits.c
`` Compiling: /src/misc/mvc/mvcMan.c
`` Compiling: /src/misc/mvc/mvcOpAlg.c
`` Compiling: /src/misc/mvc/mvcOpBool.c
`` Compiling: /src/misc/mvc/mvcPrint.c
`` Compiling: /src/misc/mvc/mvcSort.c
`` Compiling: /src/misc/mvc/mvcUtils.c
`` Compiling: /src/misc/st/st.c
`` Compiling: /src/misc/st/stmm.c
`` Compiling: /src/misc/util/utilBridge.c
`` Compiling: /src/misc/util/utilCex.c
`` Compiling: /src/misc/util/utilColor.c
`` Compiling: /src/misc/util/utilFile.c
`` Compiling: /src/misc/util/utilIsop.c
`` Compiling: /src/misc/util/utilNam.c
`` Compiling: /src/misc/util/utilSignal.c
`` Compiling: /src/misc/util/utilSort.c
`` Compiling: /src/misc/nm/nmApi.c
`` Compiling: /src/misc/nm/nmTable.c
`` Compiling: /src/misc/tim/timBox.c
`` Compiling: /src/misc/tim/timDump.c
`` Compiling: /src/misc/tim/timMan.c
`` Compiling: /src/misc/tim/timTime.c
`` Compiling: /src/misc/tim/timTrav.c
`` Compiling: /src/misc/bzlib/blocksort.c
`` Compiling: /src/misc/bzlib/bzlib.c
`` Compiling: /src/misc/bzlib/compress.c
`` Compiling: /src/misc/bzlib/crctable.c
`` Compiling: /src/misc/bzlib/decompress.c
`` Compiling: /src/misc/bzlib/huffman.c
`` Compiling: /src/misc/bzlib/randtable.c
`` Compiling: /src/misc/zlib/adler32.c
`` Compiling: /src/misc/zlib/compress_.c
`` Compiling: /src/misc/zlib/crc32.c
`` Compiling: /src/misc/zlib/deflate.c
`` Compiling: /src/misc/zlib/gzclose.c
`` Compiling: /src/misc/zlib/gzlib.c
`` Compiling: /src/misc/zlib/gzread.c
`` Compiling: /src/misc/zlib/gzwrite.c
`` Compiling: /src/misc/zlib/infback.c
`` Compiling: /src/misc/zlib/inffast.c
`` Compiling: /src/misc/zlib/inflate.c
`` Compiling: /src/misc/zlib/inftrees.c
`` Compiling: /src/misc/zlib/trees.c
`` Compiling: /src/misc/zlib/uncompr.c
`` Compiling: /src/misc/zlib/zutil.c
`` Compiling: /src/misc/mem/mem.c
`` Compiling: /src/misc/bar/bar.c
`` Compiling: /src/misc/bbl/bblif.c
`` Compiling: /src/opt/cut/cutApi.c
`` Compiling: /src/opt/cut/cutCut.c
`` Compiling: /src/opt/cut/cutMan.c
`` Compiling: /src/opt/cut/cutMerge.c
`` Compiling: /src/opt/cut/cutNode.c
`` Compiling: /src/opt/cut/cutOracle.c
`` Compiling: /src/opt/cut/cutPre22.c
`` Compiling: /src/opt/cut/cutSeq.c
`` Compiling: /src/opt/cut/cutTruth.c
`` Compiling: /src/opt/fxu/fxu.c
`` Compiling: /src/opt/fxu/fxuCreate.c
`` Compiling: /src/opt/fxu/fxuHeapD.c
`` Compiling: /src/opt/fxu/fxuHeapS.c
`` Compiling: /src/opt/fxu/fxuList.c
`` Compiling: /src/opt/fxu/fxuMatrix.c
`` Compiling: /src/opt/fxu/fxuPair.c
`` Compiling: /src/opt/fxu/fxuPrint.c
`` Compiling: /src/opt/fxu/fxuReduce.c
`` Compiling: /src/opt/fxu/fxuSelect.c
`` Compiling: /src/opt/fxu/fxuSingle.c
`` Compiling: /src/opt/fxu/fxuUpdate.c
`` Compiling: /src/opt/rwr/rwrDec.c
`` Compiling: /src/opt/rwr/rwrEva.c
`` Compiling: /src/opt/rwr/rwrExp.c
`` Compiling: /src/opt/rwr/rwrLib.c
`` Compiling: /src/opt/rwr/rwrMan.c
`` Compiling: /src/opt/rwr/rwrPrint.c
`` Compiling: /src/opt/rwr/rwrUtil.c
`` Compiling: /src/opt/mfs/mfsCore.c
`` Compiling: /src/opt/mfs/mfsDiv.c
`` Compiling: /src/opt/mfs/mfsInter.c
`` Compiling: /src/opt/mfs/mfsMan.c
`` Compiling: /src/opt/mfs/mfsResub.c
`` Compiling: /src/opt/mfs/mfsSat.c
`` Compiling: /src/opt/mfs/mfsStrash.c
`` Compiling: /src/opt/mfs/mfsWin.c
`` Compiling: /src/opt/sim/simMan.c
`` Compiling: /src/opt/sim/simSeq.c
`` Compiling: /src/opt/sim/simSupp.c
`` Compiling: /src/opt/sim/simSwitch.c
`` Compiling: /src/opt/sim/simSym.c
`` Compiling: /src/opt/sim/simSymSat.c
`` Compiling: /src/opt/sim/simSymSim.c
`` Compiling: /src/opt/sim/simSymStr.c
`` Compiling: /src/opt/sim/simUtils.c
`` Compiling: /src/opt/ret/retArea.c
`` Compiling: /src/opt/ret/retCore.c
`` Compiling: /src/opt/ret/retDelay.c
`` Compiling: /src/opt/ret/retFlow.c
`` Compiling: /src/opt/ret/retIncrem.c
`` Compiling: /src/opt/ret/retInit.c
`` Compiling: /src/opt/ret/retLvalue.c
`` Compiling: /src/opt/res/resCore.c
`` Compiling: /src/opt/res/resDivs.c
`` Compiling: /src/opt/res/resFilter.c
`` Compiling: /src/opt/res/resSat.c
`` Compiling: /src/opt/res/resSim.c
`` Compiling: /src/opt/res/resStrash.c
`` Compiling: /src/opt/res/resWin.c
`` Compiling: /src/opt/lpk/lpkCore.c
`` Compiling: /src/opt/lpk/lpkAbcDec.c
`` Compiling: /src/opt/lpk/lpkAbcMux.c
`` Compiling: /src/opt/lpk/lpkAbcDsd.c
`` Compiling: /src/opt/lpk/lpkAbcUtil.c
`` Compiling: /src/opt/lpk/lpkCut.c
`` Compiling: /src/opt/lpk/lpkMan.c
`` Compiling: /src/opt/lpk/lpkMap.c
`` Compiling: /src/opt/lpk/lpkMulti.c
`` Compiling: /src/opt/lpk/lpkMux.c
`` Compiling: /src/opt/lpk/lpkSets.c
`` Compiling: /src/opt/nwk/nwkAig.c
`` Compiling: /src/opt/nwk/nwkCheck.c
`` Compiling: /src/opt/nwk/nwkBidec.c
`` Compiling: /src/opt/nwk/nwkDfs.c
`` Compiling: /src/opt/nwk/nwkFanio.c
`` Compiling: /src/opt/nwk/nwkFlow.c
`` Compiling: /src/opt/nwk/nwkMan.c
`` Compiling: /src/opt/nwk/nwkMap.c
`` Compiling: /src/opt/nwk/nwkMerge.c
`` Compiling: /src/opt/nwk/nwkObj.c
`` Compiling: /src/opt/nwk/nwkSpeedup.c
`` Compiling: /src/opt/nwk/nwkStrash.c
`` Compiling: /src/opt/nwk/nwkTiming.c
`` Compiling: /src/opt/nwk/nwkUtil.c
`` Compiling: /src/opt/rwt/rwtDec.c
`` Compiling: /src/opt/rwt/rwtMan.c
`` Compiling: /src/opt/rwt/rwtUtil.c
`` Compiling: /src/opt/cgt/cgtAig.c
`` Compiling: /src/opt/cgt/cgtCore.c
`` Compiling: /src/opt/cgt/cgtDecide.c
`` Compiling: /src/opt/cgt/cgtMan.c
`` Compiling: /src/opt/cgt/cgtSat.c
`` Compiling: /src/opt/csw/cswCore.c
`` Compiling: /src/opt/csw/cswCut.c
`` Compiling: /src/opt/csw/cswMan.c
`` Compiling: /src/opt/csw/cswTable.c
`` Compiling: /src/opt/dar/darBalance.c
`` Compiling: /src/opt/dar/darCore.c
`` Compiling: /src/opt/dar/darCut.c
`` Compiling: /src/opt/dar/darData.c
`` Compiling: /src/opt/dar/darLib.c
`` Compiling: /src/opt/dar/darMan.c
`` Compiling: /src/opt/dar/darPrec.c
`` Compiling: /src/opt/dar/darRefact.c
`` Compiling: /src/opt/dar/darScript.c
`` Compiling: /src/opt/dau/dauCanon.c
`` Compiling: /src/opt/dau/dauCore.c
`` Compiling: /src/opt/dau/dauDivs.c
`` Compiling: /src/opt/dau/dauDsd.c
`` Compiling: /src/opt/dau/dauEnum.c
`` Compiling: /src/opt/dau/dauGia.c
`` Compiling: /src/opt/dau/dauMerge.c
`` Compiling: /src/opt/dau/dauNonDsd.c
`` Compiling: /src/opt/dau/dauTree.c
`` Compiling: /src/opt/sfm/sfmCnf.c
`` Compiling: /src/opt/sfm/sfmCore.c
`` Compiling: /src/opt/sfm/sfmNtk.c
`` Compiling: /src/opt/sfm/sfmSat.c
`` Compiling: /src/opt/sfm/sfmWin.c
`` Compiling: /src/sat/bsat/satMem.c
`` Compiling: /src/sat/bsat/satInter.c
`` Compiling: /src/sat/bsat/satInterA.c
`` Compiling: /src/sat/bsat/satInterB.c
`` Compiling: /src/sat/bsat/satInterP.c
`` Compiling: /src/sat/bsat/satProof.c
`` Compiling: /src/sat/bsat/satSolver.c
`` Compiling: /src/sat/bsat/satSolver2.c
`` Compiling: /src/sat/bsat/satSolver2i.c
`` Compiling: /src/sat/bsat/satStore.c
`` Compiling: /src/sat/bsat/satTrace.c
`` Compiling: /src/sat/bsat/satTruth.c
`` Compiling: /src/sat/bsat/satUtil.c
`` Compiling: /src/sat/csat/csat_apis.c
`` Compiling: /src/sat/msat/msatActivity.c
`` Compiling: /src/sat/msat/msatClause.c
`` Compiling: /src/sat/msat/msatClauseVec.c
`` Compiling: /src/sat/msat/msatMem.c
`` Compiling: /src/sat/msat/msatOrderH.c
`` Compiling: /src/sat/msat/msatQueue.c
`` Compiling: /src/sat/msat/msatRead.c
`` Compiling: /src/sat/msat/msatSolverApi.c
`` Compiling: /src/sat/msat/msatSolverCore.c
`` Compiling: /src/sat/msat/msatSolverIo.c
`` Compiling: /src/sat/msat/msatSolverSearch.c
`` Compiling: /src/sat/msat/msatSort.c
`` Compiling: /src/sat/msat/msatVec.c
`` Compiling: /src/sat/cnf/cnfCore.c
`` Compiling: /src/sat/cnf/cnfCut.c
`` Compiling: /src/sat/cnf/cnfData.c
`` Compiling: /src/sat/cnf/cnfFast.c
`` Compiling: /src/sat/cnf/cnfMan.c
`` Compiling: /src/sat/cnf/cnfMap.c
`` Compiling: /src/sat/cnf/cnfPost.c
`` Compiling: /src/sat/cnf/cnfUtil.c
`` Compiling: /src/sat/cnf/cnfWrite.c
`` Compiling: /src/sat/bmc/bmcBCore.c
`` Compiling: /src/sat/bmc/bmcBmc.c
`` Compiling: /src/sat/bmc/bmcBmc2.c
`` Compiling: /src/sat/bmc/bmcBmc3.c
`` Compiling: /src/sat/bmc/bmcBmcAnd.c
`` Compiling: /src/sat/bmc/bmcBmci.c
`` Compiling: /src/sat/bmc/bmcCexCare.c
`` Compiling: /src/sat/bmc/bmcCexCut.c
`` Compiling: /src/sat/bmc/bmcCexDepth.c
`` Compiling: /src/sat/bmc/bmcCexMin1.c
`` Compiling: /src/sat/bmc/bmcCexMin2.c
`` Compiling: /src/sat/bmc/bmcCexTools.c
`` Compiling: /src/sat/bmc/bmcChain.c
`` Compiling: /src/sat/bmc/bmcEco.c
`` Compiling: /src/sat/bmc/bmcFault.c
`` Compiling: /src/sat/bmc/bmcICheck.c
`` Compiling: /src/sat/bmc/bmcInse.c
`` Compiling: /src/sat/bmc/bmcLoad.c
`` Compiling: /src/sat/bmc/bmcMaxi.c
`` Compiling: /src/sat/bmc/bmcMulti.c
`` Compiling: /src/sat/bmc/bmcUnroll.c
`` Compiling: /src/bool/bdc/bdcCore.c
`` Compiling: /src/bool/bdc/bdcDec.c
`` Compiling: /src/bool/bdc/bdcSpfd.c
`` Compiling: /src/bool/bdc/bdcTable.c
`` Compiling: /src/bool/dec/decAbc.c
`` Compiling: /src/bool/dec/decFactor.c
`` Compiling: /src/bool/dec/decMan.c
`` Compiling: /src/bool/dec/decPrint.c
`` Compiling: /src/bool/dec/decUtil.c
`` Compiling: /src/bool/kit/kitAig.c
`` Compiling: /src/bool/kit/kitBdd.c
`` Compiling: /src/bool/kit/kitCloud.c
`` Compiling: /src/bool/kit/cloud.c
`` Compiling: /src/bool/kit/kitDsd.c
`` Compiling: /src/bool/kit/kitFactor.c
`` Compiling: /src/bool/kit/kitGraph.c
`` Compiling: /src/bool/kit/kitHop.c
`` Compiling: /src/bool/kit/kitIsop.c
`` Compiling: /src/bool/kit/kitPla.c
`` Compiling: /src/bool/kit/kitSop.c
`` Compiling: /src/bool/kit/kitTruth.c
`` Compiling: /src/bool/lucky/lucky.c
`` Compiling: /src/bool/lucky/luckyFast16.c
`` Compiling: /src/bool/lucky/luckyFast6.c
`` Compiling: /src/bool/lucky/luckyRead.c
`` Compiling: /src/bool/lucky/luckySimple.c
`` Compiling: /src/bool/lucky/luckySwapIJ.c
`` Compiling: /src/bool/lucky/luckySwap.c
`` Compiling: /src/bool/rsb/rsbDec6.c
`` Compiling: /src/bool/rsb/rsbMan.c
`` Compiling: /src/bool/rpo/rpo.c
`` Compiling: /src/proof/pdr/pdrCnf.c
`` Compiling: /src/proof/pdr/pdrCore.c
`` Compiling: /src/proof/pdr/pdrInv.c
`` Compiling: /src/proof/pdr/pdrMan.c
`` Compiling: /src/proof/pdr/pdrSat.c
`` Compiling: /src/proof/pdr/pdrTsim.c
`` Compiling: /src/proof/pdr/pdrUtil.c
`` Compiling: /src/proof/abs/absDup.c
`` Compiling: /src/proof/abs/absGla.c
`` Compiling: /src/proof/abs/absGlaOld.c
`` Compiling: /src/proof/abs/absIter.c
`` Compiling: /src/proof/abs/absOldCex.c
`` Compiling: /src/proof/abs/absOldRef.c
`` Compiling: /src/proof/abs/absOldSat.c
`` Compiling: /src/proof/abs/absOldSim.c
`` Compiling: /src/proof/abs/absOut.c
`` Compiling: /src/proof/abs/absPth.c
`` Compiling: /src/proof/abs/absRef.c
`` Compiling: /src/proof/abs/absRefSelect.c
`` Compiling: /src/proof/abs/absRpm.c
`` Compiling: /src/proof/abs/absRpmOld.c
`` Compiling: /src/proof/abs/absVta.c
`` Compiling: /src/proof/abs/absUtil.c
`` Compiling: /src/proof/bbr/bbrCex.c
`` Compiling: /src/proof/bbr/bbrImage.c
`` Compiling: /src/proof/bbr/bbrNtbdd.c
`` Compiling: /src/proof/bbr/bbrReach.c
`` Compiling: /src/proof/llb/llb1Cluster.c
`` Compiling: /src/proof/llb/llb1Constr.c
`` Compiling: /src/proof/llb/llb1Core.c
`` Compiling: /src/proof/llb/llb1Group.c
`` Compiling: /src/proof/llb/llb1Hint.c
`` Compiling: /src/proof/llb/llb1Man.c
`` Compiling: /src/proof/llb/llb1Matrix.c
`` Compiling: /src/proof/llb/llb1Pivot.c
`` Compiling: /src/proof/llb/llb1Reach.c
`` Compiling: /src/proof/llb/llb1Sched.c
`` Compiling: /src/proof/llb/llb2Bad.c
`` Compiling: /src/proof/llb/llb2Core.c
`` Compiling: /src/proof/llb/llb2Driver.c
`` Compiling: /src/proof/llb/llb2Dump.c
`` Compiling: /src/proof/llb/llb2Flow.c
`` Compiling: /src/proof/llb/llb2Image.c
`` Compiling: /src/proof/llb/llb3Image.c
`` Compiling: /src/proof/llb/llb3Nonlin.c
`` Compiling: /src/proof/llb/llb4Cex.c
`` Compiling: /src/proof/llb/llb4Image.c
`` Compiling: /src/proof/llb/llb4Nonlin.c
`` Compiling: /src/proof/llb/llb4Sweep.c
`` Compiling: /src/proof/live/liveness.c
`` Compiling: /src/proof/live/liveness_sim.c
`` Compiling: /src/proof/live/ltl_parser.c
`` Compiling: /src/proof/live/kliveness.c
`` Compiling: /src/proof/live/monotone.c
`` Compiling: /src/proof/live/disjunctiveMonotone.c
`` Compiling: /src/proof/live/arenaViolation.c
`` Compiling: /src/proof/live/kLiveConstraints.c
`` Compiling: /src/proof/live/combination.c
`` Compiling: /src/proof/cec/cecCec.c
`` Compiling: /src/proof/cec/cecChoice.c
`` Compiling: /src/proof/cec/cecClass.c
`` Compiling: /src/proof/cec/cecCore.c
`` Compiling: /src/proof/cec/cecCorr.c
`` Compiling: /src/proof/cec/cecIso.c
`` Compiling: /src/proof/cec/cecMan.c
`` Compiling: /src/proof/cec/cecPat.c
`` Compiling: /src/proof/cec/cecSeq.c
`` Compiling: /src/proof/cec/cecSolve.c
`` Compiling: /src/proof/cec/cecSplit.c
`` Compiling: /src/proof/cec/cecSynth.c
`` Compiling: /src/proof/cec/cecSweep.c
`` Compiling: /src/proof/dch/dchAig.c
`` Compiling: /src/proof/dch/dchChoice.c
`` Compiling: /src/proof/dch/dchClass.c
`` Compiling: /src/proof/dch/dchCnf.c
`` Compiling: /src/proof/dch/dchCore.c
`` Compiling: /src/proof/dch/dchMan.c
`` Compiling: /src/proof/dch/dchSat.c
`` Compiling: /src/proof/dch/dchSim.c
`` Compiling: /src/proof/dch/dchSimSat.c
`` Compiling: /src/proof/dch/dchSweep.c
`` Compiling: /src/proof/fraig/fraigApi.c
`` Compiling: /src/proof/fraig/fraigCanon.c
`` Compiling: /src/proof/fraig/fraigFanout.c
`` Compiling: /src/proof/fraig/fraigFeed.c
`` Compiling: /src/proof/fraig/fraigMan.c
`` Compiling: /src/proof/fraig/fraigMem.c
`` Compiling: /src/proof/fraig/fraigNode.c
`` Compiling: /src/proof/fraig/fraigPrime.c
`` Compiling: /src/proof/fraig/fraigSat.c
`` Compiling: /src/proof/fraig/fraigTable.c
`` Compiling: /src/proof/fraig/fraigUtil.c
`` Compiling: /src/proof/fraig/fraigVec.c
`` Compiling: /src/proof/fra/fraBmc.c
`` Compiling: /src/proof/fra/fraCec.c
`` Compiling: /src/proof/fra/fraClass.c
`` Compiling: /src/proof/fra/fraClau.c
`` Compiling: /src/proof/fra/fraClaus.c
`` Compiling: /src/proof/fra/fraCnf.c
`` Compiling: /src/proof/fra/fraCore.c
`` Compiling: /src/proof/fra/fraHot.c
`` Compiling: /src/proof/fra/fraImp.c
`` Compiling: /src/proof/fra/fraInd.c
`` Compiling: /src/proof/fra/fraIndVer.c
`` Compiling: /src/proof/fra/fraLcr.c
`` Compiling: /src/proof/fra/fraMan.c
`` Compiling: /src/proof/fra/fraPart.c
`` Compiling: /src/proof/fra/fraSat.c
`` Compiling: /src/proof/fra/fraSec.c
`` Compiling: /src/proof/fra/fraSim.c
`` Compiling: /src/proof/ssw/sswAig.c
`` Compiling: /src/proof/ssw/sswBmc.c
`` Compiling: /src/proof/ssw/sswClass.c
`` Compiling: /src/proof/ssw/sswCnf.c
`` Compiling: /src/proof/ssw/sswConstr.c
`` Compiling: /src/proof/ssw/sswCore.c
`` Compiling: /src/proof/ssw/sswDyn.c
`` Compiling: /src/proof/ssw/sswFilter.c
`` Compiling: /src/proof/ssw/sswIslands.c
`` Compiling: /src/proof/ssw/sswLcorr.c
`` Compiling: /src/proof/ssw/sswMan.c
`` Compiling: /src/proof/ssw/sswPart.c
`` Compiling: /src/proof/ssw/sswPairs.c
`` Compiling: /src/proof/ssw/sswRarity.c
`` Compiling: /src/proof/ssw/sswSat.c
`` Compiling: /src/proof/ssw/sswSemi.c
`` Compiling: /src/proof/ssw/sswSim.c
`` Compiling: /src/proof/ssw/sswSimSat.c
`` Compiling: /src/proof/ssw/sswSweep.c
`` Compiling: /src/proof/ssw/sswUnique.c
`` Compiling: /src/proof/ssc/sscClass.c
`` Compiling: /src/proof/ssc/sscCore.c
`` Compiling: /src/proof/ssc/sscSat.c
`` Compiling: /src/proof/ssc/sscSim.c
`` Compiling: /src/proof/ssc/sscUtil.c
`` Compiling: /src/proof/int/intCheck.c
`` Compiling: /src/proof/int/intContain.c
`` Compiling: /src/proof/int/intCore.c
`` Compiling: /src/proof/int/intCtrex.c
`` Compiling: /src/proof/int/intDup.c
`` Compiling: /src/proof/int/intFrames.c
`` Compiling: /src/proof/int/intInter.c
`` Compiling: /src/proof/int/intM114.c
`` Compiling: /src/proof/int/intMan.c
`` Compiling: /src/proof/int/intUtil.c
`` Compiling: /src/aig/aig/aigCheck.c
`` Compiling: /src/aig/aig/aigCanon.c
`` Compiling: /src/aig/aig/aigCuts.c
`` Compiling: /src/aig/aig/aigDfs.c
`` Compiling: /src/aig/aig/aigDup.c
`` Compiling: /src/aig/aig/aigFanout.c
`` Compiling: /src/aig/aig/aigFrames.c
`` Compiling: /src/aig/aig/aigInter.c
`` Compiling: /src/aig/aig/aigJust.c
`` Compiling: /src/aig/aig/aigMan.c
`` Compiling: /src/aig/aig/aigMem.c
`` Compiling: /src/aig/aig/aigMffc.c
`` Compiling: /src/aig/aig/aigObj.c
`` Compiling: /src/aig/aig/aigOper.c
`` Compiling: /src/aig/aig/aigOrder.c
`` Compiling: /src/aig/aig/aigPack.c
`` Compiling: /src/aig/aig/aigPart.c
`` Compiling: /src/aig/aig/aigPartReg.c
`` Compiling: /src/aig/aig/aigPartSat.c
`` Compiling: /src/aig/aig/aigRepr.c
`` Compiling: /src/aig/aig/aigRet.c
`` Compiling: /src/aig/aig/aigRetF.c
`` Compiling: /src/aig/aig/aigScl.c
`` Compiling: /src/aig/aig/aigShow.c
`` Compiling: /src/aig/aig/aigSplit.c
`` Compiling: /src/aig/aig/aigTable.c
`` Compiling: /src/aig/aig/aigTiming.c
`` Compiling: /src/aig/aig/aigTruth.c
`` Compiling: /src/aig/aig/aigTsim.c
`` Compiling: /src/aig/aig/aigUtil.c
`` Compiling: /src/aig/aig/aigWin.c
`` Compiling: /src/aig/saig/saigCone.c
`` Compiling: /src/aig/saig/saigConstr.c
`` Compiling: /src/aig/saig/saigConstr2.c
`` Compiling: /src/aig/saig/saigDual.c
`` Compiling: /src/aig/saig/saigDup.c
`` Compiling: /src/aig/saig/saigInd.c
`` Compiling: /src/aig/saig/saigIoa.c
`` Compiling: /src/aig/saig/saigIso.c
`` Compiling: /src/aig/saig/saigIsoFast.c
`` Compiling: /src/aig/saig/saigIsoSlow.c
`` Compiling: /src/aig/saig/saigMiter.c
`` Compiling: /src/aig/saig/saigOutDec.c
`` Compiling: /src/aig/saig/saigPhase.c
`` Compiling: /src/aig/saig/saigRetFwd.c
`` Compiling: /src/aig/saig/saigRetMin.c
`` Compiling: /src/aig/saig/saigRetStep.c
`` Compiling: /src/aig/saig/saigScl.c
`` Compiling: /src/aig/saig/saigSimFast.c
`` Compiling: /src/aig/saig/saigSimMv.c
`` Compiling: /src/aig/saig/saigSimSeq.c
`` Compiling: /src/aig/saig/saigStrSim.c
`` Compiling: /src/aig/saig/saigSwitch.c
`` Compiling: /src/aig/saig/saigSynch.c
`` Compiling: /src/aig/saig/saigTempor.c
`` Compiling: /src/aig/saig/saigTrans.c
`` Compiling: /src/aig/saig/saigWnd.c
`` Compiling: /src/aig/gia/giaAig.c
`` Compiling: /src/aig/gia/giaAgi.c
`` Compiling: /src/aig/gia/giaAiger.c
`` Compiling: /src/aig/gia/giaAigerExt.c
`` Compiling: /src/aig/gia/giaBalAig.c
`` Compiling: /src/aig/gia/giaBalLut.c
`` Compiling: /src/aig/gia/giaBalMap.c
`` Compiling: /src/aig/gia/giaBidec.c
`` Compiling: /src/aig/gia/giaCCof.c
`` Compiling: /src/aig/gia/giaCex.c
`` Compiling: /src/aig/gia/giaClp.c
`` Compiling: /src/aig/gia/giaCof.c
`` Compiling: /src/aig/gia/giaCone.c
`` Compiling: /src/aig/gia/giaCSatOld.c
`` Compiling: /src/aig/gia/giaCSat.c
`` Compiling: /src/aig/gia/giaCTas.c
`` Compiling: /src/aig/gia/giaDfs.c
`` Compiling: /src/aig/gia/giaDup.c
`` Compiling: /src/aig/gia/giaEmbed.c
`` Compiling: /src/aig/gia/giaEnable.c
`` Compiling: /src/aig/gia/giaEquiv.c
`` Compiling: /src/aig/gia/giaEra.c
`` Compiling: /src/aig/gia/giaEra2.c
`` Compiling: /src/aig/gia/giaFadds.c
`` Compiling: /src/aig/gia/giaFalse.c
`` Compiling: /src/aig/gia/giaFanout.c
`` Compiling: /src/aig/gia/giaForce.c
`` Compiling: /src/aig/gia/giaFrames.c
`` Compiling: /src/aig/gia/giaFront.c
`` Compiling: /src/aig/gia/giaFx.c
`` Compiling: /src/aig/gia/giaGig.c
`` Compiling: /src/aig/gia/giaGlitch.c
`` Compiling: /src/aig/gia/giaHash.c
`` Compiling: /src/aig/gia/giaIf.c
src/aig/gia/giaIf.c: In function ‘Gia_ManFromIfLogicFindCell’:
src/aig/gia/giaIf.c:1480:16: warning: unused variable ‘pCutPerm’ [-Wunused-variable]
char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input
^
`` Compiling: /src/aig/gia/giaIff.c
`` Compiling: /src/aig/gia/giaIso.c
`` Compiling: /src/aig/gia/giaIso2.c
`` Compiling: /src/aig/gia/giaIso3.c
`` Compiling: /src/aig/gia/giaJf.c
`` Compiling: /src/aig/gia/giaKf.c
`` Compiling: /src/aig/gia/giaLf.c
`` Compiling: /src/aig/gia/giaMf.c
`` Compiling: /src/aig/gia/giaMan.c
`` Compiling: /src/aig/gia/giaMem.c
`` Compiling: /src/aig/gia/giaMfs.c
`` Compiling: /src/aig/gia/giaMini.c
`` Compiling: /src/aig/gia/giaMuxes.c
`` Compiling: /src/aig/gia/giaNf.c
`` Compiling: /src/aig/gia/giaPat.c
`` Compiling: /src/aig/gia/giaPf.c
`` Compiling: /src/aig/gia/giaQbf.c
`` Compiling: /src/aig/gia/giaResub.c
`` Compiling: /src/aig/gia/giaRetime.c
`` Compiling: /src/aig/gia/giaScl.c
`` Compiling: /src/aig/gia/giaScript.c
`` Compiling: /src/aig/gia/giaShrink.c
`` Compiling: /src/aig/gia/giaShrink6.c
`` Compiling: /src/aig/gia/giaShrink7.c
`` Compiling: /src/aig/gia/giaSim.c
`` Compiling: /src/aig/gia/giaSim2.c
`` Compiling: /src/aig/gia/giaSort.c
`` Compiling: /src/aig/gia/giaSpeedup.c
`` Compiling: /src/aig/gia/giaStg.c
`` Compiling: /src/aig/gia/giaStr.c
`` Compiling: /src/aig/gia/giaSupMin.c
`` Compiling: /src/aig/gia/giaSweep.c
`` Compiling: /src/aig/gia/giaSweeper.c
`` Compiling: /src/aig/gia/giaSwitch.c
`` Compiling: /src/aig/gia/giaTim.c
`` Compiling: /src/aig/gia/giaTis.c
`` Compiling: /src/aig/gia/giaTruth.c
`` Compiling: /src/aig/gia/giaTsim.c
`` Compiling: /src/aig/gia/giaUtil.c
`` Compiling: /src/aig/ioa/ioaReadAig.c
`` Compiling: /src/aig/ioa/ioaWriteAig.c
`` Compiling: /src/aig/ioa/ioaUtil.c
`` Compiling: /src/aig/ivy/ivyBalance.c
`` Compiling: /src/aig/ivy/ivyCanon.c
`` Compiling: /src/aig/ivy/ivyCheck.c
`` Compiling: /src/aig/ivy/ivyCut.c
`` Compiling: /src/aig/ivy/ivyCutTrav.c
`` Compiling: /src/aig/ivy/ivyDfs.c
`` Compiling: /src/aig/ivy/ivyDsd.c
`` Compiling: /src/aig/ivy/ivyFanout.c
`` Compiling: /src/aig/ivy/ivyFastMap.c
`` Compiling: /src/aig/ivy/ivyFraig.c
`` Compiling: /src/aig/ivy/ivyHaig.c
`` Compiling: /src/aig/ivy/ivyMan.c
`` Compiling: /src/aig/ivy/ivyMem.c
`` Compiling: /src/aig/ivy/ivyMulti.c
`` Compiling: /src/aig/ivy/ivyObj.c
`` Compiling: /src/aig/ivy/ivyOper.c
`` Compiling: /src/aig/ivy/ivyResyn.c
`` Compiling: /src/aig/ivy/ivyRwr.c
`` Compiling: /src/aig/ivy/ivySeq.c
`` Compiling: /src/aig/ivy/ivyShow.c
`` Compiling: /src/aig/ivy/ivyTable.c
`` Compiling: /src/aig/ivy/ivyUtil.c
`` Compiling: /src/aig/hop/hopBalance.c
`` Compiling: /src/aig/hop/hopCheck.c
`` Compiling: /src/aig/hop/hopDfs.c
`` Compiling: /src/aig/hop/hopMan.c
`` Compiling: /src/aig/hop/hopMem.c
`` Compiling: /src/aig/hop/hopObj.c
`` Compiling: /src/aig/hop/hopOper.c
`` Compiling: /src/aig/hop/hopTable.c
`` Compiling: /src/aig/hop/hopTruth.c
`` Compiling: /src/aig/hop/hopUtil.c
`` Linking: libabc.a
ar: creating libabc.a
a - src/base/abc/abcAig.o
a - src/base/abc/abcBarBuf.o
a - src/base/abc/abcBlifMv.o
a - src/base/abc/abcCheck.o
a - src/base/abc/abcDfs.o
a - src/base/abc/abcFanio.o
a - src/base/abc/abcFanOrder.o
a - src/base/abc/abcFunc.o
a - src/base/abc/abcHie.o
a - src/base/abc/abcHieCec.o
a - src/base/abc/abcHieGia.o
a - src/base/abc/abcHieNew.o
a - src/base/abc/abcLatch.o
a - src/base/abc/abcLib.o
a - src/base/abc/abcMinBase.o
a - src/base/abc/abcNames.o
a - src/base/abc/abcNetlist.o
a - src/base/abc/abcNtk.o
a - src/base/abc/abcObj.o
a - src/base/abc/abcRefs.o
a - src/base/abc/abcShow.o
a - src/base/abc/abcSop.o
a - src/base/abc/abcUtil.o
a - src/base/abci/abc.o
a - src/base/abci/abcAttach.o
a - src/base/abci/abcAuto.o
a - src/base/abci/abcBalance.o
a - src/base/abci/abcBidec.o
a - src/base/abci/abcBm.o
a - src/base/abci/abcBmc.o
a - src/base/abci/abcCas.o
a - src/base/abci/abcCascade.o
a - src/base/abci/abcCollapse.o
a - src/base/abci/abcCut.o
a - src/base/abci/abcDar.o
a - src/base/abci/abcDebug.o
a - src/base/abci/abcDec.o
a - src/base/abci/abcDress.o
a - src/base/abci/abcDress2.o
a - src/base/abci/abcDsd.o
a - src/base/abci/abcExtract.o
a - src/base/abci/abcFraig.o
a - src/base/abci/abcFx.o
a - src/base/abci/abcFxu.o
a - src/base/abci/abcGen.o
a - src/base/abci/abcHaig.o
a - src/base/abci/abcIf.o
a - src/base/abci/abcIfif.o
a - src/base/abci/abcIfMux.o
a - src/base/abci/abcIvy.o
a - src/base/abci/abcLog.o
a - src/base/abci/abcLut.o
a - src/base/abci/abcLutmin.o
a - src/base/abci/abcMap.o
a - src/base/abci/abcMerge.o
a - src/base/abci/abcMfs.o
a - src/base/abci/abcMini.o
a - src/base/abci/abcMiter.o
a - src/base/abci/abcMulti.o
a - src/base/abci/abcNtbdd.o
a - src/base/abci/abcNpn.o
a - src/base/abci/abcNpnSave.o
a - src/base/abci/abcOdc.o
a - src/base/abci/abcOrder.o
a - src/base/abci/abcPart.o
a - src/base/abci/abcPrint.o
a - src/base/abci/abcProve.o
a - src/base/abci/abcQbf.o
a - src/base/abci/abcQuant.o
a - src/base/abci/abcRec3.o
a - src/base/abci/abcReconv.o
a - src/base/abci/abcReach.o
a - src/base/abci/abcRefactor.o
a - src/base/abci/abcRenode.o
a - src/base/abci/abcReorder.o
a - src/base/abci/abcRestruct.o
a - src/base/abci/abcResub.o
a - src/base/abci/abcRewrite.o
a - src/base/abci/abcRpo.o
a - src/base/abci/abcRr.o
a - src/base/abci/abcSat.o
a - src/base/abci/abcSaucy.o
a - src/base/abci/abcScorr.o
a - src/base/abci/abcSense.o
a - src/base/abci/abcSpeedup.o
a - src/base/abci/abcStrash.o
a - src/base/abci/abcSweep.o
a - src/base/abci/abcSymm.o
a - src/base/abci/abcTim.o
a - src/base/abci/abcTiming.o
a - src/base/abci/abcUnate.o
a - src/base/abci/abcUnreach.o
a - src/base/abci/abcVerify.o
a - src/base/abci/abcXsim.o
a - src/base/cmd/cmd.o
a - src/base/cmd/cmdAlias.o
a - src/base/cmd/cmdApi.o
a - src/base/cmd/cmdFlag.o
a - src/base/cmd/cmdHist.o
a - src/base/cmd/cmdLoad.o
a - src/base/cmd/cmdPlugin.o
a - src/base/cmd/cmdStarter.o
a - src/base/cmd/cmdUtils.o
a - src/base/io/io.o
a - src/base/io/ioReadAiger.o
a - src/base/io/ioReadBaf.o
a - src/base/io/ioReadBblif.o
a - src/base/io/ioReadBench.o
a - src/base/io/ioReadBlif.o
a - src/base/io/ioReadBlifAig.o
a - src/base/io/ioReadBlifMv.o
a - src/base/io/ioReadDsd.o
a - src/base/io/ioReadEdif.o
a - src/base/io/ioReadEqn.o
a - src/base/io/ioReadPla.o
a - src/base/io/ioReadVerilog.o
a - src/base/io/ioUtil.o
a - src/base/io/ioWriteAiger.o
a - src/base/io/ioWriteBaf.o
a - src/base/io/ioWriteBblif.o
a - src/base/io/ioWriteBench.o
a - src/base/io/ioWriteBlif.o
a - src/base/io/ioWriteBlifMv.o
a - src/base/io/ioWriteBook.o
a - src/base/io/ioWriteCnf.o
a - src/base/io/ioWriteDot.o
a - src/base/io/ioWriteEqn.o
a - src/base/io/ioWriteGml.o
a - src/base/io/ioWriteList.o
a - src/base/io/ioWritePla.o
a - src/base/io/ioWriteVerilog.o
a - src/base/io/ioWriteSmv.o
a - src/base/main/mainFrame.o
a - src/base/main/mainInit.o
a - src/base/main/mainLib.o
a - src/base/main/mainReal.o
a - src/base/main/libSupport.o
a - src/base/main/mainUtils.o
a - src/base/ver/verCore.o
a - src/base/ver/verFormula.o
a - src/base/ver/verParse.o
a - src/base/ver/verStream.o
a - src/base/wlc/wlcAbs.o
a - src/base/wlc/wlcBlast.o
a - src/base/wlc/wlcCom.o
a - src/base/wlc/wlcNtk.o
a - src/base/wlc/wlcReadSmt.o
a - src/base/wlc/wlcReadVer.o
a - src/base/wlc/wlcWriteVer.o
a - src/base/cba/cbaBlast.o
a - src/base/cba/cbaCba.o
a - src/base/cba/cbaCom.o
a - src/base/cba/cbaLib.o
a - src/base/cba/cbaNtk.o
a - src/base/cba/cbaPrsBuild.o
a - src/base/cba/cbaPrsTrans.o
a - src/base/cba/cbaPtr.o
a - src/base/cba/cbaPtrAbc.o
a - src/base/cba/cbaReadBlif.o
a - src/base/cba/cbaReadSmt.o
a - src/base/cba/cbaReadVer.o
a - src/base/cba/cbaWriteBlif.o
a - src/base/cba/cbaWriteSmt.o
a - src/base/cba/cbaWriteVer.o
a - src/base/test/test.o
a - src/bdd/cudd/cuddAPI.o
a - src/bdd/cudd/cuddAddAbs.o
a - src/bdd/cudd/cuddAddApply.o
a - src/bdd/cudd/cuddAddFind.o
a - src/bdd/cudd/cuddAddInv.o
a - src/bdd/cudd/cuddAddIte.o
a - src/bdd/cudd/cuddAddNeg.o
a - src/bdd/cudd/cuddAddWalsh.o
a - src/bdd/cudd/cuddAndAbs.o
a - src/bdd/cudd/cuddAnneal.o
a - src/bdd/cudd/cuddApa.o
a - src/bdd/cudd/cuddApprox.o
a - src/bdd/cudd/cuddBddAbs.o
a - src/bdd/cudd/cuddBddCorr.o
a - src/bdd/cudd/cuddBddIte.o
a - src/bdd/cudd/cuddBridge.o
a - src/bdd/cudd/cuddCache.o
a - src/bdd/cudd/cuddCheck.o
a - src/bdd/cudd/cuddClip.o
a - src/bdd/cudd/cuddCof.o
a - src/bdd/cudd/cuddCompose.o
a - src/bdd/cudd/cuddDecomp.o
a - src/bdd/cudd/cuddEssent.o
a - src/bdd/cudd/cuddExact.o
a - src/bdd/cudd/cuddExport.o
a - src/bdd/cudd/cuddGenCof.o
a - src/bdd/cudd/cuddGenetic.o
a - src/bdd/cudd/cuddGroup.o
a - src/bdd/cudd/cuddHarwell.o
a - src/bdd/cudd/cuddInit.o
a - src/bdd/cudd/cuddInteract.o
a - src/bdd/cudd/cuddLCache.o
a - src/bdd/cudd/cuddLevelQ.o
a - src/bdd/cudd/cuddLinear.o
a - src/bdd/cudd/cuddLiteral.o
a - src/bdd/cudd/cuddMatMult.o
a - src/bdd/cudd/cuddPriority.o
a - src/bdd/cudd/cuddRead.o
a - src/bdd/cudd/cuddRef.o
a - src/bdd/cudd/cuddReorder.o
a - src/bdd/cudd/cuddSat.o
a - src/bdd/cudd/cuddSign.o
a - src/bdd/cudd/cuddSolve.o
a - src/bdd/cudd/cuddSplit.o
a - src/bdd/cudd/cuddSubsetHB.o
a - src/bdd/cudd/cuddSubsetSP.o
a - src/bdd/cudd/cuddSymmetry.o
a - src/bdd/cudd/cuddTable.o
a - src/bdd/cudd/cuddUtil.o
a - src/bdd/cudd/cuddWindow.o
a - src/bdd/cudd/cuddZddCount.o
a - src/bdd/cudd/cuddZddFuncs.o
a - src/bdd/cudd/cuddZddGroup.o
a - src/bdd/cudd/cuddZddIsop.o
a - src/bdd/cudd/cuddZddLin.o
a - src/bdd/cudd/cuddZddMisc.o
a - src/bdd/cudd/cuddZddPort.o
a - src/bdd/cudd/cuddZddReord.o
a - src/bdd/cudd/cuddZddSetop.o
a - src/bdd/cudd/cuddZddSymm.o
a - src/bdd/cudd/cuddZddUtil.o
a - src/bdd/dsd/dsdApi.o
a - src/bdd/dsd/dsdCheck.o
a - src/bdd/dsd/dsdLocal.o
a - src/bdd/dsd/dsdMan.o
a - src/bdd/dsd/dsdProc.o
a - src/bdd/dsd/dsdTree.o
a - src/bdd/epd/epd.o
a - src/bdd/mtr/mtrBasic.o
a - src/bdd/mtr/mtrGroup.o
a - src/bdd/parse/parseCore.o
a - src/bdd/parse/parseEqn.o
a - src/bdd/parse/parseStack.o
a - src/bdd/reo/reoApi.o
a - src/bdd/reo/reoCore.o
a - src/bdd/reo/reoProfile.o
a - src/bdd/reo/reoShuffle.o
a - src/bdd/reo/reoSift.o
a - src/bdd/reo/reoSwap.o
a - src/bdd/reo/reoTransfer.o
a - src/bdd/reo/reoUnits.o
a - src/bdd/cas/casCore.o
a - src/bdd/cas/casDec.o
a - src/map/mapper/mapper.o
a - src/map/mapper/mapperCanon.o
a - src/map/mapper/mapperCore.o
a - src/map/mapper/mapperCreate.o
a - src/map/mapper/mapperCut.o
a - src/map/mapper/mapperCutUtils.o
a - src/map/mapper/mapperLib.o
a - src/map/mapper/mapperMatch.o
a - src/map/mapper/mapperRefs.o
a - src/map/mapper/mapperSuper.o
a - src/map/mapper/mapperSwitch.o
a - src/map/mapper/mapperTable.o
a - src/map/mapper/mapperTime.o
a - src/map/mapper/mapperTree.o
a - src/map/mapper/mapperTruth.o
a - src/map/mapper/mapperUtils.o
a - src/map/mapper/mapperVec.o
a - src/map/mio/mio.o
a - src/map/mio/mioApi.o
a - src/map/mio/mioFunc.o
a - src/map/mio/mioParse.o
a - src/map/mio/mioRead.o
a - src/map/mio/mioSop.o
a - src/map/mio/mioUtils.o
a - src/map/super/super.o
a - src/map/super/superAnd.o
a - src/map/super/superGate.o
a - src/map/if/ifCom.o
a - src/map/if/ifCache.o
a - src/map/if/ifCore.o
a - src/map/if/ifCut.o
a - src/map/if/ifData2.o
a - src/map/if/ifDec07.o
a - src/map/if/ifDec08.o
a - src/map/if/ifDec10.o
a - src/map/if/ifDec16.o
a - src/map/if/ifDec75.o
a - src/map/if/ifDelay.o
a - src/map/if/ifDsd.o
a - src/map/if/ifLibBox.o
a - src/map/if/ifLibLut.o
a - src/map/if/ifMan.o
a - src/map/if/ifMap.o
a - src/map/if/ifMatch2.o
a - src/map/if/ifReduce.o
a - src/map/if/ifSat.o
a - src/map/if/ifSelect.o
a - src/map/if/ifSeq.o
a - src/map/if/ifTest.o
a - src/map/if/ifTime.o
a - src/map/if/ifTruth.o
a - src/map/if/ifTune.o
a - src/map/if/ifUtil.o
a - src/map/amap/amapCore.o
a - src/map/amap/amapGraph.o
a - src/map/amap/amapLib.o
a - src/map/amap/amapLiberty.o
a - src/map/amap/amapMan.o
a - src/map/amap/amapMatch.o
a - src/map/amap/amapMerge.o
a - src/map/amap/amapOutput.o
a - src/map/amap/amapParse.o
a - src/map/amap/amapPerm.o
a - src/map/amap/amapRead.o
a - src/map/amap/amapRule.o
a - src/map/amap/amapUniq.o
a - src/map/cov/covBuild.o
a - src/map/cov/covCore.o
a - src/map/cov/covMan.o
a - src/map/cov/covMinEsop.o
a - src/map/cov/covMinMan.o
a - src/map/cov/covMinSop.o
a - src/map/cov/covMinUtil.o
a - src/map/scl/scl.o
a - src/map/scl/sclBuffer.o
a - src/map/scl/sclBufSize.o
a - src/map/scl/sclDnsize.o
a - src/map/scl/sclLiberty.o
a - src/map/scl/sclLibScl.o
a - src/map/scl/sclLibUtil.o
a - src/map/scl/sclLoad.o
a - src/map/scl/sclSize.o
a - src/map/scl/sclUpsize.o
a - src/map/scl/sclUtil.o
a - src/map/mpm/mpmAbc.o
a - src/map/mpm/mpmCore.o
a - src/map/mpm/mpmDsd.o
a - src/map/mpm/mpmGates.o
a - src/map/mpm/mpmLib.o
a - src/map/mpm/mpmMan.o
a - src/map/mpm/mpmMap.o
a - src/map/mpm/mpmMig.o
a - src/map/mpm/mpmPre.o
a - src/map/mpm/mpmTruth.o
a - src/map/mpm/mpmUtil.o
a - src/misc/extra/extraBddAuto.o
a - src/misc/extra/extraBddCas.o
a - src/misc/extra/extraBddImage.o
a - src/misc/extra/extraBddKmap.o
a - src/misc/extra/extraBddMisc.o
a - src/misc/extra/extraBddSymm.o
a - src/misc/extra/extraBddTime.o
a - src/misc/extra/extraBddUnate.o
a - src/misc/extra/extraUtilBitMatrix.o
a - src/misc/extra/extraUtilCanon.o
a - src/misc/extra/extraUtilCube.o
a - src/misc/extra/extraUtilDsd.o
a - src/misc/extra/extraUtilEnum.o
a - src/misc/extra/extraUtilFile.o
a - src/misc/extra/extraUtilMemory.o
a - src/misc/extra/extraUtilMisc.o
a - src/misc/extra/extraUtilPerm.o
a - src/misc/extra/extraUtilProgress.o
a - src/misc/extra/extraUtilReader.o
a - src/misc/extra/extraUtilSupp.o
a - src/misc/extra/extraUtilThresh.o
a - src/misc/extra/extraUtilTruth.o
a - src/misc/extra/extraUtilUtil.o
a - src/misc/mvc/mvcApi.o
a - src/misc/mvc/mvcCompare.o
a - src/misc/mvc/mvcContain.o
a - src/misc/mvc/mvcCover.o
a - src/misc/mvc/mvcCube.o
a - src/misc/mvc/mvcDivide.o
a - src/misc/mvc/mvcDivisor.o
a - src/misc/mvc/mvcList.o
a - src/misc/mvc/mvcLits.o
a - src/misc/mvc/mvcMan.o
a - src/misc/mvc/mvcOpAlg.o
a - src/misc/mvc/mvcOpBool.o
a - src/misc/mvc/mvcPrint.o
a - src/misc/mvc/mvcSort.o
a - src/misc/mvc/mvcUtils.o
a - src/misc/st/st.o
a - src/misc/st/stmm.o
a - src/misc/util/utilBridge.o
a - src/misc/util/utilCex.o
a - src/misc/util/utilColor.o
a - src/misc/util/utilFile.o
a - src/misc/util/utilIsop.o
a - src/misc/util/utilNam.o
a - src/misc/util/utilSignal.o
a - src/misc/util/utilSort.o
a - src/misc/nm/nmApi.o
a - src/misc/nm/nmTable.o
a - src/misc/tim/timBox.o
a - src/misc/tim/timDump.o
a - src/misc/tim/timMan.o
a - src/misc/tim/timTime.o
a - src/misc/tim/timTrav.o
a - src/misc/bzlib/blocksort.o
a - src/misc/bzlib/bzlib.o
a - src/misc/bzlib/compress.o
a - src/misc/bzlib/crctable.o
a - src/misc/bzlib/decompress.o
a - src/misc/bzlib/huffman.o
a - src/misc/bzlib/randtable.o
a - src/misc/zlib/adler32.o
a - src/misc/zlib/compress_.o
a - src/misc/zlib/crc32.o
a - src/misc/zlib/deflate.o
a - src/misc/zlib/gzclose.o
a - src/misc/zlib/gzlib.o
a - src/misc/zlib/gzread.o
a - src/misc/zlib/gzwrite.o
a - src/misc/zlib/infback.o
a - src/misc/zlib/inffast.o
a - src/misc/zlib/inflate.o
a - src/misc/zlib/inftrees.o
a - src/misc/zlib/trees.o
a - src/misc/zlib/uncompr.o
a - src/misc/zlib/zutil.o
a - src/misc/mem/mem.o
a - src/misc/bar/bar.o
a - src/misc/bbl/bblif.o
a - src/opt/cut/cutApi.o
a - src/opt/cut/cutCut.o
a - src/opt/cut/cutMan.o
a - src/opt/cut/cutMerge.o
a - src/opt/cut/cutNode.o
a - src/opt/cut/cutOracle.o
a - src/opt/cut/cutPre22.o
a - src/opt/cut/cutSeq.o
a - src/opt/cut/cutTruth.o
a - src/opt/fxu/fxu.o
a - src/opt/fxu/fxuCreate.o
a - src/opt/fxu/fxuHeapD.o
a - src/opt/fxu/fxuHeapS.o
a - src/opt/fxu/fxuList.o
a - src/opt/fxu/fxuMatrix.o
a - src/opt/fxu/fxuPair.o
a - src/opt/fxu/fxuPrint.o
a - src/opt/fxu/fxuReduce.o
a - src/opt/fxu/fxuSelect.o
a - src/opt/fxu/fxuSingle.o
a - src/opt/fxu/fxuUpdate.o
a - src/opt/rwr/rwrDec.o
a - src/opt/rwr/rwrEva.o
a - src/opt/rwr/rwrExp.o
a - src/opt/rwr/rwrLib.o
a - src/opt/rwr/rwrMan.o
a - src/opt/rwr/rwrPrint.o
a - src/opt/rwr/rwrUtil.o
a - src/opt/mfs/mfsCore.o
a - src/opt/mfs/mfsDiv.o
a - src/opt/mfs/mfsInter.o
a - src/opt/mfs/mfsMan.o
a - src/opt/mfs/mfsResub.o
a - src/opt/mfs/mfsSat.o
a - src/opt/mfs/mfsStrash.o
a - src/opt/mfs/mfsWin.o
a - src/opt/sim/simMan.o
a - src/opt/sim/simSeq.o
a - src/opt/sim/simSupp.o
a - src/opt/sim/simSwitch.o
a - src/opt/sim/simSym.o
a - src/opt/sim/simSymSat.o
a - src/opt/sim/simSymSim.o
a - src/opt/sim/simSymStr.o
a - src/opt/sim/simUtils.o
a - src/opt/ret/retArea.o
a - src/opt/ret/retCore.o
a - src/opt/ret/retDelay.o
a - src/opt/ret/retFlow.o
a - src/opt/ret/retIncrem.o
a - src/opt/ret/retInit.o
a - src/opt/ret/retLvalue.o
a - src/opt/res/resCore.o
a - src/opt/res/resDivs.o
a - src/opt/res/resFilter.o
a - src/opt/res/resSat.o
a - src/opt/res/resSim.o
a - src/opt/res/resStrash.o
a - src/opt/res/resWin.o
a - src/opt/lpk/lpkCore.o
a - src/opt/lpk/lpkAbcDec.o
a - src/opt/lpk/lpkAbcMux.o
a - src/opt/lpk/lpkAbcDsd.o
a - src/opt/lpk/lpkAbcUtil.o
a - src/opt/lpk/lpkCut.o
a - src/opt/lpk/lpkMan.o
a - src/opt/lpk/lpkMap.o
a - src/opt/lpk/lpkMulti.o
a - src/opt/lpk/lpkMux.o
a - src/opt/lpk/lpkSets.o
a - src/opt/nwk/nwkAig.o
a - src/opt/nwk/nwkCheck.o
a - src/opt/nwk/nwkBidec.o
a - src/opt/nwk/nwkDfs.o
a - src/opt/nwk/nwkFanio.o
a - src/opt/nwk/nwkFlow.o
a - src/opt/nwk/nwkMan.o
a - src/opt/nwk/nwkMap.o
a - src/opt/nwk/nwkMerge.o
a - src/opt/nwk/nwkObj.o
a - src/opt/nwk/nwkSpeedup.o
a - src/opt/nwk/nwkStrash.o
a - src/opt/nwk/nwkTiming.o
a - src/opt/nwk/nwkUtil.o
a - src/opt/rwt/rwtDec.o
a - src/opt/rwt/rwtMan.o
a - src/opt/rwt/rwtUtil.o
a - src/opt/cgt/cgtAig.o
a - src/opt/cgt/cgtCore.o
a - src/opt/cgt/cgtDecide.o
a - src/opt/cgt/cgtMan.o
a - src/opt/cgt/cgtSat.o
a - src/opt/csw/cswCore.o
a - src/opt/csw/cswCut.o
a - src/opt/csw/cswMan.o
a - src/opt/csw/cswTable.o
a - src/opt/dar/darBalance.o
a - src/opt/dar/darCore.o
a - src/opt/dar/darCut.o
a - src/opt/dar/darData.o
a - src/opt/dar/darLib.o
a - src/opt/dar/darMan.o
a - src/opt/dar/darPrec.o
a - src/opt/dar/darRefact.o
a - src/opt/dar/darScript.o
a - src/opt/dau/dauCanon.o
a - src/opt/dau/dauCore.o
a - src/opt/dau/dauDivs.o
a - src/opt/dau/dauDsd.o
a - src/opt/dau/dauEnum.o
a - src/opt/dau/dauGia.o
a - src/opt/dau/dauMerge.o
a - src/opt/dau/dauNonDsd.o
a - src/opt/dau/dauTree.o
a - src/opt/sfm/sfmCnf.o
a - src/opt/sfm/sfmCore.o
a - src/opt/sfm/sfmNtk.o
a - src/opt/sfm/sfmSat.o
a - src/opt/sfm/sfmWin.o
a - src/sat/bsat/satMem.o
a - src/sat/bsat/satInter.o
a - src/sat/bsat/satInterA.o
a - src/sat/bsat/satInterB.o
a - src/sat/bsat/satInterP.o
a - src/sat/bsat/satProof.o
a - src/sat/bsat/satSolver.o
a - src/sat/bsat/satSolver2.o
a - src/sat/bsat/satSolver2i.o
a - src/sat/bsat/satStore.o
a - src/sat/bsat/satTrace.o
a - src/sat/bsat/satTruth.o
a - src/sat/bsat/satUtil.o
a - src/sat/csat/csat_apis.o
a - src/sat/msat/msatActivity.o
a - src/sat/msat/msatClause.o
a - src/sat/msat/msatClauseVec.o
a - src/sat/msat/msatMem.o
a - src/sat/msat/msatOrderH.o
a - src/sat/msat/msatQueue.o
a - src/sat/msat/msatRead.o
a - src/sat/msat/msatSolverApi.o
a - src/sat/msat/msatSolverCore.o
a - src/sat/msat/msatSolverIo.o
a - src/sat/msat/msatSolverSearch.o
a - src/sat/msat/msatSort.o
a - src/sat/msat/msatVec.o
a - src/sat/cnf/cnfCore.o
a - src/sat/cnf/cnfCut.o
a - src/sat/cnf/cnfData.o
a - src/sat/cnf/cnfFast.o
a - src/sat/cnf/cnfMan.o
a - src/sat/cnf/cnfMap.o
a - src/sat/cnf/cnfPost.o
a - src/sat/cnf/cnfUtil.o
a - src/sat/cnf/cnfWrite.o
a - src/sat/bmc/bmcBCore.o
a - src/sat/bmc/bmcBmc.o
a - src/sat/bmc/bmcBmc2.o
a - src/sat/bmc/bmcBmc3.o
a - src/sat/bmc/bmcBmcAnd.o
a - src/sat/bmc/bmcBmci.o
a - src/sat/bmc/bmcCexCare.o
a - src/sat/bmc/bmcCexCut.o
a - src/sat/bmc/bmcCexDepth.o
a - src/sat/bmc/bmcCexMin1.o
a - src/sat/bmc/bmcCexMin2.o
a - src/sat/bmc/bmcCexTools.o
a - src/sat/bmc/bmcChain.o
a - src/sat/bmc/bmcEco.o
a - src/sat/bmc/bmcFault.o
a - src/sat/bmc/bmcICheck.o
a - src/sat/bmc/bmcInse.o
a - src/sat/bmc/bmcLoad.o
a - src/sat/bmc/bmcMaxi.o
a - src/sat/bmc/bmcMulti.o
a - src/sat/bmc/bmcUnroll.o
a - src/bool/bdc/bdcCore.o
a - src/bool/bdc/bdcDec.o
a - src/bool/bdc/bdcSpfd.o
a - src/bool/bdc/bdcTable.o
a - src/bool/dec/decAbc.o
a - src/bool/dec/decFactor.o
a - src/bool/dec/decMan.o
a - src/bool/dec/decPrint.o
a - src/bool/dec/decUtil.o
a - src/bool/kit/kitAig.o
a - src/bool/kit/kitBdd.o
a - src/bool/kit/kitCloud.o
a - src/bool/kit/cloud.o
a - src/bool/kit/kitDsd.o
a - src/bool/kit/kitFactor.o
a - src/bool/kit/kitGraph.o
a - src/bool/kit/kitHop.o
a - src/bool/kit/kitIsop.o
a - src/bool/kit/kitPla.o
a - src/bool/kit/kitSop.o
a - src/bool/kit/kitTruth.o
a - src/bool/lucky/lucky.o
a - src/bool/lucky/luckyFast16.o
a - src/bool/lucky/luckyFast6.o
a - src/bool/lucky/luckyRead.o
a - src/bool/lucky/luckySimple.o
a - src/bool/lucky/luckySwapIJ.o
a - src/bool/lucky/luckySwap.o
a - src/bool/rsb/rsbDec6.o
a - src/bool/rsb/rsbMan.o
a - src/bool/rpo/rpo.o
a - src/proof/pdr/pdrCnf.o
a - src/proof/pdr/pdrCore.o
a - src/proof/pdr/pdrInv.o
a - src/proof/pdr/pdrMan.o
a - src/proof/pdr/pdrSat.o
a - src/proof/pdr/pdrTsim.o
a - src/proof/pdr/pdrUtil.o
a - src/proof/abs/absDup.o
a - src/proof/abs/absGla.o
a - src/proof/abs/absGlaOld.o
a - src/proof/abs/absIter.o
a - src/proof/abs/absOldCex.o
a - src/proof/abs/absOldRef.o
a - src/proof/abs/absOldSat.o
a - src/proof/abs/absOldSim.o
a - src/proof/abs/absOut.o
a - src/proof/abs/absPth.o
a - src/proof/abs/absRef.o
a - src/proof/abs/absRefSelect.o
a - src/proof/abs/absRpm.o
a - src/proof/abs/absRpmOld.o
a - src/proof/abs/absVta.o
a - src/proof/abs/absUtil.o
a - src/proof/bbr/bbrCex.o
a - src/proof/bbr/bbrImage.o
a - src/proof/bbr/bbrNtbdd.o
a - src/proof/bbr/bbrReach.o
a - src/proof/llb/llb1Cluster.o
a - src/proof/llb/llb1Constr.o
a - src/proof/llb/llb1Core.o
a - src/proof/llb/llb1Group.o
a - src/proof/llb/llb1Hint.o
a - src/proof/llb/llb1Man.o
a - src/proof/llb/llb1Matrix.o
a - src/proof/llb/llb1Pivot.o
a - src/proof/llb/llb1Reach.o
a - src/proof/llb/llb1Sched.o
a - src/proof/llb/llb2Bad.o
a - src/proof/llb/llb2Core.o
a - src/proof/llb/llb2Driver.o
a - src/proof/llb/llb2Dump.o
a - src/proof/llb/llb2Flow.o
a - src/proof/llb/llb2Image.o
a - src/proof/llb/llb3Image.o
a - src/proof/llb/llb3Nonlin.o
a - src/proof/llb/llb4Cex.o
a - src/proof/llb/llb4Image.o
a - src/proof/llb/llb4Nonlin.o
a - src/proof/llb/llb4Sweep.o
a - src/proof/live/liveness.o
a - src/proof/live/liveness_sim.o
a - src/proof/live/ltl_parser.o
a - src/proof/live/kliveness.o
a - src/proof/live/monotone.o
a - src/proof/live/disjunctiveMonotone.o
a - src/proof/live/arenaViolation.o
a - src/proof/live/kLiveConstraints.o
a - src/proof/live/combination.o
a - src/proof/cec/cecCec.o
a - src/proof/cec/cecChoice.o
a - src/proof/cec/cecClass.o
a - src/proof/cec/cecCore.o
a - src/proof/cec/cecCorr.o
a - src/proof/cec/cecIso.o
a - src/proof/cec/cecMan.o
a - src/proof/cec/cecPat.o
a - src/proof/cec/cecSeq.o
a - src/proof/cec/cecSolve.o
a - src/proof/cec/cecSplit.o
a - src/proof/cec/cecSynth.o
a - src/proof/cec/cecSweep.o
a - src/proof/dch/dchAig.o
a - src/proof/dch/dchChoice.o
a - src/proof/dch/dchClass.o
a - src/proof/dch/dchCnf.o
a - src/proof/dch/dchCore.o
a - src/proof/dch/dchMan.o
a - src/proof/dch/dchSat.o
a - src/proof/dch/dchSim.o
a - src/proof/dch/dchSimSat.o
a - src/proof/dch/dchSweep.o
a - src/proof/fraig/fraigApi.o
a - src/proof/fraig/fraigCanon.o
a - src/proof/fraig/fraigFanout.o
a - src/proof/fraig/fraigFeed.o
a - src/proof/fraig/fraigMan.o
a - src/proof/fraig/fraigMem.o
a - src/proof/fraig/fraigNode.o
a - src/proof/fraig/fraigPrime.o
a - src/proof/fraig/fraigSat.o
a - src/proof/fraig/fraigTable.o
a - src/proof/fraig/fraigUtil.o
a - src/proof/fraig/fraigVec.o
a - src/proof/fra/fraBmc.o
a - src/proof/fra/fraCec.o
a - src/proof/fra/fraClass.o
a - src/proof/fra/fraClau.o
a - src/proof/fra/fraClaus.o
a - src/proof/fra/fraCnf.o
a - src/proof/fra/fraCore.o
a - src/proof/fra/fraHot.o
a - src/proof/fra/fraImp.o
a - src/proof/fra/fraInd.o
a - src/proof/fra/fraIndVer.o
a - src/proof/fra/fraLcr.o
a - src/proof/fra/fraMan.o
a - src/proof/fra/fraPart.o
a - src/proof/fra/fraSat.o
a - src/proof/fra/fraSec.o
a - src/proof/fra/fraSim.o
a - src/proof/ssw/sswAig.o
a - src/proof/ssw/sswBmc.o
a - src/proof/ssw/sswClass.o
a - src/proof/ssw/sswCnf.o
a - src/proof/ssw/sswConstr.o
a - src/proof/ssw/sswCore.o
a - src/proof/ssw/sswDyn.o
a - src/proof/ssw/sswFilter.o
a - src/proof/ssw/sswIslands.o
a - src/proof/ssw/sswLcorr.o
a - src/proof/ssw/sswMan.o
a - src/proof/ssw/sswPart.o
a - src/proof/ssw/sswPairs.o
a - src/proof/ssw/sswRarity.o
a - src/proof/ssw/sswSat.o
a - src/proof/ssw/sswSemi.o
a - src/proof/ssw/sswSim.o
a - src/proof/ssw/sswSimSat.o
a - src/proof/ssw/sswSweep.o
a - src/proof/ssw/sswUnique.o
a - src/proof/ssc/sscClass.o
a - src/proof/ssc/sscCore.o
a - src/proof/ssc/sscSat.o
a - src/proof/ssc/sscSim.o
a - src/proof/ssc/sscUtil.o
a - src/proof/int/intCheck.o
a - src/proof/int/intContain.o
a - src/proof/int/intCore.o
a - src/proof/int/intCtrex.o
a - src/proof/int/intDup.o
a - src/proof/int/intFrames.o
a - src/proof/int/intInter.o
a - src/proof/int/intM114.o
a - src/proof/int/intMan.o
a - src/proof/int/intUtil.o
a - src/aig/aig/aigCheck.o
a - src/aig/aig/aigCanon.o
a - src/aig/aig/aigCuts.o
a - src/aig/aig/aigDfs.o
a - src/aig/aig/aigDup.o
a - src/aig/aig/aigFanout.o
a - src/aig/aig/aigFrames.o
a - src/aig/aig/aigInter.o
a - src/aig/aig/aigJust.o
a - src/aig/aig/aigMan.o
a - src/aig/aig/aigMem.o
a - src/aig/aig/aigMffc.o
a - src/aig/aig/aigObj.o
a - src/aig/aig/aigOper.o
a - src/aig/aig/aigOrder.o
a - src/aig/aig/aigPack.o
a - src/aig/aig/aigPart.o
a - src/aig/aig/aigPartReg.o
a - src/aig/aig/aigPartSat.o
a - src/aig/aig/aigRepr.o
a - src/aig/aig/aigRet.o
a - src/aig/aig/aigRetF.o
a - src/aig/aig/aigScl.o
a - src/aig/aig/aigShow.o
a - src/aig/aig/aigSplit.o
a - src/aig/aig/aigTable.o
a - src/aig/aig/aigTiming.o
a - src/aig/aig/aigTruth.o
a - src/aig/aig/aigTsim.o
a - src/aig/aig/aigUtil.o
a - src/aig/aig/aigWin.o
a - src/aig/saig/saigCone.o
a - src/aig/saig/saigConstr.o
a - src/aig/saig/saigConstr2.o
a - src/aig/saig/saigDual.o
a - src/aig/saig/saigDup.o
a - src/aig/saig/saigInd.o
a - src/aig/saig/saigIoa.o
a - src/aig/saig/saigIso.o
a - src/aig/saig/saigIsoFast.o
a - src/aig/saig/saigIsoSlow.o
a - src/aig/saig/saigMiter.o
a - src/aig/saig/saigOutDec.o
a - src/aig/saig/saigPhase.o
a - src/aig/saig/saigRetFwd.o
a - src/aig/saig/saigRetMin.o
a - src/aig/saig/saigRetStep.o
a - src/aig/saig/saigScl.o
a - src/aig/saig/saigSimFast.o
a - src/aig/saig/saigSimMv.o
a - src/aig/saig/saigSimSeq.o
a - src/aig/saig/saigStrSim.o
a - src/aig/saig/saigSwitch.o
a - src/aig/saig/saigSynch.o
a - src/aig/saig/saigTempor.o
a - src/aig/saig/saigTrans.o
a - src/aig/saig/saigWnd.o
a - src/aig/gia/giaAig.o
a - src/aig/gia/giaAgi.o
a - src/aig/gia/giaAiger.o
a - src/aig/gia/giaAigerExt.o
a - src/aig/gia/giaBalAig.o
a - src/aig/gia/giaBalLut.o
a - src/aig/gia/giaBalMap.o
a - src/aig/gia/giaBidec.o
a - src/aig/gia/giaCCof.o
a - src/aig/gia/giaCex.o
a - src/aig/gia/giaClp.o
a - src/aig/gia/giaCof.o
a - src/aig/gia/giaCone.o
a - src/aig/gia/giaCSatOld.o
a - src/aig/gia/giaCSat.o
a - src/aig/gia/giaCTas.o
a - src/aig/gia/giaDfs.o
a - src/aig/gia/giaDup.o
a - src/aig/gia/giaEmbed.o
a - src/aig/gia/giaEnable.o
a - src/aig/gia/giaEquiv.o
a - src/aig/gia/giaEra.o
a - src/aig/gia/giaEra2.o
a - src/aig/gia/giaFadds.o
a - src/aig/gia/giaFalse.o
a - src/aig/gia/giaFanout.o
a - src/aig/gia/giaForce.o
a - src/aig/gia/giaFrames.o
a - src/aig/gia/giaFront.o
a - src/aig/gia/giaFx.o
a - src/aig/gia/giaGig.o
a - src/aig/gia/giaGlitch.o
a - src/aig/gia/giaHash.o
a - src/aig/gia/giaIf.o
a - src/aig/gia/giaIff.o
a - src/aig/gia/giaIso.o
a - src/aig/gia/giaIso2.o
a - src/aig/gia/giaIso3.o
a - src/aig/gia/giaJf.o
a - src/aig/gia/giaKf.o
a - src/aig/gia/giaLf.o
a - src/aig/gia/giaMf.o
a - src/aig/gia/giaMan.o
a - src/aig/gia/giaMem.o
a - src/aig/gia/giaMfs.o
a - src/aig/gia/giaMini.o
a - src/aig/gia/giaMuxes.o
a - src/aig/gia/giaNf.o
a - src/aig/gia/giaPat.o
a - src/aig/gia/giaPf.o
a - src/aig/gia/giaQbf.o
a - src/aig/gia/giaResub.o
a - src/aig/gia/giaRetime.o
a - src/aig/gia/giaScl.o
a - src/aig/gia/giaScript.o
a - src/aig/gia/giaShrink.o
a - src/aig/gia/giaShrink6.o
a - src/aig/gia/giaShrink7.o
a - src/aig/gia/giaSim.o
a - src/aig/gia/giaSim2.o
a - src/aig/gia/giaSort.o
a - src/aig/gia/giaSpeedup.o
a - src/aig/gia/giaStg.o
a - src/aig/gia/giaStr.o
a - src/aig/gia/giaSupMin.o
a - src/aig/gia/giaSweep.o
a - src/aig/gia/giaSweeper.o
a - src/aig/gia/giaSwitch.o
a - src/aig/gia/giaTim.o
a - src/aig/gia/giaTis.o
a - src/aig/gia/giaTruth.o
a - src/aig/gia/giaTsim.o
a - src/aig/gia/giaUtil.o
a - src/aig/ioa/ioaReadAig.o
a - src/aig/ioa/ioaWriteAig.o
a - src/aig/ioa/ioaUtil.o
a - src/aig/ivy/ivyBalance.o
a - src/aig/ivy/ivyCanon.o
a - src/aig/ivy/ivyCheck.o
a - src/aig/ivy/ivyCut.o
a - src/aig/ivy/ivyCutTrav.o
a - src/aig/ivy/ivyDfs.o
a - src/aig/ivy/ivyDsd.o
a - src/aig/ivy/ivyFanout.o
a - src/aig/ivy/ivyFastMap.o
a - src/aig/ivy/ivyFraig.o
a - src/aig/ivy/ivyHaig.o
a - src/aig/ivy/ivyMan.o
a - src/aig/ivy/ivyMem.o
a - src/aig/ivy/ivyMulti.o
a - src/aig/ivy/ivyObj.o
a - src/aig/ivy/ivyOper.o
a - src/aig/ivy/ivyResyn.o
a - src/aig/ivy/ivyRwr.o
a - src/aig/ivy/ivySeq.o
a - src/aig/ivy/ivyShow.o
a - src/aig/ivy/ivyTable.o
a - src/aig/ivy/ivyUtil.o
a - src/aig/hop/hopBalance.o
a - src/aig/hop/hopCheck.o
a - src/aig/hop/hopDfs.o
a - src/aig/hop/hopMan.o
a - src/aig/hop/hopMem.o
a - src/aig/hop/hopObj.o
a - src/aig/hop/hopOper.o
a - src/aig/hop/hopTable.o
a - src/aig/hop/hopTruth.o
a - src/aig/hop/hopUtil.o
Configuring abcBridge-0.15...
Building abcBridge-0.15...
Preprocessing library abcBridge-0.15...
[ 1 of 18] Compiling Data.ABC.Internal.ABCGlobal ( dist/build/Data/ABC/Internal/ABCGlobal.hs, dist/build/Data/ABC/Internal/ABCGlobal.o )
[ 2 of 18] Compiling Data.ABC.Util ( src/Data/ABC/Util.hs, dist/build/Data/ABC/Util.o )
[ 3 of 18] Compiling Data.ABC.Internal.FRAIG ( dist/build/Data/ABC/Internal/FRAIG.hs, dist/build/Data/ABC/Internal/FRAIG.o )
[ 4 of 18] Compiling Data.ABC.Internal.Field ( src/Data/ABC/Internal/Field.hs, dist/build/Data/ABC/Internal/Field.o )
[ 5 of 18] Compiling Data.ABC.Internal.VecInt ( dist/build/Data/ABC/Internal/VecInt.hs, dist/build/Data/ABC/Internal/VecInt.o )
[ 6 of 18] Compiling Data.ABC.Internal.VecPtr ( dist/build/Data/ABC/Internal/VecPtr.hs, dist/build/Data/ABC/Internal/VecPtr.o )
[ 7 of 18] Compiling Data.ABC.Internal.GIA ( dist/build/Data/ABC/Internal/GIA.hs, dist/build/Data/ABC/Internal/GIA.o )
[ 8 of 18] Compiling Data.ABC.Internal.CEC ( dist/build/Data/ABC/Internal/CEC.hs, dist/build/Data/ABC/Internal/CEC.o )
[ 9 of 18] Compiling Data.ABC.Internal.AIG ( dist/build/Data/ABC/Internal/AIG.hs, dist/build/Data/ABC/Internal/AIG.o )
[10 of 18] Compiling Data.ABC.Internal.CNF ( dist/build/Data/ABC/Internal/CNF.hs, dist/build/Data/ABC/Internal/CNF.o )
src/Data/ABC/Internal/CNF.chs:33:1: warning: [-Wunused-imports]
The import of ‘Foreign.C’ is redundant
except perhaps to import instances from ‘Foreign.C’
To import instances alone, use: import Foreign.C()
[11 of 18] Compiling Data.ABC.Internal.GiaAig ( dist/build/Data/ABC/Internal/GiaAig.hs, dist/build/Data/ABC/Internal/GiaAig.o )
[12 of 18] Compiling Data.ABC.Internal.ABC ( dist/build/Data/ABC/Internal/ABC.hs, dist/build/Data/ABC/Internal/ABC.o )
[13 of 18] Compiling Data.ABC.Internal.IO ( dist/build/Data/ABC/Internal/IO.hs, dist/build/Data/ABC/Internal/IO.o )
src/Data/ABC/Internal/IO.chs:31:1: warning: [-Wunused-imports]
The import of ‘Foreign’ is redundant
except perhaps to import instances from ‘Foreign’
To import instances alone, use: import Foreign()
src/Data/ABC/Internal/IO.chs:32:1: warning: [-Wunused-imports]
The import of ‘Foreign.C’ is redundant
except perhaps to import instances from ‘Foreign.C’
To import instances alone, use: import Foreign.C()
[14 of 18] Compiling Data.ABC.Internal.Orphan ( dist/build/Data/ABC/Internal/Orphan.hs, dist/build/Data/ABC/Internal/Orphan.o )
[15 of 18] Compiling Data.ABC.Internal.Main ( dist/build/Data/ABC/Internal/Main.hs, dist/build/Data/ABC/Internal/Main.o )
[16 of 18] Compiling Data.ABC.AIG ( src/Data/ABC/AIG.hs, dist/build/Data/ABC/AIG.o )
[17 of 18] Compiling Data.ABC.GIA ( src/Data/ABC/GIA.hs, dist/build/Data/ABC/GIA.o )
src/Data/ABC/GIA.hs:79:1: warning: [-Wdeprecations]
Module ‘Data.ABC.AIG’:
The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead.
src/Data/ABC/GIA.hs:205:15: warning: [-Wdeprecations]
In the use of ‘writeAIGManToCNFWithMapping’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC/GIA.hs:218:10: warning: [-Wdeprecations]
In the use of ‘checkSat'’ (imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
[18 of 18] Compiling Data.ABC ( src/Data/ABC.hs, dist/build/Data/ABC.o )
src/Data/ABC.hs:47:1: warning: [-Wdeprecations]
Module ‘Data.ABC.AIG’:
The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead.
src/Data/ABC.hs:48:1: warning: [-Wdeprecations]
Module ‘Data.ABC.AIG’:
The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead.
src/Data/ABC.hs:55:15: warning: [-Wdeprecations]
In the use of type constructor or class ‘Lit’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:62:28: warning: [-Wdeprecations]
In the use of type constructor or class ‘AIG’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:63:14: warning: [-Wdeprecations]
In the use of ‘proxy’ (imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:85:50: warning: [-Wdeprecations]
In the use of type constructor or class ‘AIG’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:86:18: warning: [-Wdeprecations]
In the use of ‘readAiger’ (imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
Running Haddock for abcBridge-0.15...
Running hscolour for abcBridge-0.15...
Preprocessing library abcBridge-0.15...
Preprocessing library abcBridge-0.15...
src/Data/ABC/Internal/CNF.chs:33:1: warning: [-Wunused-imports]
The import of ‘Foreign.C’ is redundant
except perhaps to import instances from ‘Foreign.C’
To import instances alone, use: import Foreign.C()
Haddock coverage:
60% ( 3 / 5) in 'Data.ABC.Internal.ABCGlobal'
Missing documentation for:
Abc_Cex_t_ (src/Data/ABC/Internal/ABCGlobal.chs:53)
Abc_Cex_t (src/Data/ABC/Internal/ABCGlobal.chs:72)
33% ( 1 / 3) in 'Data.ABC.Util'
Missing documentation for:
forN_ (src/Data/ABC/Util.hs:15)
forN (src/Data/ABC/Util.hs:19)
33% ( 1 / 3) in 'Data.ABC.Internal.FRAIG'
Missing documentation for:
Prove_Params_t_ (src/Data/ABC/Internal/FRAIG.chs:34)
proveParamsDefault (src/Data/ABC/Internal/FRAIG.chs:123)
50% ( 3 / 6) in 'Data.ABC.Internal.Field'
Missing documentation for:
Field (src/Data/ABC/Internal/Field.hs:19)
fieldFromOffset (src/Data/ABC/Internal/Field.hs:23)
isoFieldTarget (src/Data/ABC/Internal/Field.hs:26)
23% ( 3 / 13) in 'Data.ABC.Internal.VecInt'
Missing documentation for:
Vec_Int_t_ (src/Data/ABC/Internal/VecInt.chs:44)
Vec_Int_t (src/Data/ABC/Internal/VecInt.chs:46)
clearVecInt (src/Data/ABC/Internal/VecInt.chs:58)
vecIntSize (src/Data/ABC/Internal/VecInt.chs:46)
setVecIntSize (src/Data/ABC/Internal/VecInt.chs:49)
vecIntCap (src/Data/ABC/Internal/VecInt.chs:52)
setVecIntCap (src/Data/ABC/Internal/VecInt.chs:55)
vecIntArray (src/Data/ABC/Internal/VecInt.chs:61)
setVecIntArray (src/Data/ABC/Internal/VecInt.chs:64)
withVecInt (src/Data/ABC/Internal/VecInt.chs:79)
12% ( 1 / 8) in 'Data.ABC.Internal.VecPtr'
Missing documentation for:
Vec_Ptr_t_ (src/Data/ABC/Internal/VecPtr.chs:42)
Vec_Ptr_t (src/Data/ABC/Internal/VecPtr.chs:44)
clearVec (src/Data/ABC/Internal/VecPtr.chs:45)
vecPtrSize (src/Data/ABC/Internal/VecPtr.chs:48)
vecPtrArray (src/Data/ABC/Internal/VecPtr.chs:51)
vecPtrEntry (src/Data/ABC/Internal/VecPtr.chs:57)
clearVecPtr (src/Data/ABC/Internal/VecPtr.chs:54)
37% ( 32 / 87) in 'Data.ABC.Internal.GIA'
Missing documentation for:
Gia_Man_t (src/Data/ABC/Internal/GIA.chs:293)
Gia_Man_t_ (src/Data/ABC/Internal/GIA.chs:292)
giaManNObjs (src/Data/ABC/Internal/GIA.chs:301)
giaManFanData (src/Data/ABC/Internal/GIA.chs:316)
getGiaObjValue (src/Data/ABC/Internal/GIA.chs:196)
setGiaObjValue (src/Data/ABC/Internal/GIA.chs:199)
giaManConst0Lit (src/Data/ABC/Internal/GIA.chs:267)
giaManConst1Lit (src/Data/ABC/Internal/GIA.chs:270)
giaLitIsCompl (src/Data/ABC/Internal/GIA.chs:273)
giaLitVar (src/Data/ABC/Internal/GIA.chs:276)
giaLitNotCond (src/Data/ABC/Internal/GIA.chs:286)
giaManCexComb (src/Data/ABC/Internal/GIA.chs:298)
giaManConst0 (src/Data/ABC/Internal/GIA.chs:307)
giaManCis (src/Data/ABC/Internal/GIA.chs:310)
giaManCos (src/Data/ABC/Internal/GIA.chs:313)
giaManCiNum (src/Data/ABC/Internal/GIA.chs:322)
giaManCoNum (src/Data/ABC/Internal/GIA.chs:325)
giaManPiNum (src/Data/ABC/Internal/GIA.chs:334)
giaManPoNum (src/Data/ABC/Internal/GIA.chs:337)
giaManAndNum (src/Data/ABC/Internal/GIA.chs:340)
getGiaManRegNum (src/Data/ABC/Internal/GIA.chs:328)
setGiaManRegNum (src/Data/ABC/Internal/GIA.chs:331)
gia_none (src/Data/ABC/Internal/GIA.chs:203)
giaObjFaninC1 (src/Data/ABC/Internal/GIA.chs:189)
giaObjChild0 (src/Data/ABC/Internal/GIA.chs:243)
giaObjChild1 (src/Data/ABC/Internal/GIA.chs:247)
giaObjFaninId0 (src/Data/ABC/Internal/GIA.chs:251)
giaObjFaninId1 (src/Data/ABC/Internal/GIA.chs:255)
giaObjIsTerm (src/Data/ABC/Internal/GIA.chs:180)
giaObjIsAndOrConst0 (src/Data/ABC/Internal/GIA.chs:206)
giaManObjNum (src/Data/ABC/Internal/GIA.chs:319)
giaLitNot (src/Data/ABC/Internal/GIA.chs:283)
giaIsComplement (src/Data/ABC/Internal/GIA.chs:212)
giaObjToLit (src/Data/ABC/Internal/GIA.chs:416)
giaObjFromLit (src/Data/ABC/Internal/GIA.chs:420)
giaManForEachObj1_ (src/Data/ABC/Internal/GIA.chs:345)
giaManForEachCo (src/Data/ABC/Internal/GIA.chs:353)
giaManAppendCi (src/Data/ABC/Internal/GIA.chs:363)
giaManAppendCo (src/Data/ABC/Internal/GIA.chs:378)
giaAigerRead (src/Data/ABC/Internal/GIA.chs:426)
giaAigerWrite (src/Data/ABC/Internal/GIA.chs:434)
giaManMiter (src/Data/ABC/Internal/GIA.chs:441)
giaManDupNormalize (src/Data/ABC/Internal/GIA.chs:451)
giaManHashAlloc (src/Data/ABC/Internal/GIA.chs:463)
giaManHashStart (src/Data/ABC/Internal/GIA.chs:466)
giaManHashStop (src/Data/ABC/Internal/GIA.chs:469)
giaManHashAnd (src/Data/ABC/Internal/GIA.chs:472)
giaManHashXor (src/Data/ABC/Internal/GIA.chs:477)
giaManHashMux (src/Data/ABC/Internal/GIA.chs:482)
giaManStart (src/Data/ABC/Internal/GIA.chs:499)
giaManStop (src/Data/ABC/Internal/GIA.chs:490)
p_giaManStop (src/Data/ABC/Internal/GIA.chs:493)
giaManCleanup (src/Data/ABC/Internal/GIA.chs:501)
giaManFillValue (src/Data/ABC/Internal/GIA.chs:505)
clearGiaObj (src/Data/ABC/Internal/GIA.chs:496)
32% ( 6 / 19) in 'Data.ABC.Internal.CEC'
Missing documentation for:
Cec_ParCec_t_ (src/Data/ABC/Internal/CEC.chs:96)
Cec_ParSat_t_ (src/Data/ABC/Internal/CEC.chs:55)
cecManVerify (src/Data/ABC/Internal/CEC.chs:175)
cecManSatDefaultParams (src/Data/ABC/Internal/CEC.chs:133)
cecManCecDefaultParams (src/Data/ABC/Internal/CEC.chs:143)
cecManSatSolving (src/Data/ABC/Internal/CEC.chs:168)
Cec_ManPat_t_ (src/Data/ABC/Internal/CEC.chs:52)
Cec_ManPat_t (src/Data/ABC/Internal/CEC.chs:53)
cecManPatStart (src/Data/ABC/Internal/CEC.chs:152)
cecManPatStop (src/Data/ABC/Internal/CEC.chs:154)
cecManPatPatCount (src/Data/ABC/Internal/CEC.chs:158)
cecManPatPrintStats (src/Data/ABC/Internal/CEC.chs:156)
cecManSatSolve (src/Data/ABC/Internal/CEC.chs:161)
31% ( 10 / 32) in 'Data.ABC.Internal.AIG'
Missing documentation for:
Aig_Type_t (src/Data/ABC/Internal/AIG.chs:60)
Aig_Man_t_ (src/Data/ABC/Internal/AIG.chs:62)
Aig_Obj_t_ (src/Data/ABC/Internal/AIG.chs:63)
Aig_Man_t (src/Data/ABC/Internal/AIG.chs:65)
Aig_Obj_t (src/Data/ABC/Internal/AIG.chs:66)
aigRegular (src/Data/ABC/Internal/AIG.chs:71)
aigNot (src/Data/ABC/Internal/AIG.chs:74)
aigNotCond (src/Data/ABC/Internal/AIG.chs:77)
aigIsComplement (src/Data/ABC/Internal/AIG.chs:80)
aigManCiNum (src/Data/ABC/Internal/AIG.chs:91)
aigManCoNum (src/Data/ABC/Internal/AIG.chs:94)
aigManObjNumMax (src/Data/ABC/Internal/AIG.chs:97)
aigManConst0 (src/Data/ABC/Internal/AIG.chs:101)
aigManConst1 (src/Data/ABC/Internal/AIG.chs:104)
aigManCi (src/Data/ABC/Internal/AIG.chs:107)
aigManCo (src/Data/ABC/Internal/AIG.chs:111)
aigObjId (src/Data/ABC/Internal/AIG.chs:118)
aigManStart (src/Data/ABC/Internal/AIG.chs:132)
aigManStop (src/Data/ABC/Internal/AIG.chs:130)
p_aigManStop (src/Data/ABC/Internal/AIG.chs:127)
aigObjCreateCi (src/Data/ABC/Internal/AIG.chs:134)
aigObjCreateCo (src/Data/ABC/Internal/AIG.chs:136)
27% ( 3 / 11) in 'Data.ABC.Internal.CNF'
Missing documentation for:
Cnf_Dat_t (src/Data/ABC/Internal/CNF.chs:48)
cnfVarNums (src/Data/ABC/Internal/CNF.chs:50)
cnfDataWriteIntoFile (src/Data/ABC/Internal/CNF.chs:70)
Cnf_Man_t (src/Data/ABC/Internal/CNF.chs:34)
Cnf_Man_t_ (src/Data/ABC/Internal/CNF.chs:37)
cnfDeriveWithMan (src/Data/ABC/Internal/CNF.chs:64)
cnfDataFree (src/Data/ABC/Internal/CNF.chs:85)
cnfDataWriteIntoFileWithHeader (src/Data/ABC/Internal/CNF.chs:78)
20% ( 1 / 5) in 'Data.ABC.Internal.GiaAig'
Missing documentation for:
Gia_AigMap_t (src/Data/ABC/Internal/GiaAig.chs:37)
withGiaAigMap (src/Data/ABC/Internal/GiaAig.chs:45)
aigDupGiaLit (src/Data/ABC/Internal/GiaAig.chs:48)
giaManToAig (src/Data/ABC/Internal/GiaAig.chs:32)
53% ( 43 / 81) in 'Data.ABC.Internal.ABC'
Missing documentation for:
Abc_NtkType_t (src/Data/ABC/Internal/ABC.chs:140)
Abc_NtkFunc_t (src/Data/ABC/Internal/ABC.chs:141)
Abc_ObjType_t (src/Data/ABC/Internal/ABC.chs:142)
Abc_Ntk_t_ (src/Data/ABC/Internal/ABC.chs:145)
Abc_Obj_t_ (src/Data/ABC/Internal/ABC.chs:146)
Abc_Ntk_t (src/Data/ABC/Internal/ABC.chs:153)
Abc_Obj_t (src/Data/ABC/Internal/ABC.chs:15
src/Data/ABC/Internal/IO.chs:31:1: warning: [-Wunused-imports]
The import of ‘Foreign’ is redundant
except perhaps to import instances from ‘Foreign’
To import instances alone, use: import Foreign()
src/Data/ABC/Internal/IO.chs:32:1: warning: [-Wunused-imports]
The import of ‘Foreign.C’ is redundant
except perhaps to import instances from ‘Foreign.C’
To import instances alone, use: import Foreign.C()
src/Data/ABC/GIA.hs:79:1: warning: [-Wdeprecations]
Module ‘Data.ABC.AIG’:
The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead.
src/Data/ABC/GIA.hs:205:15: warning: [-Wdeprecations]
In the use of ‘writeAIGManToCNFWithMapping’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC/GIA.hs:218:10: warning: [-Wdeprecations]
In the use of ‘checkSat'’ (imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:47:1: warning: [-Wdeprecations]
Module ‘Data.ABC.AIG’:
The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead.
src/Data/ABC.hs:48:1: warning: [-Wdeprecations]
Module ‘Data.ABC.AIG’:
The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead.
src/Data/ABC.hs:55:15: warning: [-Wdeprecations]
In the use of type constructor or class ‘Lit’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:62:28: warning: [-Wdeprecations]
In the use of type constructor or class ‘AIG’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:63:14: warning: [-Wdeprecations]
In the use of ‘proxy’ (imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:85:50: warning: [-Wdeprecations]
In the use of type constructor or class ‘AIG’
(imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
src/Data/ABC.hs:86:18: warning: [-Wdeprecations]
In the use of ‘readAiger’ (imported from Data.ABC.AIG):
"The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist. Consider using Data.ABC.GIA instead."
4)
abcNtkFunc (src/Data/ABC/Internal/ABC.chs:174)
abcNtkObj (src/Data/ABC/Internal/ABC.chs:214)
abcNtkPiNum (src/Data/ABC/Internal/ABC.chs:219)
abcNtkPoNum (src/Data/ABC/Internal/ABC.chs:222)
abcNtkCiNum (src/Data/ABC/Internal/ABC.chs:225)
abcNtkCoNum (src/Data/ABC/Internal/ABC.chs:228)
abcNtkLatchNum (src/Data/ABC/Internal/ABC.chs:237)
abcNtkCreateObj (src/Data/ABC/Internal/ABC.chs:166)
Nm_Man_t_ (src/Data/ABC/Internal/ABC.chs:122)
Nm_Man_t (src/Data/ABC/Internal/ABC.chs:124)
nmManCreate (src/Data/ABC/Internal/ABC.chs:126)
nmManFree (src/Data/ABC/Internal/ABC.chs:130)
abcObjLit0 (src/Data/ABC/Internal/ABC.chs:285)
abcObjLit1 (src/Data/ABC/Internal/ABC.chs:292)
abcAigAnd (src/Data/ABC/Internal/ABC.chs:313)
abcAigXor (src/Data/ABC/Internal/ABC.chs:316)
abcAigMux (src/Data/ABC/Internal/ABC.chs:319)
abcAigConst1 (src/Data/ABC/Internal/ABC.chs:322)
abcAigCleanup (src/Data/ABC/Internal/ABC.chs:326)
abcObjAddFanin (src/Data/ABC/Internal/ABC.chs:331)
abcNtkMiter (src/Data/ABC/Internal/ABC.chs:338)
abcNtkMiterIsConstant (src/Data/ABC/Internal/ABC.chs:347)
abcNtkShortNames (src/Data/ABC/Internal/ABC.chs:353)
abcNtkAlloc (src/Data/ABC/Internal/ABC.chs:359)
abcNtkDelete (src/Data/ABC/Internal/ABC.chs:371)
p_abcNtkDelete (src/Data/ABC/Internal/ABC.chs:376)
abcNtkDeleteObj (src/Data/ABC/Internal/ABC.chs:381)
abcNtkDeleteObjPo (src/Data/ABC/Internal/ABC.chs:385)
abcNtkIvyProve (src/Data/ABC/Internal/ABC.chs:391)
abcNtkVerifySimulatePattern (src/Data/ABC/Internal/ABC.chs:398)
abcNtkQbf (src/Data/ABC/Internal/ABC.chs:405)
60% ( 3 / 5) in 'Data.ABC.Internal.IO'
Missing documentation for:
ioReadAiger (src/Data/ABC/Internal/IO.chs:33)
ioWriteAiger (src/Data/ABC/Internal/IO.chs:35)
50% ( 2 / 4) in 'Data.ABC.Internal.Orphan'
Missing documentation for:
abcNtkFromAigPhase (src/Data/ABC/Internal/Orphan.chs:40)
abcNtkToDar (src/Data/ABC/Internal/Orphan.chs:33)
50% ( 2 / 4) in 'Data.ABC.Internal.Main'
Missing documentation for:
abcStart (src/Data/ABC/Internal/Main.chs:27)
abcStop (src/Data/ABC/Internal/Main.chs:26)
72% ( 13 / 18) in 'Data.ABC.AIG'
Missing documentation for:
AIG (src/Data/ABC/AIG.hs:78)
Lit (src/Data/ABC/AIG.hs:80)
true (src/Data/ABC/AIG.hs:153)
false (src/Data/ABC/AIG.hs:157)
IsLit
91% ( 21 / 23) in 'Data.ABC.GIA'
Missing documentation for:
proxy (src/Data/ABC/GIA.hs:94)
IsLit
82% ( 14 / 17) in 'Data.ABC'
Missing documentation for:
AIG (src/Data/ABC/AIG.hs:78)
AIGLit (src/Data/ABC.hs:55)
GIALit (src/Data/ABC.hs:65)
Warning: Data.ABC.Internal.GIA: could not find link destinations for:
Gia_Obj_t_
Warning: Data.ABC.Internal.CEC: could not find link destinations for:
Cec_ParSat_t
Warning: Data.ABC.Internal.CNF: could not find link destinations for:
Cnf_Dat_t_
Warning: Data.ABC.Internal.ABC: could not find link destinations for:
Abc_Aig_t
Documentation created: dist/doc/html/abcBridge/index.html,
dist/doc/html/abcBridge/abcBridge.txt
Creating package registration file:
/tmp/pkgConf-abcBridge-01459834400333480550.15
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/abcBridge-0.15-EgJLqHvab7DLUg2XBa1GeP
Registering abcBridge-0.15...
cabal: Leaving directory '/tmp/cabal-tmp-25560/abcBridge-0.15'
Installed abcBridge-0.15
Test log
No test log was submitted for this report.