Build #1 for jukebox-0.2.3
| Package | jukebox-0.2.3 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-02-12 16:12:57.369521 UTC |
|---|---|
| Compiler | ghc-7.10.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | uglymemo-0.1.0.1, transformers-0.4.2.0, symbol-0.2.4, process-1.2.3.0, pretty-1.1.2.0, minisat-0.1.2, filepath-1.4.0.0, dlist-0.7.1.2, directory-1.2.2.0, containers-0.5.6.2, base-4.8.2.0, array-0.5.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring dlist-0.7.1.2...
Building dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
[1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.7.1.2...
Running Haddock for dlist-0.7.1.2...
Running hscolour for dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
Haddock coverage:
100% ( 20 / 20) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html,
dist/doc/html/dlist/dlist.txt
Creating package registration file:
/tmp/pkgConf-dlist-0.7.1278722862233665123.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/dlist-0.7.1.2-AO7XAasbAeyL0XLKeq1Aui
Registering dlist-0.7.1.2...
Installed dlist-0.7.1.2
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 )
In-place registering stm-2.4.4.1...
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)
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file:
/tmp/pkgConf-stm-2.4.420539999321264095060.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/stm-2.4.4.1-EyxFXFfnfY05IrjGaqCxeD
Registering stm-2.4.4.1...
Installed stm-2.4.4.1
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 )
In-place registering symbol-0.2.4...
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.214505736221037127828.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/symbol-0.2.4-Cxhj7OkB0snHYytQosZfIx
Registering symbol-0.2.4...
Installed symbol-0.2.4
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 )
In-place registering uglymemo-0.1.0.1...
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.03874516591469262009.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/uglymemo-0.1.0.1-LUtSxhDNnQYE3xBxir0PPW
Registering uglymemo-0.1.0.1...
Installed uglymemo-0.1.0.1
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 )
In-place registering async-2.1.0...
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.1630668850246247255.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/async-2.1.0-KuqnF1GrhHK5nNp6Zzm3jy
Registering async-2.1.0...
Installed async-2.1.0
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 )
In-place registering minisat-0.1.2...
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.116798954361545032460.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/minisat-0.1.2-G1wYd0us9U7DEoYXaHyuVQ
Registering minisat-0.1.2...
Installed minisat-0.1.2
Downloading jukebox-0.2.3...
Configuring jukebox-0.2.3...
Building jukebox-0.2.3...
Preprocessing library jukebox-0.2.3...
[ 1 of 25] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o )
[ 2 of 25] Compiling Jukebox.SatMin ( src/Jukebox/SatMin.hs, dist/build/Jukebox/SatMin.o )
[ 3 of 25] Compiling Jukebox.Sat3 ( src/Jukebox/Sat3.hs, dist/build/Jukebox/Sat3.o )
[ 4 of 25] Compiling Jukebox.SatEq ( src/Jukebox/SatEq.hs, dist/build/Jukebox/SatEq.o )
[ 5 of 25] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o )
[ 6 of 25] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o )
[ 7 of 25] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o )
[ 8 of 25] Compiling Jukebox.Options ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o )
[ 9 of 25] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o )
[10 of 25] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o )
[11 of 25] Compiling Jukebox.Name ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o )
[12 of 25] Compiling Jukebox.Form ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o )
[13 of 25] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o )
[14 of 25] Compiling Jukebox.HighSat ( src/Jukebox/HighSat.hs, dist/build/Jukebox/HighSat.o )
[15 of 25] Compiling Jukebox.InferTypes ( src/Jukebox/InferTypes.hs, dist/build/Jukebox/InferTypes.o )
[16 of 25] Compiling Jukebox.Monotonox.Monotonicity ( src/Jukebox/Monotonox/Monotonicity.hs, dist/build/Jukebox/Monotonox/Monotonicity.o )
[17 of 25] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o )
[18 of 25] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o )
[19 of 25] Compiling Jukebox.GuessModel ( src/Jukebox/GuessModel.hs, dist/build/Jukebox/GuessModel.o )
[20 of 25] Compiling Jukebox.Provers.E ( src/Jukebox/Provers/E.hs, dist/build/Jukebox/Provers/E.o )
[21 of 25] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o )
[22 of 25] Compiling Jukebox.Provers.SPASS ( src/Jukebox/Provers/SPASS.hs, dist/build/Jukebox/Provers/SPASS.o )
[23 of 25] Compiling Jukebox.Clausify ( src/Jukebox/Clausify.hs, dist/build/Jukebox/Clausify.o )
[24 of 25] Compiling Jukebox.Monotonox.ToFOF ( src/Jukebox/Monotonox/ToFOF.hs, dist/build/Jukebox/Monotonox/ToFOF.o )
[25 of 25] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o )
In-place registering jukebox-0.2.3...
Preprocessing executable 'jukebox' for jukebox-0.2.3...
[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.3...
Running hscolour for jukebox-0.2.3...
Preprocessing library jukebox-0.2.3...
Preprocessing executable 'jukebox' for jukebox-0.2.3...
Preprocessing library jukebox-0.2.3...
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:175)
Pos (src/Jukebox/TPTP/Lexer.x:93)
Token (src/Jukebox/TPTP/Lexer.x:94)
Punct (src/Jukebox/TPTP/Lexer.x:135)
Defined (src/Jukebox/TPTP/Lexer.x:125)
Keyword (src/Jukebox/TPTP/Lexer.x:103)
TokenStream (src/Jukebox/TPTP/Lexer.x:172)
Contents (src/Jukebox/TPTP/Lexer.x:173)
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:14)
(src/Jukebox/Options.hs:18)
(src/Jukebox/Options.hs:21)
(src/Jukebox/Options.hs:26)
ArgParser (src/Jukebox/Options.hs:35)
ArgDesc (src/Jukebox/Options.hs:36)
SeqParser (src/Jukebox/Options.hs:39)
(src/Jukebox/Options.hs:43)
(src/Jukebox/Options.hs:46)
arg (src/Jukebox/Options.hs:51)
argNum (src/Jukebox/Options.hs:60)
argFile (src/Jukebox/Options.hs:67)
argFiles (src/Jukebox/Options.hs:70)
argName (src/Jukebox/Options.hs:80)
argNums (src/Jukebox/Options.hs:83)
argOption (src/Jukebox/Options.hs:92)
argList (src/Jukebox/Options.hs:98)
argUsage (src/Jukebox/Options.hs:111)
OptionParser (src/Jukebox/Options.hs:117)
ParParser (src/Jukebox/Options.hs:123)
ParseResult (src/Jukebox/Options.hs:127)
Error (src/Jukebox/Options.hs:135)
(src/Jukebox/Options.hs:139)
(src/Jukebox/Options.hs:142)
(src/Jukebox/Options.hs:147)
(src/Jukebox/Options.hs:150)
runPar (src/Jukebox/Options.hs:161)
awaitP (src/Jukebox/Options.hs:169)
await (src/Jukebox/Options.hs:179)
Flag (src/Jukebox/Options.hs:182)
flag (src/Jukebox/Options.hs:189)
manyFlags (src/Jukebox/Options.hs:203)
filenames (src/Jukebox/Options.hs:215)
io (src/Jukebox/Options.hs:222)
bool (src/Jukebox/Options.hs:227)
inGroup (src/Jukebox/Options.hs:230)
ToolParser (src/Jukebox/Options.hs:236)
Tool (src/Jukebox/Options.hs:237)
PrefixParser (src/Jukebox/Options.hs:243)
(src/Jukebox/Options.hs:245)
(src/Jukebox/Options.hs:248)
runPref (src/Jukebox/Options.hs:253)
tool (src/Jukebox/Options.hs:264)
getEffectiveArgs (src/Jukebox/Options.hs:274)
parseCommandLine (src/Jukebox/Options.hs:285)
printHelp (src/Jukebox/Options.hs:300)
argError (src/Jukebox/Options.hs:305)
usageTool (src/Jukebox/Options.hs:311)
versionTool (src/Jukebox/Options.hs:322)
helpTool (src/Jukebox/Options.hs:325)
help (src/Jukebox/Options.hs:335)
greeting (src/Jukebox/Options.hs:343)
usage (src/Jukebox/Options.hs:346)
justify (src/Jukebox/Options.hs:355)
0% ( 0 / 5) in 'Jukebox.TPTP.FindFile'
Missing documentation for:
Module header
findFile (src/Jukebox/TPTP/FindFile.hs:10)
findFileTPTP (src/Jukebox/TPTP/FindFile.hs:18)
getTPTPDirs (src/Jukebox/TPTP/FindFile.hs:24)
findFileFlags (src/Jukebox/TPTP/FindFile.hs:29)
0% ( 0 / 4) in 'Jukebox.Utils'
Missing documentation for:
Module header
usort (src/Jukebox/Utils.hs:10)
merge (src/Jukebox/Utils.hs:14)
popen (src/Jukebox/Utils.hs:23)
0% ( 0 / 24) in 'Jukebox.Name'
Missing documentation for:
Module header
Name (src/Jukebox/Name.hs:11)
Renamer (src/Jukebox/Name.hs:15)
Renaming (src/Jukebox/Name.hs:16)
base (src/Jukebox/Name.hs:18)
renamer (src/Jukebox/Name.hs:24)
defaultRenamer (src/Jukebox/Name.hs:30)
withRenamer (src/Jukebox/Name.hs:38)
(src/Jukebox/Name.hs:42)
(src/Jukebox/Name.hs:45)
compareName (src/Jukebox/Name.hs:48)
(src/Jukebox/Name.hs:52)
Named (src/Jukebox/Name.hs:58)
(src/Jukebox/Name.hs:61)
(src/Jukebox/Name.hs:64)
::: (src/Jukebox/Name.hs:67)
lhs (src/Jukebox/Name.hs:69)
rhs (src/Jukebox/Name.hs:72)
(src/Jukebox/Name.hs:75)
(src/Jukebox/Name.hs:76)
(src/Jukebox/Name.hs:78)
NameM (src/Jukebox/Name.hs:81)
runNameM (src/Jukebox/Name.hs:85)
newName (src/Jukebox/Name.hs:89)
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/Jukebox/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:474)
ground (src/Jukebox/Form.hs:487)
bind (src/Jukebox/Form.hs:490)
termsAndBinders (src/Jukebox/Form.hs:494)
names (src/Jukebox/Form.hs:508)
run (src/Jukebox/Form.hs:515)
types (src/Jukebox/Form.hs:518)
types' (src/Jukebox/Form.hs:525)
terms (src/Jukebox/Form.hs:528)
vars (src/Jukebox/Form.hs:532)
functions (src/Jukebox/Form.hs:540)
isFof (src/Jukebox/Form.hs:545)
uniqueNames (src/Jukebox/Form.hs:548)
force (src/Jukebox/Form.hs:583)
check (src/Jukebox/Form.hs:593)
checkBinder (src/Jukebox/Form.hs:617)
mapName (src/Jukebox/Form.hs:623)
mapType (src/Jukebox/Form.hs:650)
17% ( 1 / 6) in 'Jukebox.TPTP.Print'
Missing documentation for:
Module header
showClauses (src/Jukebox/TPTP/Print.hs:27)
pPrintClauses (src/Jukebox/TPTP/Print.hs:20)
showProblem (src/Jukebox/TPTP/Print.hs:37)
pPrintProblem (src/Jukebox/TPTP/Print.hs:30)
0% ( 0 / 20) in 'Jukebox.HighSat'
Missing documentation for:
Module header
Sat1 (src/Jukebox/HighSat.hs:16)
Sat (src/Jukebox/HighSat.hs:17)
SatState (src/Jukebox/HighSat.hs:18)
Watch (src/Jukebox/HighSat.hs:19)
Form (src/Jukebox/HighSat.hs:21)
nt (src/Jukebox/HighSat.hs:26)
true (src/Jukebox/HighSat.hs:31)
false (src/Jukebox/HighSat.hs:31)
unique (src/Jukebox/HighSat.hs:35)
runSat (src/Jukebox/HighSat.hs:42)
runSat1 (src/Jukebox/HighSat.hs:48)
atIndex (src/Jukebox/HighSat.hs:51)
solve (src/Jukebox/HighSat.hs:59)
model (src/Jukebox/HighSat.hs:65)
modelValue (src/Jukebox/HighSat.hs:72)
addForm (src/Jukebox/HighSat.hs:79)
flatten (src/Jukebox/HighSat.hs:86)
lit (src/Jukebox/HighSat.hs:91)
var (src/Jukebox/HighSat.hs:95)
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 / 67) in 'Jukebox.TPTP.Parse.Core'
Missing documentation for:
Module header
ParseState (src/Jukebox/TPTP/Parse/Core.hs:30)
Parser (src/Jukebox/TPTP/Parse/Core.hs:36)
ParsecState (src/Jukebox/TPTP/Parse/Core.hs:37)
IncludeStatement (src/Jukebox/TPTP/Parse/Core.hs:40)
initialState (src/Jukebox/TPTP/Parse/Core.hs:43)
initialStateFrom (src/Jukebox/TPTP/Parse/Core.hs:46)
(src/Jukebox/TPTP/Parse/Core.hs:51)
ParseResult (src/Jukebox/TPTP/Parse/Core.hs:59)
(src/Jukebox/TPTP/Parse/Core.hs:65)
(src/Jukebox/TPTP/Parse/Core.hs:69)
Location (src/Jukebox/TPTP/Parse/Core.hs:76)
(src/Jukebox/TPTP/Parse/Core.hs:77)
makeLocation (src/Jukebox/TPTP/Parse/Core.hs:81)
parseProblem (src/Jukebox/TPTP/Parse/Core.hs:85)
parseProblemFrom (src/Jukebox/TPTP/Parse/Core.hs:88)
testParser (src/Jukebox/TPTP/Parse/Core.hs:127)
keyword' (src/Jukebox/TPTP/Parse/Core.hs:133)
keyword (src/Jukebox/TPTP/Parse/Core.hs:137)
punct' (src/Jukebox/TPTP/Parse/Core.hs:139)
punct (src/Jukebox/TPTP/Parse/Core.hs:143)
defined' (src/Jukebox/TPTP/Parse/Core.hs:145)
defined (src/Jukebox/TPTP/Parse/Core.hs:149)
variable (src/Jukebox/TPTP/Parse/Core.hs:151)
number (src/Jukebox/TPTP/Parse/Core.hs:155)
atom (src/Jukebox/TPTP/Parse/Core.hs:159)
parens (src/Jukebox/TPTP/Parse/Core.hs:163)
bracks (src/Jukebox/TPTP/Parse/Core.hs:163)
binExpr (src/Jukebox/TPTP/Parse/Core.hs:171)
section (src/Jukebox/TPTP/Parse/Core.hs:179)
input (src/Jukebox/TPTP/Parse/Core.hs:183)
kind (src/Jukebox/TPTP/Parse/Core.hs:210)
tag (src/Jukebox/TPTP/Parse/Core.hs:224)
include (src/Jukebox/TPTP/Parse/Core.hs:228)
newFormula (src/Jukebox/TPTP/Parse/Core.hs:241)
newFunction (src/Jukebox/TPTP/Parse/Core.hs:246)
applyFunction (src/Jukebox/TPTP/Parse/Core.hs:256)
typeError (src/Jukebox/TPTP/Parse/Core.hs:263)
lookupType (src/Jukebox/TPTP/Parse/Core.hs:278)
lookupFunction (src/Jukebox/TPTP/Parse/Core.hs:289)
individual (src/Jukebox/TPTP/Parse/Core.hs:300)
cnf (src/Jukebox/TPTP/Parse/Core.hs:305)
tff (src/Jukebox/TPTP/Parse/Core.hs:305)
fof (src/Jukebox/TPTP/Parse/Core.hs:305)
Thing (src/Jukebox/TPTP/Parse/Core.hs:323)
(src/Jukebox/TPTP/Parse/Core.hs:327)
TermLike (src/Jukebox/TPTP/Parse/Core.hs:350)
Mode (src/Jukebox/TPTP/Parse/Core.hs:358)
(src/Jukebox/TPTP/Parse/Core.hs:360)
(src/Jukebox/TPTP/Parse/Core.hs:369)
(src/Jukebox/TPTP/Parse/Core.hs:392)
FormulaLike (src/Jukebox/TPTP/Parse/Core.hs:399)
(src/Jukebox/TPTP/Parse/Core.hs:402)
(src/Jukebox/TPTP/Parse/Core.hs:403)
term (src/Jukebox/TPTP/Parse/Core.hs:407)
literal (src/Jukebox/TPTP/Parse/Core.hs:415)
unitary (src/Jukebox/TPTP/Parse/Core.hs:415)
quantified (src/Jukebox/TPTP/Parse/Core.hs:415)
formula (src/Jukebox/TPTP/Parse/Core.hs:415)
binder (src/Jukebox/TPTP/Parse/Core.hs:475)
type_ (src/Jukebox/TPTP/Parse/Core.hs:491)
Type_ (src/Jukebox/TPTP/Parse/Core.hs:497)
prod (src/Jukebox/TPTP/Parse/Core.hs:499)
arrow (src/Jukebox/TPTP/Parse/Core.hs:503)
leaf (src/Jukebox/TPTP/Parse/Core.hs:507)
compoundType (src/Jukebox/TPTP/Parse/Core.hs:513)
typeDeclaration (src/Jukebox/TPTP/Parse/Core.hs:517)
0% ( 0 / 4) in 'Jukebox.TPTP.ParseSnippet'
Missing documentation for:
Module header
tff (src/Jukebox/TPTP/ParseSnippet.hs:13)
cnf (src/Jukebox/TPTP/ParseSnippet.hs:13)
form (src/Jukebox/TPTP/ParseSnippet.hs:17)
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:13)
parseProblem (src/Jukebox/TPTP/Parse.hs:23)
parseProblemWith (src/Jukebox/TPTP/Parse.hs:26)
0% ( 0 / 5) in 'Jukebox.Provers.SPASS'
Missing documentation for:
Module header
SPASSFlags (src/Jukebox/Provers/SPASS.hs:9)
spassFlags (src/Jukebox/Provers/SPASS.hs:15)
runSPASS (src/Jukebox/Provers/SPASS.hs:34)
extractAnswer (src/Jukebox/Provers/SPASS.hs:46)
0% ( 0 / 30) in 'Jukebox.Clausify'
Missing documentation for:
Module header
ClausifyFlags (src/Jukebox/Clausify.hs:17)
clausifyFlags (src/Jukebox/Clausify.hs:19)
clausify (src/Jukebox/Clausify.hs:29)
split (src/Jukebox/Clausify.hs:53)
clausForm (src/Jukebox/Clausify.hs:100)
miniscope (src/Jukebox/Clausify.hs:118)
forAll (src/Jukebox/Clausify.hs:127)
forAllOr (src/Jukebox/Clausify.hs:145)
removeEquiv (src/Jukebox/Clausify.hs:165)
removeEquivAux (src/Jukebox/Clausify.hs:179)
makeCopyable (src/Jukebox/Clausify.hs:220)
removeExists (src/Jukebox/Clausify.hs:247)
removeExpensiveOr (src/Jukebox/Clausify.hs:284)
Cost (src/Jukebox/Clausify.hs:290)
unitCost (src/Jukebox/Clausify.hs:292)
andCost (src/Jukebox/Clausify.hs:295)
orCost (src/Jukebox/Clausify.hs:298)
removeExpensiveOrAux (src/Jukebox/Clausify.hs:305)
makeOr (src/Jukebox/Clausify.hs:325)
cnf (src/Jukebox/Clausify.hs:358)
cross (src/Jukebox/Clausify.hs:364)
simplifyCNF (src/Jukebox/Clausify.hs:371)
M (src/Jukebox/Clausify.hs:396)
run (src/Jukebox/Clausify.hs:398)
skolemName (src/Jukebox/Clausify.hs:401)
withName (src/Jukebox/Clausify.hs:409)
getName (src/Jukebox/Clausify.hs:412)
skolem (src/Jukebox/Clausify.hs:415)
literal (src/Jukebox/Clausify.hs:423)
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:85)
tags (src/Jukebox/Monotonox/ToFOF.hs:92)
tags1 (src/Jukebox/Monotonox/ToFOF.hs:98)
tagsAxiom (src/Jukebox/Monotonox/ToFOF.hs:114)
tagsExists (src/Jukebox/Monotonox/ToFOF.hs:131)
guards (src/Jukebox/Monotonox/ToFOF.hs:140)
guards1 (src/Jukebox/Monotonox/ToFOF.hs:146)
naked (src/Jukebox/Monotonox/ToFOF.hs:164)
guardsAxiom (src/Jukebox/Monotonox/ToFOF.hs:179)
guardsTypeAxiom (src/Jukebox/Monotonox/ToFOF.hs:187)
0% ( 0 / 31) in 'Jukebox.Toolbox'
Missing documentation for:
Module header
GlobalFlags (src/Jukebox/Toolbox.hs:20)
globalFlags (src/Jukebox/Toolbox.hs:25)
=>>= (src/Jukebox/Toolbox.hs:33)
=>> (src/Jukebox/Toolbox.hs:37)
greetingBox (src/Jukebox/Toolbox.hs:41)
greetingBoxIO (src/Jukebox/Toolbox.hs:44)
allFilesBox (src/Jukebox/Toolbox.hs:48)
allFiles (src/Jukebox/Toolbox.hs:51)
parseProblemBox (src/Jukebox/Toolbox.hs:57)
parseProblemIO (src/Jukebox/Toolbox.hs:60)
clausifyBox (src/Jukebox/Toolbox.hs:69)
clausifyIO (src/Jukebox/Toolbox.hs:72)
toFofBox (src/Jukebox/Toolbox.hs:77)
oneConjectureBox (src/Jukebox/Toolbox.hs:80)
oneConjecture (src/Jukebox/Toolbox.hs:83)
toFofIO (src/Jukebox/Toolbox.hs:90)
schemeBox (src/Jukebox/Toolbox.hs:104)
monotonicityBox (src/Jukebox/Toolbox.hs:116)
monotonicity (src/Jukebox/Toolbox.hs:119)
annotateMonotonicityBox (src/Jukebox/Toolbox.hs:135)
prettyPrintProblemBox (src/Jukebox/Toolbox.hs:140)
prettyPrintClausesBox (src/Jukebox/Toolbox.hs:143)
prettyPrintIO (src/Jukebox/Toolbox.hs:146)
writeFileBox (src/Jukebox/Toolbox.hs:151)
guessModelBox (src/Jukebox/Toolbox.hs:161)
guessModelIO (src/Jukebox/Toolbox.hs:175)
allObligsBox (src/Jukebox/Toolbox.hs:178)
allObligsIO (src/Jukebox/Toolbox.hs:181)
inferBox (src/Jukebox/Toolbox.hs:195)
printInferredBox (src/Jukebox/Toolbox.hs:200)
Documentation created: dist/doc/html/jukebox/index.html,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.2.3...
Creating package registration file:
/tmp/pkgConf-jukebox-0.218660000811175526309.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/jukebox-0.2.3-LN4s9JxkS8L6YiMrXgnTYR
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.3...
Installed jukebox-0.2.3
Test log
No test log was submitted for this report.