Build #1 for jukebox-0.2.9
| Package | jukebox-0.2.9 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-09-19 13:51:55.433688 UTC |
|---|---|
| Compiler | ghc-8.0.1.20160701 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, directory-1.2.6.2, dlist-0.8.0.2, filepath-1.4.1.0, minisat-0.1.2, pretty-1.1.3.3, process-1.4.2.0, symbol-0.2.4, transformers-0.5.2.0, uglymemo-0.1.0.1, base-4.9.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-32580/dlist-0.8.0.2'
Configuring dlist-0.8.0.2...
Building dlist-0.8.0.2...
Preprocessing library dlist-0.8.0.2...
[1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o )
Running Haddock for dlist-0.8.0.2...
Running hscolour for dlist-0.8.0.2...
Preprocessing library dlist-0.8.0.2...
Preprocessing library dlist-0.8.0.2...
Haddock coverage:
100% ( 20 / 20) in 'Data.DList'
Warning: Data.DList: could not find link destinations for:
~
Documentation created: dist/doc/html/dlist/index.html,
dist/doc/html/dlist/dlist.txt
Creating package registration file:
/tmp/pkgConf-dlist-0.8.02145174067468703135.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/dlist-0.8.0.2-GWAMmbX9rLg3tqrbOizHGv
Registering dlist-0.8.0.2...
cabal: Leaving directory '/tmp/cabal-tmp-32580/dlist-0.8.0.2'
Installed dlist-0.8.0.2
cabal: Entering directory '/tmp/cabal-tmp-32580/stm-2.4.4.1'
Configuring stm-2.4.4.1...
Building stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
Running Haddock for stm-2.4.4.1...
Running hscolour for stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
Missing documentation for:
Module header
STM (Control/Sequential/STM.hs:29)
atomically (Control/Sequential/STM.hs:47)
throwSTM (Control/Sequential/STM.hs:54)
catchSTM (Control/Sequential/STM.hs:57)
TVar (Control/Sequential/STM.hs:72)
newTVar (Control/Sequential/STM.hs:75)
newTVarIO (Control/Sequential/STM.hs:78)
readTVar (Control/Sequential/STM.hs:83)
readTVarIO (Control/Sequential/STM.hs:86)
writeTVar (Control/Sequential/STM.hs:89)
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
90% ( 9 / 10) in 'Control.Monad.STM'
Missing documentation for:
check (Control/Monad/STM.hs:81)
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Missing documentation for:
newTSem (Control/Concurrent/STM/TSem.hs:42)
waitTSem (Control/Concurrent/STM/TSem.hs:45)
signalTSem (Control/Concurrent/STM/TSem.hs:51)
Warning: Control.Concurrent.STM.TArray: could not find link destinations for:
getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Warning: Control.Monad.STM: could not find link destinations for:
getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file:
/tmp/pkgConf-stm-2.4.49439477391984210012.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/stm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF
Registering stm-2.4.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-32580/stm-2.4.4.1'
Installed stm-2.4.4.1
cabal: Entering directory '/tmp/cabal-tmp-32580/symbol-0.2.4'
Configuring symbol-0.2.4...
Building symbol-0.2.4...
Preprocessing library symbol-0.2.4...
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, dist/build/Data/Symbol/Unsafe.o )
[2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, dist/build/Data/Symbol.o )
Running Haddock for symbol-0.2.4...
Running hscolour for symbol-0.2.4...
Preprocessing library symbol-0.2.4...
Preprocessing library symbol-0.2.4...
Haddock coverage:
75% ( 3 / 4) in 'Data.Symbol.Unsafe'
Missing documentation for:
Symbol (Data/Symbol/Unsafe.hs:27)
75% ( 3 / 4) in 'Data.Symbol'
Missing documentation for:
Symbol (Data/Symbol/Unsafe.hs:27)
Documentation created: dist/doc/html/symbol/index.html,
dist/doc/html/symbol/symbol.txt
Creating package registration file:
/tmp/pkgConf-symbol-0.2133535434087755422.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/symbol-0.2.4-HOY6KLBnogKKx9ESlY1iCm
Registering symbol-0.2.4...
cabal: Leaving directory '/tmp/cabal-tmp-32580/symbol-0.2.4'
Installed symbol-0.2.4
cabal: Entering directory '/tmp/cabal-tmp-32580/uglymemo-0.1.0.1'
Configuring uglymemo-0.1.0.1...
Building uglymemo-0.1.0.1...
Preprocessing library uglymemo-0.1.0.1...
[1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, dist/build/Data/MemoUgly.o )
Running Haddock for uglymemo-0.1.0.1...
Running hscolour for uglymemo-0.1.0.1...
Preprocessing library uglymemo-0.1.0.1...
Preprocessing library uglymemo-0.1.0.1...
Haddock coverage:
67% ( 2 / 3) in 'Data.MemoUgly'
Missing documentation for:
Module header
Documentation created: dist/doc/html/uglymemo/index.html,
dist/doc/html/uglymemo/uglymemo.txt
Creating package registration file:
/tmp/pkgConf-uglymemo-0.1.0382697713476667372.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/uglymemo-0.1.0.1-Fhy5ZU9C8VyL6lJU9gzwTv
Registering uglymemo-0.1.0.1...
cabal: Leaving directory '/tmp/cabal-tmp-32580/uglymemo-0.1.0.1'
Installed uglymemo-0.1.0.1
cabal: Entering directory '/tmp/cabal-tmp-32580/async-2.1.0'
Configuring async-2.1.0...
Building async-2.1.0...
Preprocessing library async-2.1.0...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
Running Haddock for async-2.1.0...
Running hscolour for async-2.1.0...
Preprocessing library async-2.1.0...
Preprocessing library async-2.1.0...
Haddock coverage:
100% ( 54 / 54) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file:
/tmp/pkgConf-async-2.11857962504201690613.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf
Registering async-2.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-32580/async-2.1.0'
Installed async-2.1.0
cabal: Entering directory '/tmp/cabal-tmp-32580/minisat-0.1.2'
Configuring minisat-0.1.2...
Building minisat-0.1.2...
Preprocessing library minisat-0.1.2...
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o )
Running Haddock for minisat-0.1.2...
Running hscolour for minisat-0.1.2...
Preprocessing library minisat-0.1.2...
Preprocessing library minisat-0.1.2...
Haddock coverage:
1% ( 1 / 70) in 'MiniSat'
Missing documentation for:
Module header
withNewSolver (minisat-haskell-bindings/MiniSat.hsc:23)
newSolver (minisat-haskell-bindings/MiniSat.hsc:28)
deleteSolver (minisat-haskell-bindings/MiniSat.hsc:34)
newLit (minisat-haskell-bindings/MiniSat.hsc:37)
neg (minisat-haskell-bindings/MiniSat.hsc:40)
addClause (minisat-haskell-bindings/MiniSat.hsc:43)
simplify (minisat-haskell-bindings/MiniSat.hsc:49)
eliminate (minisat-haskell-bindings/MiniSat.hsc:52)
setFrozen (minisat-haskell-bindings/MiniSat.hsc:55)
isEliminated (minisat-haskell-bindings/MiniSat.hsc:58)
solve (minisat-haskell-bindings/MiniSat.hsc:65)
limited_solve (minisat-haskell-bindings/MiniSat.hsc:71)
value (minisat-haskell-bindings/MiniSat.hsc:77)
modelValue (minisat-haskell-bindings/MiniSat.hsc:77)
conflict (minisat-haskell-bindings/MiniSat.hsc:87)
l_True (minisat-haskell-bindings/MiniSat.hsc:93)
l_False (minisat-haskell-bindings/MiniSat.hsc:93)
l_Undef (minisat-haskell-bindings/MiniSat.hsc:93)
Solver (minisat-haskell-bindings/MiniSat.hsc:100)
Var (minisat-haskell-bindings/MiniSat.hsc:101)
Lit (minisat-haskell-bindings/MiniSat.hsc:102)
LBool (minisat-haskell-bindings/MiniSat.hsc:103)
(minisat-haskell-bindings/MiniSat.hsc:105)
(minisat-haskell-bindings/MiniSat.hsc:108)
(minisat-haskell-bindings/MiniSat.hsc:111)
minisat_new (minisat-haskell-bindings/MiniSat.hsc:130)
minisat_delete (minisat-haskell-bindings/MiniSat.hsc:131)
minisat_newVar (minisat-haskell-bindings/MiniSat.hsc:132)
minisat_newLit (minisat-haskell-bindings/MiniSat.hsc:133)
minisat_mkLit (minisat-haskell-bindings/MiniSat.hsc:134)
minisat_mkLit_args (minisat-haskell-bindings/MiniSat.hsc:135)
minisat_negate (minisat-haskell-bindings/MiniSat.hsc:136)
minisat_var (minisat-haskell-bindings/MiniSat.hsc:137)
minisat_sign (minisat-haskell-bindings/MiniSat.hsc:138)
minisat_addClause (minisat-haskell-bindings/MiniSat.hsc:139)
minisat_addClause_begin (minisat-haskell-bindings/MiniSat.hsc:140)
minisat_addClause_addLit (minisat-haskell-bindings/MiniSat.hsc:141)
minisat_addClause_commit (minisat-haskell-bindings/MiniSat.hsc:142)
minisat_simplify (minisat-haskell-bindings/MiniSat.hsc:143)
minisat_solve (minisat-haskell-bindings/MiniSat.hsc:144)
minisat_solve_begin (minisat-haskell-bindings/MiniSat.hsc:145)
minisat_solve_addLit (minisat-haskell-bindings/MiniSat.hsc:146)
minisat_solve_commit (minisat-haskell-bindings/MiniSat.hsc:147)
minisat_limited_solve_commit (minisat-haskell-bindings/MiniSat.hsc:148)
minisat_interrupt (minisat-haskell-bindings/MiniSat.hsc:150)
minisat_clearInterrupt (minisat-haskell-bindings/MiniSat.hsc:151)
minisat_okay (minisat-haskell-bindings/MiniSat.hsc:153)
minisat_setPolarity (minisat-haskell-bindings/MiniSat.hsc:154)
minisat_setDecisionVar (minisat-haskell-bindings/MiniSat.hsc:155)
minisat_value_Var (minisat-haskell-bindings/MiniSat.hsc:156)
minisat_value_Lit (minisat-haskell-bindings/MiniSat.hsc:157)
minisat_modelValue_Var (minisat-haskell-bindings/MiniSat.hsc:158)
minisat_modelValue_Lit (minisat-haskell-bindings/MiniSat.hsc:159)
minisat_get_l_True (minisat-haskell-bindings/MiniSat.hsc:161)
minisat_get_l_False (minisat-haskell-bindings/MiniSat.hsc:162)
minisat_get_l_Undef (minisat-haskell-bindings/MiniSat.hsc:163)
minisat_setFrozen (minisat-haskell-bindings/MiniSat.hsc:166)
minisat_isEliminated (minisat-haskell-bindings/MiniSat.hsc:167)
minisat_eliminate (minisat-haskell-bindings/MiniSat.hsc:168)
minisat_num_assigns (minisat-haskell-bindings/MiniSat.hsc:170)
minisat_num_clauses (minisat-haskell-bindings/MiniSat.hsc:171)
minisat_num_learnts (minisat-haskell-bindings/MiniSat.hsc:172)
minisat_num_vars (minisat-haskell-bindings/MiniSat.hsc:173)
minisat_num_freeVars (minisat-haskell-bindings/MiniSat.hsc:174)
minisat_num_conflicts (minisat-haskell-bindings/MiniSat.hsc:175)
minisat_conflict_len (minisat-haskell-bindings/MiniSat.hsc:177)
minisat_conflict_nthLit (minisat-haskell-bindings/MiniSat.hsc:178)
minisat_set_verbosity (minisat-haskell-bindings/MiniSat.hsc:179)
Documentation created: dist/doc/html/minisat/index.html,
dist/doc/html/minisat/minisat.txt
Creating package registration file:
/tmp/pkgConf-minisat-0.1816504794820697697.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/minisat-0.1.2-8ClStztrIv94purKvLDw2K
Registering minisat-0.1.2...
cabal: Leaving directory '/tmp/cabal-tmp-32580/minisat-0.1.2'
Installed minisat-0.1.2
Downloading jukebox-0.2.9...
cabal: Entering directory '/tmp/cabal-tmp-32580/jukebox-0.2.9'
Configuring jukebox-0.2.9...
Building jukebox-0.2.9...
Preprocessing library jukebox-0.2.9...
[ 1 of 26] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o )
[ 2 of 26] Compiling Jukebox.SatMin ( src/Jukebox/SatMin.hs, dist/build/Jukebox/SatMin.o )
[ 3 of 26] Compiling Jukebox.Sat3 ( src/Jukebox/Sat3.hs, dist/build/Jukebox/Sat3.o )
[ 4 of 26] Compiling Jukebox.SatEq ( src/Jukebox/SatEq.hs, dist/build/Jukebox/SatEq.o )
[ 5 of 26] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o )
[ 6 of 26] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o )
[ 7 of 26] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o )
[ 8 of 26] Compiling Jukebox.Options ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o )
[ 9 of 26] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o )
[10 of 26] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o )
[11 of 26] Compiling Jukebox.Name ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o )
[12 of 26] Compiling Jukebox.Form ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o )
[13 of 26] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o )
src/Jukebox/TPTP/Print.hs:42:5: warning: [-Wunused-local-binds]
Defined but not used: ‘p’
src/Jukebox/TPTP/Print.hs:45:5: warning: [-Wunused-local-binds]
Defined but not used: ‘i’
[14 of 26] Compiling Jukebox.HighSat ( src/Jukebox/HighSat.hs, dist/build/Jukebox/HighSat.o )
[15 of 26] Compiling Jukebox.InferTypes ( src/Jukebox/InferTypes.hs, dist/build/Jukebox/InferTypes.o )
[16 of 26] Compiling Jukebox.Monotonox.Monotonicity ( src/Jukebox/Monotonox/Monotonicity.hs, dist/build/Jukebox/Monotonox/Monotonicity.o )
[17 of 26] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o )
[18 of 26] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o )
[19 of 26] Compiling Jukebox.GuessModel ( src/Jukebox/GuessModel.hs, dist/build/Jukebox/GuessModel.o )
[20 of 26] Compiling Jukebox.Provers.E ( src/Jukebox/Provers/E.hs, dist/build/Jukebox/Provers/E.o )
[21 of 26] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o )
[22 of 26] Compiling Jukebox.Provers.SPASS ( src/Jukebox/Provers/SPASS.hs, dist/build/Jukebox/Provers/SPASS.o )
[23 of 26] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, dist/build/Jukebox/SMTLIB.o )
[24 of 26] Compiling Jukebox.Clausify ( src/Jukebox/Clausify.hs, dist/build/Jukebox/Clausify.o )
[25 of 26] Compiling Jukebox.Monotonox.ToFOF ( src/Jukebox/Monotonox/ToFOF.hs, dist/build/Jukebox/Monotonox/ToFOF.o )
src/Jukebox/Monotonox/ToFOF.hs:82:14: warning: [-Wunused-matches]
Defined but not used: ‘ty’
[26 of 26] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o )
Preprocessing executable 'jukebox' for jukebox-0.2.9...
[1 of 1] Compiling Main ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
[1 of 1] Compiling Main ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
Linking dist/build/jukebox/jukebox ...
Running Haddock for jukebox-0.2.9...
Running hscolour for jukebox-0.2.9...
Preprocessing library jukebox-0.2.9...
Preprocessing executable 'jukebox' for jukebox-0.2.9...
Preprocessing library jukebox-0.2.9...
Haddock coverage:
0% ( 0 / 15) in 'Jukebox.Sat'
Missing documentation for:
Module header
Solver
newSolver (src/Jukebox/Sat.hs:35)
deleteSolver
Lit
neg
false (src/Jukebox/Sat.hs:31)
true (src/Jukebox/Sat.hs:31)
SatSolver (src/Jukebox/Sat.hs:46)
newLit (src/Jukebox/Sat.hs:52)
addClause (src/Jukebox/Sat.hs:55)
solve (src/Jukebox/Sat.hs:58)
conflict (src/Jukebox/Sat.hs:61)
modelValue (src/Jukebox/Sat.hs:64)
value (src/Jukebox/Sat.hs:67)
0% ( 0 / 3) in 'Jukebox.SatMin'
Missing documentation for:
Module header
solveLocalMin (src/Jukebox/SatMin.hs:5)
localMin (src/Jukebox/SatMin.hs:14)
0% ( 0 / 11) in 'Jukebox.Sat3'
Missing documentation for:
Module header
Lit3 (src/Jukebox/Sat3.hs:7)
false3 (src/Jukebox/Sat3.hs:9)
true3 (src/Jukebox/Sat3.hs:9)
bottom3 (src/Jukebox/Sat3.hs:9)
neg3 (src/Jukebox/Sat3.hs:14)
newLit3 (src/Jukebox/Sat3.hs:17)
newLit2 (src/Jukebox/Sat3.hs:24)
modelValue3 (src/Jukebox/Sat3.hs:31)
value3 (src/Jukebox/Sat3.hs:34)
val3 (src/Jukebox/Sat3.hs:37)
0% ( 0 / 12) in 'Jukebox.SatEq'
Missing documentation for:
Module header
SolverEq (src/Jukebox/SatEq.hs:11)
newSolverEq (src/Jukebox/SatEq.hs:19)
(src/Jukebox/SatEq.hs:31)
EqSolver (src/Jukebox/SatEq.hs:34)
(src/Jukebox/SatEq.hs:37)
Elt (src/Jukebox/SatEq.hs:42)
(src/Jukebox/SatEq.hs:45)
newElt (src/Jukebox/SatEq.hs:48)
equal (src/Jukebox/SatEq.hs:54)
solveEq (src/Jukebox/SatEq.hs:71)
modelRep (src/Jukebox/SatEq.hs:76)
0% ( 0 / 9) in 'Jukebox.TPTP.Lexer'
Missing documentation for:
Module header
scan (src/Jukebox/TPTP/Lexer.x:218)
Pos (src/Jukebox/TPTP/Lexer.x:98)
Token (src/Jukebox/TPTP/Lexer.x:99)
Punct (src/Jukebox/TPTP/Lexer.x:144)
Defined (src/Jukebox/TPTP/Lexer.x:132)
Keyword (src/Jukebox/TPTP/Lexer.x:110)
TokenStream (src/Jukebox/TPTP/Lexer.x:215)
Contents (src/Jukebox/TPTP/Lexer.x:216)
0% ( 0 / 30) in 'Jukebox.TPTP.Parsec'
Missing documentation for:
Module header
Parsec (src/Jukebox/TPTP/Parsec.hs:11)
Reply (src/Jukebox/TPTP/Parsec.hs:17)
Result (src/Jukebox/TPTP/Parsec.hs:19)
parseError (src/Jukebox/TPTP/Parsec.hs:22)
fatalError (src/Jukebox/TPTP/Parsec.hs:26)
(src/Jukebox/TPTP/Parsec.hs:29)
(src/Jukebox/TPTP/Parsec.hs:33)
(src/Jukebox/TPTP/Parsec.hs:41)
(src/Jukebox/TPTP/Parsec.hs:48)
(src/Jukebox/TPTP/Parsec.hs:61)
nonempty (src/Jukebox/TPTP/Parsec.hs:77)
skipSome (src/Jukebox/TPTP/Parsec.hs:81)
skipMany (src/Jukebox/TPTP/Parsec.hs:85)
<?> (src/Jukebox/TPTP/Parsec.hs:90)
between (src/Jukebox/TPTP/Parsec.hs:95)
sepBy1 (src/Jukebox/TPTP/Parsec.hs:99)
run_ (src/Jukebox/TPTP/Parsec.hs:104)
run (src/Jukebox/TPTP/Parsec.hs:109)
expected (src/Jukebox/TPTP/Parsec.hs:118)
Stream (src/Jukebox/TPTP/Parsec.hs:127)
next (src/Jukebox/TPTP/Parsec.hs:133)
cut (src/Jukebox/TPTP/Parsec.hs:138)
cut' (src/Jukebox/TPTP/Parsec.hs:142)
satisfy (src/Jukebox/TPTP/Parsec.hs:146)
eof (src/Jukebox/TPTP/Parsec.hs:154)
UserState (src/Jukebox/TPTP/Parsec.hs:160)
(src/Jukebox/TPTP/Parsec.hs:162)
getState (src/Jukebox/TPTP/Parsec.hs:170)
putState (src/Jukebox/TPTP/Parsec.hs:174)
0% ( 0 / 12) in 'Jukebox.UnionFind'
Missing documentation for:
Module header
UF (src/Jukebox/UnionFind.hs:10)
Replacement (src/Jukebox/UnionFind.hs:11)
=:= (src/Jukebox/UnionFind.hs:25)
rep (src/Jukebox/UnionFind.hs:40)
evalUF (src/Jukebox/UnionFind.hs:16)
execUF (src/Jukebox/UnionFind.hs:19)
runUF (src/Jukebox/UnionFind.hs:13)
S (src/Jukebox/UnionFind.hs:9)
isRep (src/Jukebox/UnionFind.hs:73)
initial (src/Jukebox/UnionFind.hs:22)
reps (src/Jukebox/UnionFind.hs:56)
0% ( 0 / 55) in 'Jukebox.Options'
Missing documentation for:
Module header
Annotated (src/Jukebox/Options.hs:18)
(src/Jukebox/Options.hs:22)
(src/Jukebox/Options.hs:25)
(src/Jukebox/Options.hs:30)
ArgParser (src/Jukebox/Options.hs:39)
ArgDesc (src/Jukebox/Options.hs:40)
SeqParser (src/Jukebox/Options.hs:43)
(src/Jukebox/Options.hs:47)
(src/Jukebox/Options.hs:50)
arg (src/Jukebox/Options.hs:55)
argNum (src/Jukebox/Options.hs:64)
argFile (src/Jukebox/Options.hs:71)
argFiles (src/Jukebox/Options.hs:74)
argName (src/Jukebox/Options.hs:84)
argNums (src/Jukebox/Options.hs:87)
argOption (src/Jukebox/Options.hs:96)
argList (src/Jukebox/Options.hs:102)
argUsage (src/Jukebox/Options.hs:115)
OptionParser (src/Jukebox/Options.hs:121)
ParParser (src/Jukebox/Options.hs:127)
ParseResult (src/Jukebox/Options.hs:131)
Error (src/Jukebox/Options.hs:139)
(src/Jukebox/Options.hs:143)
(src/Jukebox/Options.hs:146)
(src/Jukebox/Options.hs:151)
(src/Jukebox/Options.hs:154)
runPar (src/Jukebox/Options.hs:165)
awaitP (src/Jukebox/Options.hs:173)
await (src/Jukebox/Options.hs:183)
Flag (src/Jukebox/Options.hs:186)
flag (src/Jukebox/Options.hs:193)
manyFlags (src/Jukebox/Options.hs:207)
filenames (src/Jukebox/Options.hs:219)
io (src/Jukebox/Options.hs:226)
bool (src/Jukebox/Options.hs:231)
inGroup (src/Jukebox/Options.hs:234)
ToolParser (src/Jukebox/Options.hs:240)
Tool (src/Jukebox/Options.hs:241)
PrefixParser (src/Jukebox/Options.hs:247)
(src/Jukebox/Options.hs:249)
(src/Jukebox/Options.hs:252)
runPref (src/Jukebox/Options.hs:257)
tool (src/Jukebox/Options.hs:268)
getEffectiveArgs (src/Jukebox/Options.hs:278)
parseCommandLine (src/Jukebox/Options.hs:289)
printHelp (src/Jukebox/Options.hs:304)
argError (src/Jukebox/Options.hs:309)
usageTool (src/Jukebox/Options.hs:315)
versionTool (src/Jukebox/Options.hs:326)
helpTool (src/Jukebox/Options.hs:329)
help (src/Jukebox/Options.hs:339)
greeting (src/Jukebox/Options.hs:347)
usage (src/Jukebox/Options.hs:350)
justify (src/Jukebox/Options.hs:359)
0% ( 0 / 5) in 'Jukebox.TPTP.FindFile'
Missing documentation for:
Module header
findFile (src/Jukebox/TPTP/FindFile.hs:15)
findFileTPTP (src/Jukebox/TPTP/FindFile.hs:23)
getTPTPDirs (src/Jukebox/TPTP/FindFile.hs:29)
findFileFlags (src/Jukebox/TPTP/FindFile.hs:34)
0% ( 0 / 4) in 'Jukebox.Utils'
Missing documentation for:
Module header
usort (src/Jukebox/Utils.hs:13)
merge (src/Jukebox/Utils.hs:17)
popen (src/Jukebox/Utils.hs:26)
0% ( 0 / 26) in 'Jukebox.Name'
Missing documentation for:
Module header
Name (src/Jukebox/Name.hs:15)
FixedName (src/Jukebox/Name.hs:19)
Renamer (src/Jukebox/Name.hs:27)
Renaming (src/Jukebox/Name.hs:28)
base (src/Jukebox/Name.hs:30)
(src/Jukebox/Name.hs:36)
renamer (src/Jukebox/Name.hs:43)
defaultRenamer (src/Jukebox/Name.hs:49)
withRenamer (src/Jukebox/Name.hs:57)
(src/Jukebox/Name.hs:61)
(src/Jukebox/Name.hs:64)
compareName (src/Jukebox/Name.hs:67)
(src/Jukebox/Name.hs:71)
Named (src/Jukebox/Name.hs:77)
(src/Jukebox/Name.hs:80)
(src/Jukebox/Name.hs:83)
::: (src/Jukebox/Name.hs:86)
lhs (src/Jukebox/Name.hs:88)
rhs (src/Jukebox/Name.hs:91)
(src/Jukebox/Name.hs:94)
(src/Jukebox/Name.hs:95)
(src/Jukebox/Name.hs:97)
NameM (src/Jukebox/Name.hs:100)
runNameM (src/Jukebox/Name.hs:104)
newName (src/Jukebox/Name.hs:108)
0% ( 0 /116) in 'Jukebox.Form'
Missing documentation for:
Module header
debugging (src/Jukebox/Form.hs:27)
DomainSize (src/Jukebox/Form.hs:33)
Type (src/Jukebox/Form.hs:35)
FunType (src/Jukebox/Form.hs:44)
typeMaybeName (src/Jukebox/Form.hs:47)
(src/Jukebox/Form.hs:51)
(src/Jukebox/Form.hs:54)
(src/Jukebox/Form.hs:57)
Typed (src/Jukebox/Form.hs:62)
(src/Jukebox/Form.hs:65)
(src/Jukebox/Form.hs:68)
(src/Jukebox/Form.hs:71)
Variable (src/Jukebox/Form.hs:77)
Function (src/Jukebox/Form.hs:78)
Term (src/J
src/Jukebox/TPTP/Print.hs:42:5: warning: [-Wunused-local-binds]
Defined but not used: ‘p’
src/Jukebox/TPTP/Print.hs:45:5: warning: [-Wunused-local-binds]
Defined but not used: ‘i’
ukebox/Form.hs:79)
(src/Jukebox/Form.hs:81)
(src/Jukebox/Form.hs:85)
newSymbol (src/Jukebox/Form.hs:89)
newFunction (src/Jukebox/Form.hs:92)
newType (src/Jukebox/Form.hs:95)
funArgs (src/Jukebox/Form.hs:100)
arity (src/Jukebox/Form.hs:103)
size (src/Jukebox/Form.hs:106)
Atomic (src/Jukebox/Form.hs:114)
normAtomic (src/Jukebox/Form.hs:117)
(src/Jukebox/Form.hs:122)
(src/Jukebox/Form.hs:125)
Signed (src/Jukebox/Form.hs:128)
(src/Jukebox/Form.hs:130)
Literal (src/Jukebox/Form.hs:133)
neg (src/Jukebox/Form.hs:135)
the (src/Jukebox/Form.hs:139)
pos (src/Jukebox/Form.hs:143)
signForm (src/Jukebox/Form.hs:147)
Form (src/Jukebox/Form.hs:159)
Connective (src/Jukebox/Form.hs:172)
connective (src/Jukebox/Form.hs:174)
Bind (src/Jukebox/Form.hs:181)
true (src/Jukebox/Form.hs:183)
false (src/Jukebox/Form.hs:183)
isTrue (src/Jukebox/Form.hs:187)
isFalse (src/Jukebox/Form.hs:187)
nt (src/Jukebox/Form.hs:193)
.=>. (src/Jukebox/Form.hs:197)
.=. (src/Jukebox/Form.hs:200)
/\ (src/Jukebox/Form.hs:204)
\/ (src/Jukebox/Form.hs:204)
closeForm (src/Jukebox/Form.hs:217)
positive (src/Jukebox/Form.hs:223)
notInwards (src/Jukebox/Form.hs:229)
simple (src/Jukebox/Form.hs:240)
simplify (src/Jukebox/Form.hs:247)
CNF (src/Jukebox/Form.hs:270)
toCNF (src/Jukebox/Form.hs:277)
Clause (src/Jukebox/Form.hs:282)
clause (src/Jukebox/Form.hs:284)
toForm (src/Jukebox/Form.hs:287)
toLiterals (src/Jukebox/Form.hs:290)
Tag (src/Jukebox/Form.hs:296)
Kind (src/Jukebox/Form.hs:298)
Answer (src/Jukebox/Form.hs:300)
(src/Jukebox/Form.hs:303)
NoAnswerReason (src/Jukebox/Form.hs:308)
Input (src/Jukebox/Form.hs:310)
Problem (src/Jukebox/Form.hs:315)
(src/Jukebox/Form.hs:317)
TypeOf (src/Jukebox/Form.hs:324)
Symbolic (src/Jukebox/Form.hs:335)
(src/Jukebox/Form.hs:338)
(src/Jukebox/Form.hs:339)
(src/Jukebox/Form.hs:340)
(src/Jukebox/Form.hs:341)
(src/Jukebox/Form.hs:342)
(src/Jukebox/Form.hs:343)
(src/Jukebox/Form.hs:344)
(src/Jukebox/Form.hs:345)
(src/Jukebox/Form.hs:346)
Rep (src/Jukebox/Form.hs:349)
rep (src/Jukebox/Form.hs:357)
Unpack (src/Jukebox/Form.hs:371)
(src/Jukebox/Form.hs:374)
(src/Jukebox/Form.hs:384)
(src/Jukebox/Form.hs:387)
(src/Jukebox/Form.hs:391)
(src/Jukebox/Form.hs:395)
(src/Jukebox/Form.hs:399)
(src/Jukebox/Form.hs:402)
(src/Jukebox/Form.hs:406)
(src/Jukebox/Form.hs:409)
recursively (src/Jukebox/Form.hs:416)
recursivelyM (src/Jukebox/Form.hs:424)
collect (src/Jukebox/Form.hs:432)
Subst (src/Jukebox/Form.hs:442)
ids (src/Jukebox/Form.hs:444)
|=> (src/Jukebox/Form.hs:447)
|+| (src/Jukebox/Form.hs:450)
subst (src/Jukebox/Form.hs:453)
free (src/Jukebox/Form.hs:476)
ground (src/Jukebox/Form.hs:489)
bind (src/Jukebox/Form.hs:492)
termsAndBinders (src/Jukebox/Form.hs:496)
names (src/Jukebox/Form.hs:510)
run (src/Jukebox/Form.hs:517)
types (src/Jukebox/Form.hs:520)
types' (src/Jukebox/Form.hs:527)
terms (src/Jukebox/Form.hs:530)
vars (src/Jukebox/Form.hs:534)
functions (src/Jukebox/Form.hs:542)
isFof (src/Jukebox/Form.hs:547)
uniqueNames (src/Jukebox/Form.hs:551)
force (src/Jukebox/Form.hs:586)
check (src/Jukebox/Form.hs:596)
checkBinder (src/Jukebox/Form.hs:620)
mapName (src/Jukebox/Form.hs:626)
mapType (src/Jukebox/Form.hs:653)
14% ( 1 / 7) in 'Jukebox.TPTP.Print'
Missing documentation for:
Module header
prettyNames (src/Jukebox/TPTP/Print.hs:205)
showClauses (src/Jukebox/TPTP/Print.hs:26)
pPrintClauses (src/Jukebox/TPTP/Print.hs:19)
showProblem (src/Jukebox/TPTP/Print.hs:36)
pPrintProblem (src/Jukebox/TPTP/Print.hs:29)
0% ( 0 / 20) in 'Jukebox.HighSat'
Missing documentation for:
Module header
Sat1 (src/Jukebox/HighSat.hs:20)
Sat (src/Jukebox/HighSat.hs:21)
SatState (src/Jukebox/HighSat.hs:22)
Watch (src/Jukebox/HighSat.hs:23)
Form (src/Jukebox/HighSat.hs:25)
nt (src/Jukebox/HighSat.hs:30)
true (src/Jukebox/HighSat.hs:35)
false (src/Jukebox/HighSat.hs:35)
unique (src/Jukebox/HighSat.hs:39)
runSat (src/Jukebox/HighSat.hs:46)
runSat1 (src/Jukebox/HighSat.hs:52)
atIndex (src/Jukebox/HighSat.hs:55)
solve (src/Jukebox/HighSat.hs:63)
model (src/Jukebox/HighSat.hs:69)
modelValue (src/Jukebox/HighSat.hs:76)
addForm (src/Jukebox/HighSat.hs:83)
flatten (src/Jukebox/HighSat.hs:90)
lit (src/Jukebox/HighSat.hs:95)
var (src/Jukebox/HighSat.hs:99)
0% ( 0 / 5) in 'Jukebox.InferTypes'
Missing documentation for:
Module header
Function' (src/Jukebox/InferTypes.hs:14)
inferTypes (src/Jukebox/InferTypes.hs:16)
solve (src/Jukebox/InferTypes.hs:42)
generate (src/Jukebox/InferTypes.hs:75)
0% ( 0 / 11) in 'Jukebox.Monotonox.Monotonicity'
Missing documentation for:
Module header
Extension (src/Jukebox/Monotonox/Monotonicity.hs:12)
Var (src/Jukebox/Monotonox/Monotonicity.hs:14)
annotateMonotonicity (src/Jukebox/Monotonox/Monotonicity.hs:16)
monotone (src/Jukebox/Monotonox/Monotonicity.hs:26)
fromModel (src/Jukebox/Monotonox/Monotonicity.hs:43)
extension (src/Jukebox/Monotonox/Monotonicity.hs:46)
clause (src/Jukebox/Monotonox/Monotonicity.hs:53)
literal (src/Jukebox/Monotonox/Monotonicity.hs:56)
safe (src/Jukebox/Monotonox/Monotonicity.hs:66)
guards (src/Jukebox/Monotonox/Monotonicity.hs:70)
0% ( 0 / 73) in 'Jukebox.TPTP.Parse.Core'
Missing documentation for:
Module header
ParseState (src/Jukebox/TPTP/Parse/Core.hs:33)
Parser (src/Jukebox/TPTP/Parse/Core.hs:39)
ParsecState (src/Jukebox/TPTP/Parse/Core.hs:40)
IncludeStatement (src/Jukebox/TPTP/Parse/Core.hs:43)
initialState (src/Jukebox/TPTP/Parse/Core.hs:46)
initialStateFrom (src/Jukebox/TPTP/Parse/Core.hs:80)
(src/Jukebox/TPTP/Parse/Core.hs:85)
ParseResult (src/Jukebox/TPTP/Parse/Core.hs:93)
(src/Jukebox/TPTP/Parse/Core.hs:99)
(src/Jukebox/TPTP/Parse/Core.hs:103)
Location (src/Jukebox/TPTP/Parse/Core.hs:110)
(src/Jukebox/TPTP/Parse/Core.hs:111)
makeLocation (src/Jukebox/TPTP/Parse/Core.hs:115)
parseProblem (src/Jukebox/TPTP/Parse/Core.hs:119)
parseProblemFrom (src/Jukebox/TPTP/Parse/Core.hs:122)
testParser (src/Jukebox/TPTP/Parse/Core.hs:161)
keyword' (src/Jukebox/TPTP/Parse/Core.hs:167)
keyword (src/Jukebox/TPTP/Parse/Core.hs:171)
punct' (src/Jukebox/TPTP/Parse/Core.hs:173)
punct (src/Jukebox/TPTP/Parse/Core.hs:177)
defined' (src/Jukebox/TPTP/Parse/Core.hs:179)
defined (src/Jukebox/TPTP/Parse/Core.hs:183)
variable (src/Jukebox/TPTP/Parse/Core.hs:185)
number (src/Jukebox/TPTP/Parse/Core.hs:189)
ratNumber (src/Jukebox/TPTP/Parse/Core.hs:193)
realNumber (src/Jukebox/TPTP/Parse/Core.hs:197)
atom (src/Jukebox/TPTP/Parse/Core.hs:201)
parens (src/Jukebox/TPTP/Parse/Core.hs:205)
bracks (src/Jukebox/TPTP/Parse/Core.hs:205)
binExpr (src/Jukebox/TPTP/Parse/Core.hs:213)
section (src/Jukebox/TPTP/Parse/Core.hs:221)
input (src/Jukebox/TPTP/Parse/Core.hs:225)
kind (src/Jukebox/TPTP/Parse/Core.hs:252)
tag (src/Jukebox/TPTP/Parse/Core.hs:266)
include (src/Jukebox/TPTP/Parse/Core.hs:270)
newFormula (src/Jukebox/TPTP/Parse/Core.hs:283)
newFunction (src/Jukebox/TPTP/Parse/Core.hs:288)
showTypes (src/Jukebox/TPTP/Parse/Core.hs:298)
applyFunction (src/Jukebox/TPTP/Parse/Core.hs:302)
typeError (src/Jukebox/TPTP/Parse/Core.hs:310)
lookupType (src/Jukebox/TPTP/Parse/Core.hs:326)
lookupFunction (src/Jukebox/TPTP/Parse/Core.hs:337)
individual (src/Jukebox/TPTP/Parse/Core.hs:348)
cnf (src/Jukebox/TPTP/Parse/Core.hs:353)
tff (src/Jukebox/TPTP/Parse/Core.hs:353)
fof (src/Jukebox/TPTP/Parse/Core.hs:353)
Thing (src/Jukebox/TPTP/Parse/Core.hs:371)
(src/Jukebox/TPTP/Parse/Core.h
src/Jukebox/Monotonox/ToFOF.hs:82:14: warning: [-Wunused-matches]
Defined but not used: ‘ty’
s:375)
TermLike (src/Jukebox/TPTP/Parse/Core.hs:398)
Mode (src/Jukebox/TPTP/Parse/Core.hs:406)
(src/Jukebox/TPTP/Parse/Core.hs:408)
(src/Jukebox/TPTP/Parse/Core.hs:417)
(src/Jukebox/TPTP/Parse/Core.hs:440)
FormulaLike (src/Jukebox/TPTP/Parse/Core.hs:447)
(src/Jukebox/TPTP/Parse/Core.hs:450)
(src/Jukebox/TPTP/Parse/Core.hs:451)
term (src/Jukebox/TPTP/Parse/Core.hs:455)
intType (src/Jukebox/TPTP/Parse/Core.hs:486)
ratType (src/Jukebox/TPTP/Parse/Core.hs:486)
realType (src/Jukebox/TPTP/Parse/Core.hs:486)
literal (src/Jukebox/TPTP/Parse/Core.hs:491)
unitary (src/Jukebox/TPTP/Parse/Core.hs:491)
quantified (src/Jukebox/TPTP/Parse/Core.hs:491)
formula (src/Jukebox/TPTP/Parse/Core.hs:491)
binder (src/Jukebox/TPTP/Parse/Core.hs:554)
type_ (src/Jukebox/TPTP/Parse/Core.hs:570)
Type_ (src/Jukebox/TPTP/Parse/Core.hs:576)
prod (src/Jukebox/TPTP/Parse/Core.hs:578)
arrow (src/Jukebox/TPTP/Parse/Core.hs:582)
leaf (src/Jukebox/TPTP/Parse/Core.hs:586)
compoundType (src/Jukebox/TPTP/Parse/Core.hs:592)
typeDeclaration (src/Jukebox/TPTP/Parse/Core.hs:596)
0% ( 0 / 4) in 'Jukebox.TPTP.ParseSnippet'
Missing documentation for:
Module header
tff (src/Jukebox/TPTP/ParseSnippet.hs:17)
cnf (src/Jukebox/TPTP/ParseSnippet.hs:17)
form (src/Jukebox/TPTP/ParseSnippet.hs:21)
0% ( 0 / 11) in 'Jukebox.GuessModel'
Missing documentation for:
Module header
Universe (src/Jukebox/GuessModel.hs:11)
universe (src/Jukebox/GuessModel.hs:13)
peano (src/Jukebox/GuessModel.hs:17)
trees (src/Jukebox/GuessModel.hs:33)
guessModel (src/Jukebox/GuessModel.hs:52)
ind (src/Jukebox/GuessModel.hs:64)
function (src/Jukebox/GuessModel.hs:71)
rhss (src/Jukebox/GuessModel.hs:87)
cases (src/Jukebox/GuessModel.hs:108)
cases1 (src/Jukebox/GuessModel.hs:115)
0% ( 0 / 6) in 'Jukebox.Provers.E'
Missing documentation for:
Module header
EFlags (src/Jukebox/Provers/E.hs:18)
eflags (src/Jukebox/Provers/E.hs:24)
mangleAnswer (src/Jukebox/Provers/E.hs:44)
runE (src/Jukebox/Provers/E.hs:54)
extractAnswer (src/Jukebox/Provers/E.hs:66)
0% ( 0 / 4) in 'Jukebox.TPTP.Parse'
Missing documentation for:
Module header
parseString (src/Jukebox/TPTP/Parse.hs:12)
parseProblem (src/Jukebox/TPTP/Parse.hs:22)
parseProblemWith (src/Jukebox/TPTP/Parse.hs:25)
0% ( 0 / 5) in 'Jukebox.Provers.SPASS'
Missing documentation for:
Module header
SPASSFlags (src/Jukebox/Provers/SPASS.hs:12)
spassFlags (src/Jukebox/Provers/SPASS.hs:18)
runSPASS (src/Jukebox/Provers/SPASS.hs:37)
extractAnswer (src/Jukebox/Provers/SPASS.hs:49)
0% ( 0 / 16) in 'Jukebox.SMTLIB'
Missing documentation for:
Module header
keywords (src/Jukebox/SMTLIB.hs:22)
renamings (src/Jukebox/SMTLIB.hs:92)
renameAvoidingKeywords (src/Jukebox/SMTLIB.hs:113)
renameTPTP (src/Jukebox/SMTLIB.hs:122)
showProblem (src/Jukebox/SMTLIB.hs:127)
pPrintProblem (src/Jukebox/SMTLIB.hs:130)
pPrintDecls (src/Jukebox/SMTLIB.hs:136)
sexp (src/Jukebox/SMTLIB.hs:157)
pPrintName (src/Jukebox/SMTLIB.hs:160)
pPrintType (src/Jukebox/SMTLIB.hs:181)
pPrintInput (src/Jukebox/SMTLIB.hs:185)
pPrintForm (src/Jukebox/SMTLIB.hs:193)
pPrintQuant (src/Jukebox/SMTLIB.hs:208)
pPrintAtomic (src/Jukebox/SMTLIB.hs:216)
pPrintTerm (src/Jukebox/SMTLIB.hs:220)
0% ( 0 / 30) in 'Jukebox.Clausify'
Missing documentation for:
Module header
ClausifyFlags (src/Jukebox/Clausify.hs:20)
clausifyFlags (src/Jukebox/Clausify.hs:22)
clausify (src/Jukebox/Clausify.hs:32)
split (src/Jukebox/Clausify.hs:56)
clausForm (src/Jukebox/Clausify.hs:103)
miniscope (src/Jukebox/Clausify.hs:121)
forAll (src/Jukebox/Clausify.hs:130)
forAllOr (src/Jukebox/Clausify.hs:148)
removeEquiv (src/Jukebox/Clausify.hs:168)
removeEquivAux (src/Jukebox/Clausify.hs:182)
makeCopyable (src/Jukebox/Clausify.hs:223)
removeExists (src/Jukebox/Clausify.hs:250)
removeExpensiveOr (src/Jukebox/Clausify.hs:287)
Cost (src/Jukebox/Clausify.hs:293)
unitCost (src/Jukebox/Clausify.hs:295)
andCost (src/Jukebox/Clausify.hs:298)
orCost (src/Jukebox/Clausify.hs:301)
removeExpensiveOrAux (src/Jukebox/Clausify.hs:308)
makeOr (src/Jukebox/Clausify.hs:328)
cnf (src/Jukebox/Clausify.hs:361)
cross (src/Jukebox/Clausify.hs:367)
simplifyCNF (src/Jukebox/Clausify.hs:374)
M (src/Jukebox/Clausify.hs:399)
run (src/Jukebox/Clausify.hs:401)
skolemName (src/Jukebox/Clausify.hs:404)
withName (src/Jukebox/Clausify.hs:412)
getName (src/Jukebox/Clausify.hs:415)
skolem (src/Jukebox/Clausify.hs:418)
literal (src/Jukebox/Clausify.hs:426)
0% ( 0 / 16) in 'Jukebox.Monotonox.ToFOF'
Missing documentation for:
Module header
Scheme (src/Jukebox/Monotonox/ToFOF.hs:14)
Scheme1 (src/Jukebox/Monotonox/ToFOF.hs:19)
guard (src/Jukebox/Monotonox/ToFOF.hs:27)
translate (src/Jukebox/Monotonox/ToFOF.hs:48)
translate1 (src/Jukebox/Monotonox/ToFOF.hs:48)
tagsFlags (src/Jukebox/Monotonox/ToFOF.hs:87)
tags (src/Jukebox/Monotonox/ToFOF.hs:94)
tags1 (src/Jukebox/Monotonox/ToFOF.hs:100)
tagsAxiom (src/Jukebox/Monotonox/ToFOF.hs:116)
tagsExists (src/Jukebox/Monotonox/ToFOF.hs:133)
guards (src/Jukebox/Monotonox/ToFOF.hs:142)
guards1 (src/Jukebox/Monotonox/ToFOF.hs:148)
naked (src/Jukebox/Monotonox/ToFOF.hs:166)
guardsAxiom (src/Jukebox/Monotonox/ToFOF.hs:181)
guardsTypeAxiom (src/Jukebox/Monotonox/ToFOF.hs:189)
0% ( 0 / 32) in 'Jukebox.Toolbox'
Missing documentation for:
Module header
GlobalFlags (src/Jukebox/Toolbox.hs:24)
globalFlags (src/Jukebox/Toolbox.hs:29)
=>>= (src/Jukebox/Toolbox.hs:37)
=>> (src/Jukebox/Toolbox.hs:41)
greetingBox (src/Jukebox/Toolbox.hs:45)
greetingBoxIO (src/Jukebox/Toolbox.hs:48)
allFilesBox (src/Jukebox/Toolbox.hs:52)
allFiles (src/Jukebox/Toolbox.hs:55)
parseProblemBox (src/Jukebox/Toolbox.hs:61)
parseProblemIO (src/Jukebox/Toolbox.hs:64)
clausifyBox (src/Jukebox/Toolbox.hs:74)
clausifyIO (src/Jukebox/Toolbox.hs:77)
toFofBox (src/Jukebox/Toolbox.hs:82)
oneConjectureBox (src/Jukebox/Toolbox.hs:85)
oneConjecture (src/Jukebox/Toolbox.hs:88)
toFofIO (src/Jukebox/Toolbox.hs:95)
schemeBox (src/Jukebox/Toolbox.hs:109)
monotonicityBox (src/Jukebox/Toolbox.hs:121)
monotonicity (src/Jukebox/Toolbox.hs:124)
annotateMonotonicityBox (src/Jukebox/Toolbox.hs:140)
prettyPrintProblemBox (src/Jukebox/Toolbox.hs:145)
prettyPrintProblemSMTBox (src/Jukebox/Toolbox.hs:148)
prettyPrintClausesBox (src/Jukebox/Toolbox.hs:151)
prettyPrintIO (src/Jukebox/Toolbox.hs:154)
writeFileBox (src/Jukebox/Toolbox.hs:159)
guessModelBox (src/Jukebox/Toolbox.hs:169)
guessModelIO (src/Jukebox/Toolbox.hs:183)
allObligsBox (src/Jukebox/Toolbox.hs:186)
allObligsIO (src/Jukebox/Toolbox.hs:189)
inferBox (src/Jukebox/Toolbox.hs:203)
printInferredBox (src/Jukebox/Toolbox.hs:208)
Documentation created: dist/doc/html/jukebox/index.html,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.2.9...
Creating package registration file:
/tmp/pkgConf-jukebox-0.22009726312696947386.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/jukebox-0.2.9-GsHwnOa2lGy65IT4PHpz9i
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering jukebox-0.2.9...
cabal: Leaving directory '/tmp/cabal-tmp-32580/jukebox-0.2.9'
Installed jukebox-0.2.9
Test log
No test log was submitted for this report.