icfp-artifact-source-code.zip
The previewer is not showing all the files.
icfp-artifact-source-code
compact-coupled-terms
.stack-work
dist
x86_64-linux-tinfo6
Cabal-3.2.1.0
build
Application
SAT.dyn_hi
94.4 kB
SAT.dyn_o
271.2 kB
SAT.hi
94.4 kB
SAT.o
281.6 kB
TermSearch
Dataset.dyn_hi
169.7 kB
Dataset.dyn_o
506.8 kB
Dataset.hi
169.7 kB
Dataset.o
504.2 kB
Evaluation.dyn_hi
8.3 kB
Evaluation.dyn_o
26.9 kB
Evaluation.hi
8.3 kB
Evaluation.o
27.0 kB
TermSearch.dyn_hi
57.3 kB
TermSearch.dyn_o
306.1 kB
TermSearch.hi
57.3 kB
TermSearch.o
311.7 kB
Type.dyn_hi
88.5 kB
Type.dyn_o
209.3 kB
Type.hi
88.5 kB
Type.o
216.2 kB
Utils.dyn_hi
28.3 kB
Utils.dyn_o
117.7 kB
Utils.hi
28.3 kB
Utils.o
118.9 kB
Data
ECTA
Internal
ECTA
Enumeration.dyn_hi
45.9 kB
Enumeration.dyn_o
349.6 kB
Enumeration.hi
45.9 kB
Enumeration.o
379.0 kB
Operations.dyn_hi
32.6 kB
Operations.dyn_o
174.4 kB
Operations.hi
32.6 kB
Operations.o
184.4 kB
Type.dyn_hi
96.9 kB
Type.dyn_o
199.6 kB
Type.hi
96.9 kB
Type.o
208.0 kB
Visualization.dyn_hi
17.6 kB
Visualization.dyn_o
108.2 kB
Visualization.hi
17.6 kB
Visualization.o
112.0 kB
Paths
Zipper.dyn_hi
15.0 kB
Zipper.dyn_o
67.3 kB
Zipper.hi
15.0 kB
Zipper.o
69.8 kB
Paths.dyn_hi
78.5 kB
Paths.dyn_o
212.9 kB
Paths.hi
78.5 kB
Paths.o
222.3 kB
Term.dyn_hi
28.8 kB
Term.dyn_o
91.6 kB
Term.hi
28.8 kB
Term.o
94.5 kB
Paths.dyn_hi
5.6 kB
Paths.dyn_o
2.1 kB
Paths.hi
5.6 kB
Paths.o
2.1 kB
Term.dyn_hi
4.8 kB
Term.dyn_o
2.1 kB
Term.hi
4.8 kB
Term.o
2.1 kB
ECTA.dyn_hi
7.0 kB
ECTA.dyn_o
2.0 kB
ECTA.hi
7.0 kB
ECTA.o
2.0 kB
HashTable
Extended.dyn_hi
6.4 kB
Extended.dyn_o
7.7 kB
Extended.hi
6.4 kB
Extended.o
7.7 kB
Interned
Extended
HashTableBased.dyn_hi
9.2 kB
HashTableBased.dyn_o
29.0 kB
HashTableBased.hi
9.2 kB
HashTableBased.o
29.2 kB
SingleThreaded.dyn_hi
5.7 kB
SingleThreaded.dyn_o
10.5 kB
SingleThreaded.hi
5.7 kB
SingleThreaded.o
10.6 kB
Memoization
Metrics.dyn_hi
8.1 kB
Metrics.dyn_o
37.1 kB
Metrics.hi
8.1 kB
Metrics.o
37.9 kB
Memoization.dyn_hi
16.8 kB
Memoization.dyn_o
38.6 kB
Memoization.hi
16.8 kB
Memoization.o
39.6 kB
Persistent
UnionFind.dyn_hi
16.4 kB
UnionFind.dyn_o
46.2 kB
UnionFind.hi
16.4 kB
UnionFind.o
47.9 kB
Text
Extended
Pretty.dyn_hi
3.9 kB
Pretty.dyn_o
10.4 kB
Pretty.hi
3.9 kB
Pretty.o
10.6 kB
Paths_compact_coupled_terms.dyn_hi
12.5 kB
Paths_compact_coupled_terms.dyn_o
32.7 kB
Paths_compact_coupled_terms.hi
12.5 kB
Paths_compact_coupled_terms.o
33.2 kB
Utility
Fixpoint.dyn_hi
2.2 kB
Fixpoint.dyn_o
8.5 kB
Fixpoint.hi
2.2 kB
Fixpoint.o
8.5 kB
HashJoin.dyn_hi
9.6 kB
HashJoin.dyn_o
56.1 kB
HashJoin.hi
9.6 kB
HashJoin.o
57.7 kB
autogen
Paths_compact_coupled_terms.hs
2.8 kB
cabal_macros.h
11.3 kB
compact-coupled-terms-exe
autogen
Paths_compact_coupled_terms.hs
2.8 kB
cabal_macros.h
8.2 kB
compact-coupled-terms-exe
11.9 MB
compact-coupled-terms-exe-tmp
Main.hi
26.4 kB
Main.o
89.3 kB
Paths_compact_coupled_terms.hi
12.5 kB
Paths_compact_coupled_terms.o
27.1 kB
libHScompact-coupled-terms-0.1.0.0-DhNfg3gVhDvHMapGMp6WrD-ghc8.10.7.so
3.2 MB
libHScompact-coupled-terms-0.1.0.0-DhNfg3gVhDvHMapGMp6WrD.a
3.7 MB
build-lock
0 Bytes
package.conf.inplace
package.cache
40 Bytes
package.cache.lock
0 Bytes
setup-config
506.8 kB
stack-build-caches
d57ebf50b61fa744e9dc316f8cd07cc57c115086593cd8a57d0cb4981afbeda6
exe-compact-coupled-terms-exe
1.1 kB
lib
4.6 kB
stack-cabal-mod
35 Bytes
stack-project-root
37 Bytes
stack-setup-config-mod
35 Bytes
install
x86_64-linux-tinfo6
d57ebf50b61fa744e9dc316f8cd07cc57c115086593cd8a57d0cb4981afbeda6
8.10.7
bin
compact-coupled-terms-exe
6.7 MB
doc
compact-coupled-terms-0.1.0.0
LICENSE
1.5 kB
lib
x86_64-linux-ghc-8.10.7
compact-coupled-terms-0.1.0.0-DhNfg3gVhDvHMapGMp6WrD
Application
SAT.dyn_hi
94.4 kB
SAT.hi
94.4 kB
TermSearch
Dataset.dyn_hi
157.3 kB
Dataset.hi
157.3 kB
Evaluation.dyn_hi
8.3 kB
Evaluation.hi
8.3 kB
TermSearch.dyn_hi
57.3 kB
TermSearch.hi
57.3 kB
Type.dyn_hi
88.5 kB
Type.hi
88.5 kB
Utils.dyn_hi
28.3 kB
Utils.hi
28.3 kB
Data
ECTA
Internal
ECTA
Enumeration.dyn_hi
45.9 kB
Enumeration.hi
45.9 kB
Operations.dyn_hi
32.6 kB
Operations.hi
32.6 kB
Type.dyn_hi
96.9 kB
Type.hi
96.9 kB
Visualization.dyn_hi
17.6 kB
Visualization.hi
17.6 kB
Paths
Zipper.dyn_hi
15.0 kB
Zipper.hi
15.0 kB
Paths.dyn_hi
78.5 kB
Paths.hi
78.5 kB
Term.dyn_hi
28.8 kB
Term.hi
28.8 kB
Paths.dyn_hi
5.6 kB
Paths.hi
5.6 kB
Term.dyn_hi
4.8 kB
Term.hi
4.8 kB
ECTA.dyn_hi
7.0 kB
ECTA.hi
7.0 kB
HashTable
Extended.dyn_hi
6.4 kB
Extended.hi
6.4 kB
Interned
Extended
HashTableBased.dyn_hi
9.2 kB
HashTableBased.hi
9.2 kB
SingleThreaded.dyn_hi
5.7 kB
SingleThreaded.hi
5.7 kB
Memoization
Metrics.dyn_hi
8.1 kB
Metrics.hi
8.1 kB
Memoization.dyn_hi
16.8 kB
Memoization.hi
16.8 kB
Persistent
UnionFind.dyn_hi
16.4 kB
UnionFind.hi
16.4 kB
Text
Extended
Pretty.dyn_hi
3.9 kB
Pretty.hi
3.9 kB
Paths_compact_coupled_terms.dyn_hi
12.5 kB
Paths_compact_coupled_terms.hi
12.5 kB
Utility
Fixpoint.dyn_hi
2.2 kB
Fixpoint.hi
2.2 kB
HashJoin.dyn_hi
9.6 kB
HashJoin.hi
9.6 kB
libHScompact-coupled-terms-0.1.0.0-DhNfg3gVhDvHMapGMp6WrD.a
3.7 MB
libHScompact-coupled-terms-0.1.0.0-DhNfg3gVhDvHMapGMp6WrD-ghc8.10.7.so
2.3 MB
pkgdb
package.cache
40 Bytes
package.cache.lock
0 Bytes
stack.sqlite3
233.5 kB
stack.sqlite3.pantry-write-lock
0 Bytes
LICENSE
1.5 kB
app
Main.hs
2.2 kB
benchmarks
Benchmarks.hs
354 Bytes
TestData.hs
27.9 kB
compact-coupled-terms.cabal
6.6 kB
package.yaml
2.7 kB
results_hplus_default_2.csv
2.7 kB
results_hplus_noEnumeration_1.csv
3.7 kB
results_hplus_noEnumeration_2.csv
3.7 kB
results_hplus_noReduction_0.csv
3.7 kB
results_stackoverflow_default_2.csv
1.8 kB
scripts
plot.py
10.6 kB
plot_all.sh
1.4 kB
requirements.txt
10 Bytes
results_hplus_default_0.csv
101 Bytes
run_tests.py
24.3 kB
test
CacheProfilingSpec.hs
1.4 kB
Data
Persistent
UnionFindSpec.hs
3.0 kB
ECTASpec.hs
39.3 kB
PathsSpec.hs
7.9 kB
SATSpec.hs
792 Bytes
Spec.hs
43 Bytes
Test
Generators
ECTA.hs
2.5 kB
Utility
HashJoinSpec.hs
371 Bytes
hoogle_plus
.devcontainer
Dockerfile
940 Bytes
devcontainer.json
225 Bytes
.dockerignore
73 Bytes
.git
HEAD
41 Bytes
branches
config
265 Bytes
description
73 Bytes
hooks
applypatch-msg.sample
478 Bytes
commit-msg.sample
896 Bytes
fsmonitor-watchman.sample
4.7 kB
post-update.sample
189 Bytes
pre-applypatch.sample
424 Bytes
pre-commit.sample
1.6 kB
pre-merge-commit.sample
416 Bytes
pre-push.sample
1.4 kB
pre-rebase.sample
4.9 kB
pre-receive.sample
544 Bytes
prepare-commit-msg.sample
1.5 kB
push-to-checkout.sample
2.8 kB
update.sample
3.6 kB
index
23.4 kB
info
exclude
240 Bytes
logs
HEAD
373 Bytes
refs
heads
master
188 Bytes
remotes
origin
HEAD
188 Bytes
objects
info
pack
pack-9b47efd78fd0d43bb82ec063bda9fc808ac220db.idx
357.4 kB
pack-9b47efd78fd0d43bb82ec063bda9fc808ac220db.pack
130.4 MB
packed-refs
9.6 kB
refs
heads
master
41 Bytes
remotes
origin
HEAD
32 Bytes
tags
.gitignore
1.0 kB
.hindent.yaml
60 Bytes
.stack-work
dist
x86_64-linux-custom-yields-tinfo6
Cabal-2.2.0.1
build
Database
Convert.dyn_hi
60.9 kB
Convert.dyn_o
269.3 kB
Convert.hi
60.9 kB
Convert.o
280.8 kB
Download.dyn_hi
33.7 kB
Download.dyn_o
72.7 kB
Download.hi
33.7 kB
Download.o
75.7 kB
Environment.dyn_hi
29.6 kB
Environment.dyn_o
128.4 kB
Environment.hi
29.6 kB
Environment.o
134.6 kB
Generate.dyn_hi
19.4 kB
Generate.dyn_o
57.0 kB
Generate.hi
19.4 kB
Generate.o
58.7 kB
Presets.dyn_hi
18.4 kB
Presets.dyn_o
24.6 kB
Presets.hi
18.4 kB
Presets.o
24.4 kB
Util.dyn_hi
38.4 kB
Util.dyn_o
74.7 kB
Util.hi
38.4 kB
Util.o
74.9 kB
Evaluation
Benchmark.dyn_hi
54.1 kB
Benchmark.dyn_o
52.6 kB
Benchmark.hi
54.1 kB
Benchmark.o
53.8 kB
EvalTypeInf.dyn_hi
51.4 kB
EvalTypeInf.dyn_o
158.0 kB
EvalTypeInf.hi
51.4 kB
EvalTypeInf.o
163.5 kB
ReadBenchmark.dyn_hi
10.5 kB
ReadBenchmark.dyn_o
11.0 kB
ReadBenchmark.hi
10.5 kB
ReadBenchmark.o
11.0 kB
Examples
ExampleChecker.dyn_hi
45.9 kB
ExampleChecker.dyn_o
102.1 kB
ExampleChecker.hi
45.9 kB
ExampleChecker.o
106.4 kB
InferenceDriver.dyn_hi
76.1 kB
InferenceDriver.dyn_o
317.0 kB
InferenceDriver.hi
76.1 kB
InferenceDriver.o
332.7 kB
Utils.dyn_hi
36.7 kB
Utils.dyn_o
58.1 kB
Utils.hi
36.7 kB
Utils.o
59.4 kB
HooglePlus
Abstraction.dyn_hi
25.5 kB
Abstraction.dyn_o
24.4 kB
Abstraction.hi
25.5 kB
Abstraction.o
25.7 kB
CodeFormer.dyn_hi
19.2 kB
CodeFormer.dyn_o
58.8 kB
CodeFormer.hi
19.2 kB
CodeFormer.o
61.7 kB
FilterTest.dyn_hi
72.1 kB
FilterTest.dyn_o
209.0 kB
FilterTest.hi
72.1 kB
FilterTest.o
215.7 kB
GHCChecker.dyn_hi
49.4 kB
GHCChecker.dyn_o
82.8 kB
GHCChecker.hi
49.4 kB
GHCChecker.o
85.1 kB
IOFormat.dyn_hi
66.8 kB
IOFormat.dyn_o
134.9 kB
IOFormat.hi
66.8 kB
IOFormat.o
138.9 kB
Refinement.dyn_hi
35.3 kB
Refinement.dyn_o
139.8 kB
Refinement.hi
35.3 kB
Refinement.o
146.9 kB
Stats.dyn_hi
15.7 kB
Stats.dyn_o
61.4 kB
Stats.hi
15.7 kB
Stats.o
64.5 kB
Synthesize.dyn_hi
44.0 kB
Synthesize.dyn_o
112.2 kB
Synthesize.hi
44.0 kB
Synthesize.o
116.4 kB
TypeChecker.dyn_hi
28.3 kB
TypeChecker.dyn_o
117.0 kB
TypeChecker.hi
28.3 kB
TypeChecker.o
122.4 kB
Utils.dyn_hi
97.0 kB
Utils.dyn_o
188.5 kB
Utils.hi
97.0 kB
Utils.o
194.9 kB
Paths_HooglePlus.dyn_hi
16.8 kB
Paths_HooglePlus.dyn_o
31.7 kB
Paths_HooglePlus.hi
16.8 kB
Paths_HooglePlus.o
32.2 kB
PetriNet
AbstractType.dyn_hi
36.2 kB
AbstractType.dyn_o
131.4 kB
AbstractType.hi
36.2 kB
AbstractType.o
137.6 kB
PNEncoder.dyn_hi
58.7 kB
PNEncoder.dyn_o
403.3 kB
PNEncoder.hi
58.6 kB
PNEncoder.o
428.9 kB
PNSolver.dyn_hi
53.3 kB
PNSolver.dyn_o
797.5 kB
PNSolver.hi
53.3 kB
PNSolver.o
840.7 kB
Util.dyn_hi
50.0 kB
Util.dyn_o
141.3 kB
Util.hi
50.0 kB
Util.o
147.5 kB
Synquid
Error.dyn_hi
19.2 kB
Error.dyn_o
29.9 kB
Error.hi
19.2 kB
Error.o
30.8 kB
Logic.dyn_hi
984.9 kB
Logic.dyn_o
884.2 kB
Logic.hi
984.9 kB
Logic.o
912.8 kB
Parser.dyn_hi
229.7 kB
Parser.dyn_o
528.3 kB
Parser.hi
229.7 kB
Parser.o
558.9 kB
Pretty.dyn_hi
93.7 kB
Pretty.dyn_o
600.0 kB
Pretty.hi
93.7 kB
Pretty.o
620.0 kB
Program.dyn_hi
54.7 kB
Program.dyn_o
144.0 kB
Program.hi
54.7 kB
Program.o
148.1 kB
Resolver.dyn_hi
32.9 kB
Resolver.dyn_o
220.2 kB
Resolver.hi
32.9 kB
Resolver.o
229.3 kB
Tokens.dyn_hi
31.4 kB
Tokens.dyn_o
72.5 kB
Tokens.hi
31.4 kB
Tokens.o
73.7 kB
Type.dyn_hi
32.5 kB
Type.dyn_o
168.5 kB
Type.hi
32.5 kB
Type.o
175.6 kB
Util.dyn_hi
41.3 kB
Util.dyn_o
88.5 kB
Util.hi
41.3 kB
Util.o
91.6 kB
Types
Abstract.dyn_hi
48.1 kB
Abstract.dyn_o
50.5 kB
Abstract.hi
48.1 kB
Abstract.o
52.3 kB
CheckMonad.dyn_hi
10.7 kB
CheckMonad.dyn_o
15.5 kB
CheckMonad.hi
10.7 kB
CheckMonad.o
15.6 kB
Common.dyn_hi
2.1 kB
Common.dyn_o
2.9 kB
Common.hi
2.1 kB
Common.o
2.9 kB
Encoder.dyn_hi
82.8 kB
Encoder.dyn_o
148.7 kB
Encoder.hi
82.8 kB
Encoder.o
153.3 kB
Environment.dyn_hi
82.9 kB
Environment.dyn_o
85.2 kB
Environment.hi
82.9 kB
Environment.o
87.7 kB
Experiments.dyn_hi
119.2 kB
Experiments.dyn_o
293.5 kB
Experiments.hi
119.2 kB
Experiments.o
301.6 kB
Filtering.dyn_hi
48.8 kB
Filtering.dyn_o
104.2 kB
Filtering.hi
48.8 kB
Filtering.o
105.9 kB
Generate.dyn_hi
72.2 kB
Generate.dyn_o
201.5 kB
Generate.hi
72.2 kB
Generate.o
206.0 kB
IOFormat.dyn_hi
286.9 kB
IOFormat.dyn_o
366.1 kB
IOFormat.hi
286.9 kB
IOFormat.o
378.7 kB
InfConstraint.dyn_hi
59.3 kB
InfConstraint.dyn_o
103.1 kB
InfConstraint.hi
59.2 kB
InfConstraint.o
105.6 kB
Program.dyn_hi
365.1 kB
Program.dyn_o
782.2 kB
Program.hi
365.1 kB
Program.o
822.5 kB
Solver.dyn_hi
83.1 kB
Solver.dyn_o
144.0 kB
Solver.hi
83.1 kB
Solver.o
149.2 kB
Type.dyn_hi
131.9 kB
Type.dyn_o
280.0 kB
Type.hi
131.9 kB
Type.o
293.4 kB
TypeChecker.dyn_hi
24.3 kB
TypeChecker.dyn_o
36.9 kB
TypeChecker.hi
24.3 kB
TypeChecker.o
37.6 kB
autogen
Paths_HooglePlus.hs
2.7 kB
cabal_macros.h
25.6 kB
hplus
autogen
Paths_HooglePlus.hs
2.7 kB
cabal_macros.h
25.9 kB
hplus
137.0 MB
hplus-tmp
Main.hi
98.4 kB
Main.o
380.3 kB
Paths_HooglePlus.hi
16.7 kB
Paths_HooglePlus.o
27.3 kB
libHSHooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0-ghc8.4.4.so
8.6 MB
libHSHooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0.a
10.8 MB
build-lock
0 Bytes
package.conf.inplace
HooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0.conf
9.2 kB
package.cache
15.5 kB
package.cache.lock
0 Bytes
setup-config
1.4 MB
stack-build-caches
49fabeb0db5408f546eb85b5666467e650a8d296c7be14a61e9aa0a3a6c428aa
exe-hplus
1.3 kB
lib
7.3 kB
stack-cabal-mod
35 Bytes
stack-project-root
27 Bytes
stack-setup-config-mod
35 Bytes
install
x86_64-linux-custom-yields-tinfo6
49fabeb0db5408f546eb85b5666467e650a8d296c7be14a61e9aa0a3a6c428aa
8.4.4
bin
hplus
91.4 MB
lib
x86_64-linux-ghc-8.4.4
HooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0
Database
Convert.dyn_hi
60.9 kB
Convert.hi
60.9 kB
Download.dyn_hi
33.7 kB
Download.hi
33.7 kB
Environment.dyn_hi
29.6 kB
Environment.hi
29.6 kB
Generate.dyn_hi
19.4 kB
Generate.hi
19.4 kB
Presets.dyn_hi
18.4 kB
Presets.hi
18.4 kB
Util.dyn_hi
38.4 kB
Util.hi
38.4 kB
Evaluation
Benchmark.dyn_hi
54.1 kB
Benchmark.hi
54.1 kB
EvalTypeInf.dyn_hi
51.4 kB
EvalTypeInf.hi
51.4 kB
ReadBenchmark.dyn_hi
10.5 kB
ReadBenchmark.hi
10.5 kB
Examples
ExampleChecker.dyn_hi
45.9 kB
ExampleChecker.hi
45.9 kB
InferenceDriver.dyn_hi
76.1 kB
InferenceDriver.hi
76.1 kB
Utils.dyn_hi
36.7 kB
Utils.hi
36.7 kB
HooglePlus
Abstraction.dyn_hi
25.5 kB
Abstraction.hi
25.5 kB
CodeFormer.dyn_hi
19.2 kB
CodeFormer.hi
19.2 kB
FilterTest.dyn_hi
72.1 kB
FilterTest.hi
72.1 kB
GHCChecker.dyn_hi
49.4 kB
GHCChecker.hi
49.4 kB
IOFormat.dyn_hi
66.8 kB
IOFormat.hi
66.8 kB
Refinement.dyn_hi
35.3 kB
Refinement.hi
35.3 kB
Stats.dyn_hi
15.7 kB
Stats.hi
15.7 kB
Synthesize.dyn_hi
44.0 kB
Synthesize.hi
44.0 kB
TypeChecker.dyn_hi
28.3 kB
TypeChecker.hi
28.3 kB
Utils.dyn_hi
97.0 kB
Utils.hi
97.0 kB
Paths_HooglePlus.dyn_hi
16.8 kB
Paths_HooglePlus.hi
16.8 kB
PetriNet
AbstractType.dyn_hi
36.2 kB
AbstractType.hi
36.2 kB
PNEncoder.dyn_hi
58.7 kB
PNEncoder.hi
58.6 kB
PNSolver.dyn_hi
53.3 kB
PNSolver.hi
53.3 kB
Util.dyn_hi
50.0 kB
Util.hi
50.0 kB
Synquid
Error.dyn_hi
19.2 kB
Error.hi
19.2 kB
Logic.dyn_hi
984.9 kB
Logic.hi
984.9 kB
Parser.dyn_hi
229.7 kB
Parser.hi
229.7 kB
Pretty.dyn_hi
93.7 kB
Pretty.hi
93.7 kB
Program.dyn_hi
54.7 kB
Program.hi
54.7 kB
Resolver.dyn_hi
32.9 kB
Resolver.hi
32.9 kB
Tokens.dyn_hi
31.4 kB
Tokens.hi
31.4 kB
Type.dyn_hi
32.5 kB
Type.hi
32.5 kB
Util.dyn_hi
41.3 kB
Util.hi
41.3 kB
Types
Abstract.dyn_hi
48.1 kB
Abstract.hi
48.1 kB
CheckMonad.dyn_hi
10.7 kB
CheckMonad.hi
10.7 kB
Common.dyn_hi
2.1 kB
Common.hi
2.1 kB
Encoder.dyn_hi
82.8 kB
Encoder.hi
82.8 kB
Environment.dyn_hi
82.9 kB
Environment.hi
82.9 kB
Experiments.dyn_hi
119.2 kB
Experiments.hi
119.2 kB
Filtering.dyn_hi
48.8 kB
Filtering.hi
48.8 kB
Generate.dyn_hi
72.2 kB
Generate.hi
72.2 kB
IOFormat.dyn_hi
286.9 kB
IOFormat.hi
286.9 kB
InfConstraint.dyn_hi
59.3 kB
InfConstraint.hi
59.2 kB
Program.dyn_hi
365.1 kB
Program.hi
365.1 kB
Solver.dyn_hi
83.1 kB
Solver.hi
83.1 kB
Type.dyn_hi
131.9 kB
Type.hi
131.9 kB
TypeChecker.dyn_hi
24.3 kB
TypeChecker.hi
24.3 kB
libHSHooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0.a
9.5 MB
libHSHooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0-ghc8.4.4.so
5.9 MB
pkgdb
HooglePlus-0.1.0.0-4Y7NmbY5LPMBzjiQDkJVX0.conf
9.9 kB
package.cache
16.6 kB
package.cache.lock
0 Bytes
share
x86_64-linux-ghc-8.4.4
HooglePlus-0.1.0.0
InternalTypeGen.hs
7.4 kB
stack.sqlite3
639.0 kB
stack.sqlite3.pantry-write-lock
0 Bytes
Dockerfile
1.6 kB
HOSTING.md
1.2 kB
HooglePlus.cabal
5.5 kB
InternalTypeGen.hs
7.4 kB
README.md
6.4 kB
app
HooglePlus.hs
13.1 kB
benchmark
BConfig.hs
2.0 kB
BOutput.hs
11.4 kB
BPlot.hs
2.9 kB
BTypes.hs
2.0 kB
Benchmark.hs
8.9 kB
Runner.hs
7.4 kB
old_suites
allQueries.json
2.8 kB
curated.json
2.8 kB
queries.json
2.7 kB
test.json
59 Bytes
strategy_test
run.py
2.4 kB
study.yml
7.2 kB
util.py
949 Bytes
suites
aec-short.yaml
439 Bytes
base.yml
3.6 kB
classification.yml
53.6 kB
ecta.yml
3.4 kB
hof.yml
1.5 kB
not-work.yaml
864 Bytes
typeclass.yml
1.6 kB
user-data.yml
16.8 kB
working.yml
12.1 kB
blacklist.txt
217 Bytes
build
install
synquid
bin
synquid
5.3 kB
synquid.bat
2.3 kB
lib
apt.jar
4.5 MB
commons-lang3-3.4.jar
434.7 kB
synquid.jar
261 Bytes
sypet.jar
117.9 kB
libs
synquid.jar
261 Bytes
scripts
synquid
5.3 kB
synquid.bat
2.3 kB
tmp
jar
MANIFEST.MF
25 Bytes
data
builtin.json
1.0 kB
bytestring.txt
44.7 kB
ecta0.log
489.9 kB
ecta1.log
918 Bytes
ecta2.log
459 Bytes
env.db
120.8 kB
ho.txt
153 Bytes
dependencies
Dockerfile
181 Bytes
README.md
766 Bytes
python_requirements.txt
376 Bytes
docker
Dockerfile
1.5 kB
inference.tsv
0 Bytes
libraries
base.txt
329.0 kB
base_ecta.txt
329.0 kB
bytestring.txt
26.3 kB
containers.txt
98.1 kB
customPrelude.txt
6.9 kB
deepseq.txt
14.9 kB
ghc-prim.txt
135.0 kB
test10.txt
909 Bytes
test100.txt
4.5 kB
test20.txt
1.1 kB
test250.txt
15.2 kB
test50.txt
1.9 kB
testHOF1.txt
262 Bytes
tier1
base.txt
324.5 kB
bytestring.txt
24.1 kB
deepseq.txt
14.9 kB
ghc-prim.txt
135.0 kB
ml_models
README.md
0 Bytes
utils
README.md
0 Bytes
code_scanner
code_scanner.py
21.3 kB
library_function_lists
bytestring_function_list.txt
44.7 kB
new_webapp
.env.development
27 Bytes
.gitignore
310 Bytes
README.md
3.9 kB
package-lock.json
593.0 kB
package.json
1.7 kB
public
favicon.ico
3.1 kB
index.html
2.3 kB
manifest.json
492 Bytes
robots.txt
67 Bytes
routes.yml
942 Bytes
src
App.js
614 Bytes
App.test.js
280 Bytes
actions
index.js
12.8 kB
components
CandidateList.js
5.6 kB
EditableTable
EditableCell.js
1.9 kB
EditableRow.js
3.5 kB
ExampleSearchCard.js
4.2 kB
ExampleSearchItem.js
1.2 kB
ExampleTable.js
8.6 kB
SearchBar.js
6.9 kB
SpinnableCell.js
811 Bytes
TopBar.js
1.4 kB
TypeSelection.js
2.3 kB
UsageTable.js
4.6 kB
constants
action-types.js
1.3 kB
fetch-states.js
91 Bytes
gateways
examples.js
959 Bytes
index.js
103 Bytes
search.js
3.6 kB
typecheck.js
394 Bytes
index.js
615 Bytes
logo.svg
2.7 kB
parser
Haskell.js
3.5 kB
reducers
candidateReducer.js
10.9 kB
index.js
1.3 kB
specReducer.js
5.5 kB
serviceWorker.js
5.1 kB
setupTests.js
255 Bytes
store
index.js
469 Bytes
style
App.scss
1.4 kB
index.scss
639 Bytes
variables.scss
272 Bytes
utilities
args.js
5.6 kB
featureManager.js
594 Bytes
fetches.js
877 Bytes
logger.js
161 Bytes
yarn.lock
496.5 kB
notes
DemandTest.lhs
1.0 MB
output
hplus_0.tsv
109 Bytes
result_0.tsv
3.9 kB
result_1.tsv
4.0 kB
result_2.tsv
3.9 kB
result_ecta_0.tsv
1.3 kB
result_ecta_1.tsv
1.3 kB
result_ecta_2.tsv
1.3 kB
result_hplus_0.tsv
3.9 kB
result_hplus_1.tsv
4.0 kB
result_hplus_2.tsv
3.9 kB
results_0.tsv
4.0 kB
package-lock.json
386 Bytes
package.json
180 Bytes
package.yaml
1.5 kB
scripts
__pycache__
benchmark.cpython-39.pyc
3.4 kB
filtering.cpython-39.pyc
6.8 kB
inference.cpython-39.pyc
11.2 kB
synthesis.cpython-39.pyc
3.6 kB
benchmark.py
2.6 kB
config.sh
77 Bytes
deprecated
collect_quality.py
9.6 kB
collect_tsvs.py
9.9 kB
evaluation-short.sh
999 Bytes
evaluation.sh
886 Bytes
run_each_benchmark.py
5.4 kB
run_quality.py
5.8 kB
run_query.py
442 Bytes
filtering.py
10.5 kB
inference.py
13.4 kB
initialize.sh
48 Bytes
run.py
3.9 kB
synthesis.py
4.9 kB
src
Database
Convert.hs
24.7 kB
Download.hs
4.0 kB
Environment.hs
7.4 kB
Generate.hs
4.1 kB
Presets.hs
1.5 kB
Util.hs
5.0 kB
Evaluation
Benchmark.hs
396 Bytes
EvalTypeInf.hs
8.6 kB
ReadBenchmark.hs
370 Bytes
Examples
ExampleChecker.hs
7.5 kB
InferenceDriver.hs
27.1 kB
Utils.hs
4.6 kB
HooglePlus
Abstraction.hs
1.9 kB
CodeFormer.hs
3.3 kB
FilterTest.hs
16.8 kB
GHCChecker.hs
7.7 kB
IOFormat.hs
9.8 kB
Refinement.hs
7.1 kB
Stats.hs
3.0 kB
Synthesize.hs
6.2 kB
TypeChecker.hs
8.1 kB
Utils.hs
9.7 kB
PetriNet
AbstractType.hs
11.4 kB
PNEncoder.hs
20.9 kB
PNSolver.hs
42.2 kB
Util.hs
8.9 kB
Synquid
Error.hs
589 Bytes
Logic.hs
23.4 kB
Parser.hs
15.8 kB
Pretty.hs
20.4 kB
Program.hs
12.5 kB
Resolver.hs
13.5 kB
Tokens.hs
2.0 kB
Type.hs
15.3 kB
Util.hs
8.6 kB
Types
Abstract.hs
979 Bytes
CheckMonad.hs
498 Bytes
Common.hs
292 Bytes
Encoder.hs
4.2 kB
Environment.hs
2.4 kB
Experiments.hs
3.7 kB
Filtering.hs
3.1 kB
Generate.hs
1.8 kB
IOFormat.hs
2.1 kB
InfConstraint.hs
3.2 kB
Program.hs
4.8 kB
Solver.hs
5.2 kB
Type.hs
1.4 kB
TypeChecker.hs
1.2 kB
test.txt
124 Bytes
test.z3
163 Bytes
stack.yaml
422 Bytes
stack.yaml.lock
1.9 kB
table.tex
9.0 kB
test
HooglePlus
FilterTestSpec.hs
4.8 kB
GHCCheckerSpec.hs
3.4 kB
UtilsSpec.hs
3.3 kB
Spec.hs
43 Bytes
Synquid
ParserSpec.hs
1.8 kB
Types
PetriNet
EquivalenceSpec.hs
206 Bytes
result
ByteString_ByteString.txt
2.3 kB
Int64_ByteString.txt
1.7 kB
test0.txt
109 Bytes
test10.txt
1.4 kB
test100.txt
4.5 kB
test20.txt
1.2 kB
test50.txt
1.9 kB
testExample.txt
155 Bytes
testHo.txt
143 Bytes
unit
BST-Insert.sq
944 Bytes
List-Fold-Sort.sq
2.2 kB
List-Reverse.sq
1.7 kB
NNF-Transform.sq
2.8 kB
replicate.sq
1.3 kB
web_server
dependencies.txt
51 Bytes
hplus
__init__.py
3.8 kB
util.py
2.8 kB
start_server.sh
371 Bytes
test.py
9.9 kB
webapp
README.md
1.7 kB
app
Main.hs
594 Bytes
assets
copy.svg
4.2 kB
client_session_key.aes
96 Bytes
load_balance_nginx.conf
154 Bytes
routes
114 Bytes
src
Application.hs
289 Bytes
Foundation.hs
832 Bytes
Home.hs
2.2 kB
Search.hs
10.2 kB
Stop.hs
770 Bytes
Types.hs
659 Bytes
Util.hs
216 Bytes
templates
homepage.hamlet
3.6 kB
homepage.julius
9.8 kB
homepage.lucius
3.3 kB
yarn.lock
3.0 kB