├── .devcontainer ├── Dockerfile └── devcontainer.json ├── .dockerignore ├── .gitignore ├── .hindent.yaml ├── Dockerfile ├── InternalTypeGen.hs ├── LICENSE ├── README.md ├── app └── HooglePlus.hs ├── benchmark ├── BConfig.hs ├── BOutput.hs ├── BPlot.hs ├── BTypes.hs ├── Benchmark.hs ├── Runner.hs ├── old_suites │ ├── allQueries.json │ ├── curated.json │ ├── queries.json │ └── test.json └── suites │ ├── aec-short.yaml │ ├── base.yml │ ├── hof.yml │ ├── not-work.yaml │ ├── typeclass.yml │ └── working.yml ├── blacklist.txt ├── client_session_key.aes ├── data ├── bytestring.txt └── quality-map.csv ├── dependencies ├── Dockerfile ├── README.md └── python_requirements.txt ├── docker └── Dockerfile ├── evaluation-short.sh ├── evaluation.sh ├── ho.txt ├── libraries ├── base.txt ├── bytestring.txt ├── containers.txt ├── customPrelude.txt ├── deepseq.txt ├── ghc-prim.txt ├── test10.txt ├── test100.txt ├── test20.txt ├── test250.txt ├── test50.txt ├── testHOF1.txt └── tier1 │ ├── base.txt │ ├── bytestring.txt │ ├── deepseq.txt │ └── ghc-prim.txt ├── ml_models ├── README.md └── utils │ ├── README.md │ └── code_scanner │ ├── code_scanner.py │ └── library_function_lists │ └── bytestring_function_list.txt ├── notes └── DemandTest.lhs ├── package.yaml ├── run_quality.py ├── scripts ├── collect_quality.py ├── collect_tsvs.py ├── run_each_benchmark.py ├── run_quality.py └── run_query.py ├── src ├── Database │ ├── Convert.hs │ ├── Download.hs │ ├── Environment.hs │ ├── Generate.hs │ ├── Presets.hs │ └── Util.hs ├── HooglePlus │ ├── Abstraction.hs │ ├── CodeFormer.hs │ ├── FilterTest.hs │ ├── GHCChecker.hs │ ├── Refinement.hs │ ├── Stats.hs │ ├── Synthesize.hs │ └── Utils.hs ├── PetriNet │ ├── AbstractType.hs │ ├── PNEncoder.hs │ ├── PNSolver.hs │ └── Util.hs ├── Synquid │ ├── Error.hs │ ├── HtmlOutput.hs │ ├── Logic.hs │ ├── Parser.hs │ ├── Pretty.hs │ ├── Program.hs │ ├── Resolver.hs │ ├── SolverMonad.hs │ ├── Tokens.hs │ ├── Type.hs │ ├── Util.hs │ └── Z3.hs ├── Types │ ├── Abstract.hs │ ├── Common.hs │ ├── Encoder.hs │ ├── Environment.hs │ ├── Experiments.hs │ ├── Filtering.hs │ ├── Generate.hs │ ├── Program.hs │ ├── Solver.hs │ └── Type.hs ├── test.txt └── test.z3 ├── stack.yaml ├── table.tex ├── test ├── HooglePlus │ ├── FilterTestSpec.hs │ ├── GHCCheckerSpec.hs │ └── UtilsSpec.hs ├── Spec.hs ├── Synquid │ └── ParserSpec.hs ├── Types │ └── PetriNet │ │ └── EquivalenceSpec.hs ├── result │ ├── ByteString_ByteString.txt │ └── Int64_ByteString.txt ├── test0.txt ├── test10.txt ├── test100.txt ├── test20.txt ├── test50.txt ├── testExample.txt ├── testHo.txt └── unit │ ├── BST-Insert.sq │ ├── List-Fold-Sort.sq │ ├── List-Reverse.sq │ ├── NNF-Transform.sq │ └── replicate.sq └── webapp ├── README.md ├── app └── Main.hs ├── assets └── copy.svg ├── client_session_key.aes ├── load_balance_nginx.conf ├── routes └── src ├── Application.hs ├── Foundation.hs ├── Home.hs ├── Search.hs ├── Stop.hs ├── Types.hs ├── Util.hs └── templates ├── homepage.hamlet ├── homepage.julius └── homepage.lucius /.devcontainer/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/.devcontainer/Dockerfile -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/.gitignore -------------------------------------------------------------------------------- /.hindent.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/.hindent.yaml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/Dockerfile -------------------------------------------------------------------------------- /InternalTypeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/InternalTypeGen.hs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/README.md -------------------------------------------------------------------------------- /app/HooglePlus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/app/HooglePlus.hs -------------------------------------------------------------------------------- /benchmark/BConfig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/BConfig.hs -------------------------------------------------------------------------------- /benchmark/BOutput.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/BOutput.hs -------------------------------------------------------------------------------- /benchmark/BPlot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/BPlot.hs -------------------------------------------------------------------------------- /benchmark/BTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/BTypes.hs -------------------------------------------------------------------------------- /benchmark/Benchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/Benchmark.hs -------------------------------------------------------------------------------- /benchmark/Runner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/Runner.hs -------------------------------------------------------------------------------- /benchmark/old_suites/allQueries.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/old_suites/allQueries.json -------------------------------------------------------------------------------- /benchmark/old_suites/curated.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/old_suites/curated.json -------------------------------------------------------------------------------- /benchmark/old_suites/queries.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/old_suites/queries.json -------------------------------------------------------------------------------- /benchmark/old_suites/test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/old_suites/test.json -------------------------------------------------------------------------------- /benchmark/suites/aec-short.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/suites/aec-short.yaml -------------------------------------------------------------------------------- /benchmark/suites/base.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/suites/base.yml -------------------------------------------------------------------------------- /benchmark/suites/hof.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/suites/hof.yml -------------------------------------------------------------------------------- /benchmark/suites/not-work.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/suites/not-work.yaml -------------------------------------------------------------------------------- /benchmark/suites/typeclass.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/suites/typeclass.yml -------------------------------------------------------------------------------- /benchmark/suites/working.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/benchmark/suites/working.yml -------------------------------------------------------------------------------- /blacklist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/blacklist.txt -------------------------------------------------------------------------------- /client_session_key.aes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/client_session_key.aes -------------------------------------------------------------------------------- /data/bytestring.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/data/bytestring.txt -------------------------------------------------------------------------------- /data/quality-map.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/data/quality-map.csv -------------------------------------------------------------------------------- /dependencies/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/dependencies/Dockerfile -------------------------------------------------------------------------------- /dependencies/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/dependencies/README.md -------------------------------------------------------------------------------- /dependencies/python_requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/dependencies/python_requirements.txt -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /evaluation-short.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/evaluation-short.sh -------------------------------------------------------------------------------- /evaluation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/evaluation.sh -------------------------------------------------------------------------------- /ho.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libraries/base.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/base.txt -------------------------------------------------------------------------------- /libraries/bytestring.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/bytestring.txt -------------------------------------------------------------------------------- /libraries/containers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/containers.txt -------------------------------------------------------------------------------- /libraries/customPrelude.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/customPrelude.txt -------------------------------------------------------------------------------- /libraries/deepseq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/deepseq.txt -------------------------------------------------------------------------------- /libraries/ghc-prim.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/ghc-prim.txt -------------------------------------------------------------------------------- /libraries/test10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/test10.txt -------------------------------------------------------------------------------- /libraries/test100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/test100.txt -------------------------------------------------------------------------------- /libraries/test20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/test20.txt -------------------------------------------------------------------------------- /libraries/test250.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/test250.txt -------------------------------------------------------------------------------- /libraries/test50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/test50.txt -------------------------------------------------------------------------------- /libraries/testHOF1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/testHOF1.txt -------------------------------------------------------------------------------- /libraries/tier1/base.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/tier1/base.txt -------------------------------------------------------------------------------- /libraries/tier1/bytestring.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/tier1/bytestring.txt -------------------------------------------------------------------------------- /libraries/tier1/deepseq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/tier1/deepseq.txt -------------------------------------------------------------------------------- /libraries/tier1/ghc-prim.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/libraries/tier1/ghc-prim.txt -------------------------------------------------------------------------------- /ml_models/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ml_models/utils/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ml_models/utils/code_scanner/code_scanner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/ml_models/utils/code_scanner/code_scanner.py -------------------------------------------------------------------------------- /ml_models/utils/code_scanner/library_function_lists/bytestring_function_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/ml_models/utils/code_scanner/library_function_lists/bytestring_function_list.txt -------------------------------------------------------------------------------- /notes/DemandTest.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/notes/DemandTest.lhs -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/package.yaml -------------------------------------------------------------------------------- /run_quality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/run_quality.py -------------------------------------------------------------------------------- /scripts/collect_quality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/scripts/collect_quality.py -------------------------------------------------------------------------------- /scripts/collect_tsvs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/scripts/collect_tsvs.py -------------------------------------------------------------------------------- /scripts/run_each_benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/scripts/run_each_benchmark.py -------------------------------------------------------------------------------- /scripts/run_quality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/scripts/run_quality.py -------------------------------------------------------------------------------- /scripts/run_query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/scripts/run_query.py -------------------------------------------------------------------------------- /src/Database/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Database/Convert.hs -------------------------------------------------------------------------------- /src/Database/Download.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Database/Download.hs -------------------------------------------------------------------------------- /src/Database/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Database/Environment.hs -------------------------------------------------------------------------------- /src/Database/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Database/Generate.hs -------------------------------------------------------------------------------- /src/Database/Presets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Database/Presets.hs -------------------------------------------------------------------------------- /src/Database/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Database/Util.hs -------------------------------------------------------------------------------- /src/HooglePlus/Abstraction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/Abstraction.hs -------------------------------------------------------------------------------- /src/HooglePlus/CodeFormer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/CodeFormer.hs -------------------------------------------------------------------------------- /src/HooglePlus/FilterTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/FilterTest.hs -------------------------------------------------------------------------------- /src/HooglePlus/GHCChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/GHCChecker.hs -------------------------------------------------------------------------------- /src/HooglePlus/Refinement.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/Refinement.hs -------------------------------------------------------------------------------- /src/HooglePlus/Stats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/Stats.hs -------------------------------------------------------------------------------- /src/HooglePlus/Synthesize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/Synthesize.hs -------------------------------------------------------------------------------- /src/HooglePlus/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/HooglePlus/Utils.hs -------------------------------------------------------------------------------- /src/PetriNet/AbstractType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/PetriNet/AbstractType.hs -------------------------------------------------------------------------------- /src/PetriNet/PNEncoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/PetriNet/PNEncoder.hs -------------------------------------------------------------------------------- /src/PetriNet/PNSolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/PetriNet/PNSolver.hs -------------------------------------------------------------------------------- /src/PetriNet/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/PetriNet/Util.hs -------------------------------------------------------------------------------- /src/Synquid/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Error.hs -------------------------------------------------------------------------------- /src/Synquid/HtmlOutput.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/HtmlOutput.hs -------------------------------------------------------------------------------- /src/Synquid/Logic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Logic.hs -------------------------------------------------------------------------------- /src/Synquid/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Parser.hs -------------------------------------------------------------------------------- /src/Synquid/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Pretty.hs -------------------------------------------------------------------------------- /src/Synquid/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Program.hs -------------------------------------------------------------------------------- /src/Synquid/Resolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Resolver.hs -------------------------------------------------------------------------------- /src/Synquid/SolverMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/SolverMonad.hs -------------------------------------------------------------------------------- /src/Synquid/Tokens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Tokens.hs -------------------------------------------------------------------------------- /src/Synquid/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Type.hs -------------------------------------------------------------------------------- /src/Synquid/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Util.hs -------------------------------------------------------------------------------- /src/Synquid/Z3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Synquid/Z3.hs -------------------------------------------------------------------------------- /src/Types/Abstract.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Abstract.hs -------------------------------------------------------------------------------- /src/Types/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Common.hs -------------------------------------------------------------------------------- /src/Types/Encoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Encoder.hs -------------------------------------------------------------------------------- /src/Types/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Environment.hs -------------------------------------------------------------------------------- /src/Types/Experiments.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Experiments.hs -------------------------------------------------------------------------------- /src/Types/Filtering.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Filtering.hs -------------------------------------------------------------------------------- /src/Types/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Generate.hs -------------------------------------------------------------------------------- /src/Types/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Program.hs -------------------------------------------------------------------------------- /src/Types/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Solver.hs -------------------------------------------------------------------------------- /src/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/Types/Type.hs -------------------------------------------------------------------------------- /src/test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/test.txt -------------------------------------------------------------------------------- /src/test.z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/src/test.z3 -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/stack.yaml -------------------------------------------------------------------------------- /table.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/table.tex -------------------------------------------------------------------------------- /test/HooglePlus/FilterTestSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/HooglePlus/FilterTestSpec.hs -------------------------------------------------------------------------------- /test/HooglePlus/GHCCheckerSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/HooglePlus/GHCCheckerSpec.hs -------------------------------------------------------------------------------- /test/HooglePlus/UtilsSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/HooglePlus/UtilsSpec.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} -------------------------------------------------------------------------------- /test/Synquid/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/Synquid/ParserSpec.hs -------------------------------------------------------------------------------- /test/Types/PetriNet/EquivalenceSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/Types/PetriNet/EquivalenceSpec.hs -------------------------------------------------------------------------------- /test/result/ByteString_ByteString.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/result/ByteString_ByteString.txt -------------------------------------------------------------------------------- /test/result/Int64_ByteString.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/result/Int64_ByteString.txt -------------------------------------------------------------------------------- /test/test0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/test0.txt -------------------------------------------------------------------------------- /test/test10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/test10.txt -------------------------------------------------------------------------------- /test/test100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/test100.txt -------------------------------------------------------------------------------- /test/test20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/test20.txt -------------------------------------------------------------------------------- /test/test50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/test50.txt -------------------------------------------------------------------------------- /test/testExample.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/testExample.txt -------------------------------------------------------------------------------- /test/testHo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/testHo.txt -------------------------------------------------------------------------------- /test/unit/BST-Insert.sq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/unit/BST-Insert.sq -------------------------------------------------------------------------------- /test/unit/List-Fold-Sort.sq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/unit/List-Fold-Sort.sq -------------------------------------------------------------------------------- /test/unit/List-Reverse.sq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/unit/List-Reverse.sq -------------------------------------------------------------------------------- /test/unit/NNF-Transform.sq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/unit/NNF-Transform.sq -------------------------------------------------------------------------------- /test/unit/replicate.sq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/test/unit/replicate.sq -------------------------------------------------------------------------------- /webapp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/README.md -------------------------------------------------------------------------------- /webapp/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/app/Main.hs -------------------------------------------------------------------------------- /webapp/assets/copy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/assets/copy.svg -------------------------------------------------------------------------------- /webapp/client_session_key.aes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/client_session_key.aes -------------------------------------------------------------------------------- /webapp/load_balance_nginx.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/load_balance_nginx.conf -------------------------------------------------------------------------------- /webapp/routes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/routes -------------------------------------------------------------------------------- /webapp/src/Application.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Application.hs -------------------------------------------------------------------------------- /webapp/src/Foundation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Foundation.hs -------------------------------------------------------------------------------- /webapp/src/Home.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Home.hs -------------------------------------------------------------------------------- /webapp/src/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Search.hs -------------------------------------------------------------------------------- /webapp/src/Stop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Stop.hs -------------------------------------------------------------------------------- /webapp/src/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Types.hs -------------------------------------------------------------------------------- /webapp/src/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/Util.hs -------------------------------------------------------------------------------- /webapp/src/templates/homepage.hamlet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/templates/homepage.hamlet -------------------------------------------------------------------------------- /webapp/src/templates/homepage.julius: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/templates/homepage.julius -------------------------------------------------------------------------------- /webapp/src/templates/homepage.lucius: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/hoogle_plus/HEAD/webapp/src/templates/homepage.lucius --------------------------------------------------------------------------------