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