├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── client ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md └── src │ ├── args.rs │ ├── cache.rs │ ├── completion.rs │ ├── completion │ ├── builtin.rs │ ├── codex.rs │ └── local.rs │ ├── debug.rs │ ├── langserver.rs │ ├── langserver │ ├── py.rs │ └── ts.rs │ ├── lib.rs │ ├── main.rs │ ├── main_strategies.rs │ ├── socket.rs │ ├── tree.rs │ └── typedef_gen.rs ├── docs ├── IDEAS.md ├── OpenTau Presentation.pdf ├── assets │ ├── heuristic.png │ ├── pipeline.png │ ├── successes_per_config.png │ ├── tree_example.dot │ └── tree_example.png ├── final_report.md ├── group_selection.md ├── invariants.md ├── milestone1.md ├── milestone2.md ├── proj_description.md └── scratch.md ├── evaluator ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── cfgs │ ├── builtin_ts-eval.json │ ├── santacoder_baseline_js-projects_annot_all.json │ ├── santacoder_baseline_noparser_ts-eval-subset.json │ ├── santacoder_baseline_ts-eval-subset.json │ ├── santacoder_baseline_ts-eval-usages.json │ ├── santacoder_baseline_ts-eval.json │ ├── santacoder_tiny.json │ ├── santacoder_tiny2_baseline.json │ ├── santacoder_tree_js-projects_annot_all.json │ ├── santacoder_tree_nousages_ts-eval.json │ ├── santacoder_tree_ts-eval-subset.json │ ├── santacoder_tree_ts-eval.json │ ├── starcoder_baseline_ts-eval.json │ └── starcoder_tree_ts-eval.json ├── data │ ├── js-projects.jsonl │ ├── ts-dataset-tiny.json │ ├── ts-dataset-tiny2.jsonl │ ├── ts-eval-subset.jsonl │ ├── ts-eval-with-usages.jsonl │ └── ts-eval.jsonl ├── scripts │ ├── .gitignore │ ├── baseline_usages │ │ ├── build │ │ │ └── lang.so │ │ └── main.py │ ├── eval_dataset_analysis.py │ ├── get_typecheck_stats.py │ ├── parquet_to_jsonl.py │ ├── santacoder_tiny.json │ ├── ts-dataset-tiny2.jsonl │ ├── ts-dataset-tiny2.parquet │ ├── ts-does-parse │ │ ├── .gitignore │ │ ├── main.ts │ │ ├── package-lock.json │ │ ├── package.json │ │ └── tsconfig.json │ ├── ts-proportion-of-anys │ │ ├── .gitignore │ │ ├── main.ts │ │ ├── package-lock.json │ │ ├── package.json │ │ └── tsconfig.json │ └── utils.py ├── src │ ├── lib.rs │ ├── main.rs │ └── runner.rs └── visualizer │ └── index.html ├── out └── .gitignore ├── py-ast ├── .gitkeep ├── __completed.py ├── __example.py ├── __example_typed.py ├── __original.py ├── __pycache__ │ ├── check.cpython-310.pyc │ ├── printer.cpython-310.pyc │ └── stub_printer.cpython-310.pyc ├── check.py ├── main.py ├── printer.py └── stub_printer.py ├── training ├── fim.py └── multi_hole_dataset.py ├── ts-compiler ├── .gitignore ├── README.md ├── aRename.ts ├── check.ts ├── findUsages.ts ├── main.ts ├── objectInfo.ts ├── package-lock.json ├── package.json ├── printer.ts ├── stubPrinter.ts ├── temp_obj_info.txt ├── tree.ts ├── tsconfig.json ├── typedefGen.ts ├── utils.ts └── weave.ts └── utils ├── filter_testfiles.py ├── remove_comments.py ├── remove_whitespace.py ├── send_file_to_socket.py └── testfiles ├── a-rename ├── alpha.ts ├── arrow.ts ├── destructure.ts ├── loops.ts ├── mutual-rec.ts ├── namespace.ts ├── ref_before_let.ts └── tricky.ts ├── add.ts ├── annot └── two_funcs_withmore_annotated.ts ├── check ├── type_count_notup.ts └── type_count_yestup.ts ├── debugging_example.ts ├── defgen ├── aliasing.ts ├── dedup_obj.ts ├── dedup_with_correct_links.ts ├── easy.ts ├── let_lit_destruct.ts ├── medium.ts ├── obj_lit_destruct.ts ├── obj_lit_destruct_func_arg.ts └── obj_lit_destruct_prop_access.ts ├── person.ts ├── stub ├── arrowfunc.ts ├── class_field.ts ├── funcdef.ts └── funcdef_twofuncs.ts ├── tree ├── anonfunc.ts ├── arrowfunc.ts ├── class.ts ├── toplevel_quirks.ts ├── two_funcs.ts ├── two_funcs_withmore.ts └── two_funcs_withmore2.ts ├── usages ├── inner.ts └── outer.ts └── weave ├── default_args ├── nettle.ts ├── nettle_simple.ts ├── root.ts └── root_simple.ts └── two_funcs ├── helloComplete.ts ├── helloOrig.ts ├── inner1Complete.ts ├── inner1Stub.ts ├── inner2Complete.ts └── inner2Stub.ts /.gitignore: -------------------------------------------------------------------------------- 1 | **temp/ 2 | *.pdf 3 | scratch/ 4 | __pycache__/ 5 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/README.md -------------------------------------------------------------------------------- /client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/.gitignore -------------------------------------------------------------------------------- /client/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/Cargo.lock -------------------------------------------------------------------------------- /client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/Cargo.toml -------------------------------------------------------------------------------- /client/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/README.md -------------------------------------------------------------------------------- /client/src/args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/args.rs -------------------------------------------------------------------------------- /client/src/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/cache.rs -------------------------------------------------------------------------------- /client/src/completion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/completion.rs -------------------------------------------------------------------------------- /client/src/completion/builtin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/completion/builtin.rs -------------------------------------------------------------------------------- /client/src/completion/codex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/completion/codex.rs -------------------------------------------------------------------------------- /client/src/completion/local.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/completion/local.rs -------------------------------------------------------------------------------- /client/src/debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/debug.rs -------------------------------------------------------------------------------- /client/src/langserver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/langserver.rs -------------------------------------------------------------------------------- /client/src/langserver/py.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/langserver/py.rs -------------------------------------------------------------------------------- /client/src/langserver/ts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/langserver/ts.rs -------------------------------------------------------------------------------- /client/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/lib.rs -------------------------------------------------------------------------------- /client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/main.rs -------------------------------------------------------------------------------- /client/src/main_strategies.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/main_strategies.rs -------------------------------------------------------------------------------- /client/src/socket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/socket.rs -------------------------------------------------------------------------------- /client/src/tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/tree.rs -------------------------------------------------------------------------------- /client/src/typedef_gen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/client/src/typedef_gen.rs -------------------------------------------------------------------------------- /docs/IDEAS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/IDEAS.md -------------------------------------------------------------------------------- /docs/OpenTau Presentation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/OpenTau Presentation.pdf -------------------------------------------------------------------------------- /docs/assets/heuristic.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/assets/heuristic.png -------------------------------------------------------------------------------- /docs/assets/pipeline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/assets/pipeline.png -------------------------------------------------------------------------------- /docs/assets/successes_per_config.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/assets/successes_per_config.png -------------------------------------------------------------------------------- /docs/assets/tree_example.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/assets/tree_example.dot -------------------------------------------------------------------------------- /docs/assets/tree_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/assets/tree_example.png -------------------------------------------------------------------------------- /docs/final_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/final_report.md -------------------------------------------------------------------------------- /docs/group_selection.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/group_selection.md -------------------------------------------------------------------------------- /docs/invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/invariants.md -------------------------------------------------------------------------------- /docs/milestone1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/milestone1.md -------------------------------------------------------------------------------- /docs/milestone2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/milestone2.md -------------------------------------------------------------------------------- /docs/proj_description.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/proj_description.md -------------------------------------------------------------------------------- /docs/scratch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/docs/scratch.md -------------------------------------------------------------------------------- /evaluator/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/.gitignore -------------------------------------------------------------------------------- /evaluator/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/Cargo.lock -------------------------------------------------------------------------------- /evaluator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/Cargo.toml -------------------------------------------------------------------------------- /evaluator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/README.md -------------------------------------------------------------------------------- /evaluator/cfgs/builtin_ts-eval.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/builtin_ts-eval.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_baseline_js-projects_annot_all.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_baseline_js-projects_annot_all.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_baseline_noparser_ts-eval-subset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_baseline_noparser_ts-eval-subset.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_baseline_ts-eval-subset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_baseline_ts-eval-subset.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_baseline_ts-eval-usages.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_baseline_ts-eval-usages.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_baseline_ts-eval.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_baseline_ts-eval.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_tiny.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_tiny.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_tiny2_baseline.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_tiny2_baseline.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_tree_js-projects_annot_all.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_tree_js-projects_annot_all.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_tree_nousages_ts-eval.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_tree_nousages_ts-eval.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_tree_ts-eval-subset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_tree_ts-eval-subset.json -------------------------------------------------------------------------------- /evaluator/cfgs/santacoder_tree_ts-eval.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/santacoder_tree_ts-eval.json -------------------------------------------------------------------------------- /evaluator/cfgs/starcoder_baseline_ts-eval.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/starcoder_baseline_ts-eval.json -------------------------------------------------------------------------------- /evaluator/cfgs/starcoder_tree_ts-eval.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/cfgs/starcoder_tree_ts-eval.json -------------------------------------------------------------------------------- /evaluator/data/js-projects.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/data/js-projects.jsonl -------------------------------------------------------------------------------- /evaluator/data/ts-dataset-tiny.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/data/ts-dataset-tiny.json -------------------------------------------------------------------------------- /evaluator/data/ts-dataset-tiny2.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/data/ts-dataset-tiny2.jsonl -------------------------------------------------------------------------------- /evaluator/data/ts-eval-subset.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/data/ts-eval-subset.jsonl -------------------------------------------------------------------------------- /evaluator/data/ts-eval-with-usages.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/data/ts-eval-with-usages.jsonl -------------------------------------------------------------------------------- /evaluator/data/ts-eval.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/data/ts-eval.jsonl -------------------------------------------------------------------------------- /evaluator/scripts/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/.gitignore -------------------------------------------------------------------------------- /evaluator/scripts/baseline_usages/build/lang.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/baseline_usages/build/lang.so -------------------------------------------------------------------------------- /evaluator/scripts/baseline_usages/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/baseline_usages/main.py -------------------------------------------------------------------------------- /evaluator/scripts/eval_dataset_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/eval_dataset_analysis.py -------------------------------------------------------------------------------- /evaluator/scripts/get_typecheck_stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/get_typecheck_stats.py -------------------------------------------------------------------------------- /evaluator/scripts/parquet_to_jsonl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/parquet_to_jsonl.py -------------------------------------------------------------------------------- /evaluator/scripts/santacoder_tiny.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/santacoder_tiny.json -------------------------------------------------------------------------------- /evaluator/scripts/ts-dataset-tiny2.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-dataset-tiny2.jsonl -------------------------------------------------------------------------------- /evaluator/scripts/ts-dataset-tiny2.parquet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-dataset-tiny2.parquet -------------------------------------------------------------------------------- /evaluator/scripts/ts-does-parse/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | -------------------------------------------------------------------------------- /evaluator/scripts/ts-does-parse/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-does-parse/main.ts -------------------------------------------------------------------------------- /evaluator/scripts/ts-does-parse/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-does-parse/package-lock.json -------------------------------------------------------------------------------- /evaluator/scripts/ts-does-parse/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-does-parse/package.json -------------------------------------------------------------------------------- /evaluator/scripts/ts-does-parse/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-does-parse/tsconfig.json -------------------------------------------------------------------------------- /evaluator/scripts/ts-proportion-of-anys/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | -------------------------------------------------------------------------------- /evaluator/scripts/ts-proportion-of-anys/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-proportion-of-anys/main.ts -------------------------------------------------------------------------------- /evaluator/scripts/ts-proportion-of-anys/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-proportion-of-anys/package-lock.json -------------------------------------------------------------------------------- /evaluator/scripts/ts-proportion-of-anys/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-proportion-of-anys/package.json -------------------------------------------------------------------------------- /evaluator/scripts/ts-proportion-of-anys/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/ts-proportion-of-anys/tsconfig.json -------------------------------------------------------------------------------- /evaluator/scripts/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/scripts/utils.py -------------------------------------------------------------------------------- /evaluator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/src/lib.rs -------------------------------------------------------------------------------- /evaluator/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/src/main.rs -------------------------------------------------------------------------------- /evaluator/src/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/src/runner.rs -------------------------------------------------------------------------------- /evaluator/visualizer/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/evaluator/visualizer/index.html -------------------------------------------------------------------------------- /out/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !.gitignore 3 | -------------------------------------------------------------------------------- /py-ast/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /py-ast/__completed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__completed.py -------------------------------------------------------------------------------- /py-ast/__example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__example.py -------------------------------------------------------------------------------- /py-ast/__example_typed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__example_typed.py -------------------------------------------------------------------------------- /py-ast/__original.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__original.py -------------------------------------------------------------------------------- /py-ast/__pycache__/check.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__pycache__/check.cpython-310.pyc -------------------------------------------------------------------------------- /py-ast/__pycache__/printer.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__pycache__/printer.cpython-310.pyc -------------------------------------------------------------------------------- /py-ast/__pycache__/stub_printer.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/__pycache__/stub_printer.cpython-310.pyc -------------------------------------------------------------------------------- /py-ast/check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/check.py -------------------------------------------------------------------------------- /py-ast/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/main.py -------------------------------------------------------------------------------- /py-ast/printer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/printer.py -------------------------------------------------------------------------------- /py-ast/stub_printer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/py-ast/stub_printer.py -------------------------------------------------------------------------------- /training/fim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/training/fim.py -------------------------------------------------------------------------------- /training/multi_hole_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/training/multi_hole_dataset.py -------------------------------------------------------------------------------- /ts-compiler/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | -------------------------------------------------------------------------------- /ts-compiler/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/README.md -------------------------------------------------------------------------------- /ts-compiler/aRename.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/aRename.ts -------------------------------------------------------------------------------- /ts-compiler/check.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/check.ts -------------------------------------------------------------------------------- /ts-compiler/findUsages.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/findUsages.ts -------------------------------------------------------------------------------- /ts-compiler/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/main.ts -------------------------------------------------------------------------------- /ts-compiler/objectInfo.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/objectInfo.ts -------------------------------------------------------------------------------- /ts-compiler/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/package-lock.json -------------------------------------------------------------------------------- /ts-compiler/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/package.json -------------------------------------------------------------------------------- /ts-compiler/printer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/printer.ts -------------------------------------------------------------------------------- /ts-compiler/stubPrinter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/stubPrinter.ts -------------------------------------------------------------------------------- /ts-compiler/temp_obj_info.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/temp_obj_info.txt -------------------------------------------------------------------------------- /ts-compiler/tree.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/tree.ts -------------------------------------------------------------------------------- /ts-compiler/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/tsconfig.json -------------------------------------------------------------------------------- /ts-compiler/typedefGen.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/typedefGen.ts -------------------------------------------------------------------------------- /ts-compiler/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/utils.ts -------------------------------------------------------------------------------- /ts-compiler/weave.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/ts-compiler/weave.ts -------------------------------------------------------------------------------- /utils/filter_testfiles.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/filter_testfiles.py -------------------------------------------------------------------------------- /utils/remove_comments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/remove_comments.py -------------------------------------------------------------------------------- /utils/remove_whitespace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/remove_whitespace.py -------------------------------------------------------------------------------- /utils/send_file_to_socket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/send_file_to_socket.py -------------------------------------------------------------------------------- /utils/testfiles/a-rename/alpha.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/alpha.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/arrow.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/arrow.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/destructure.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/destructure.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/loops.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/loops.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/mutual-rec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/mutual-rec.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/namespace.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/namespace.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/ref_before_let.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/ref_before_let.ts -------------------------------------------------------------------------------- /utils/testfiles/a-rename/tricky.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/a-rename/tricky.ts -------------------------------------------------------------------------------- /utils/testfiles/add.ts: -------------------------------------------------------------------------------- 1 | function add3(x, y, z) { 2 | return x + y + z; 3 | } 4 | -------------------------------------------------------------------------------- /utils/testfiles/annot/two_funcs_withmore_annotated.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/annot/two_funcs_withmore_annotated.ts -------------------------------------------------------------------------------- /utils/testfiles/check/type_count_notup.ts: -------------------------------------------------------------------------------- 1 | const a: _hole_ = 1; 2 | -------------------------------------------------------------------------------- /utils/testfiles/check/type_count_yestup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/check/type_count_yestup.ts -------------------------------------------------------------------------------- /utils/testfiles/debugging_example.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/debugging_example.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/aliasing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/aliasing.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/dedup_obj.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/dedup_obj.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/dedup_with_correct_links.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/dedup_with_correct_links.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/easy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/easy.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/let_lit_destruct.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/let_lit_destruct.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/medium.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/medium.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/obj_lit_destruct.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/obj_lit_destruct.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/obj_lit_destruct_func_arg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/obj_lit_destruct_func_arg.ts -------------------------------------------------------------------------------- /utils/testfiles/defgen/obj_lit_destruct_prop_access.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/defgen/obj_lit_destruct_prop_access.ts -------------------------------------------------------------------------------- /utils/testfiles/person.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/person.ts -------------------------------------------------------------------------------- /utils/testfiles/stub/arrowfunc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/stub/arrowfunc.ts -------------------------------------------------------------------------------- /utils/testfiles/stub/class_field.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/stub/class_field.ts -------------------------------------------------------------------------------- /utils/testfiles/stub/funcdef.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/stub/funcdef.ts -------------------------------------------------------------------------------- /utils/testfiles/stub/funcdef_twofuncs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/stub/funcdef_twofuncs.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/anonfunc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/anonfunc.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/arrowfunc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/arrowfunc.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/class.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/toplevel_quirks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/toplevel_quirks.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/two_funcs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/two_funcs.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/two_funcs_withmore.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/two_funcs_withmore.ts -------------------------------------------------------------------------------- /utils/testfiles/tree/two_funcs_withmore2.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/tree/two_funcs_withmore2.ts -------------------------------------------------------------------------------- /utils/testfiles/usages/inner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/usages/inner.ts -------------------------------------------------------------------------------- /utils/testfiles/usages/outer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/usages/outer.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/default_args/nettle.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/default_args/nettle.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/default_args/nettle_simple.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/default_args/nettle_simple.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/default_args/root.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/default_args/root.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/default_args/root_simple.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/default_args/root_simple.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/two_funcs/helloComplete.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/two_funcs/helloComplete.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/two_funcs/helloOrig.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/two_funcs/helloOrig.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/two_funcs/inner1Complete.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/two_funcs/inner1Complete.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/two_funcs/inner1Stub.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/two_funcs/inner1Stub.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/two_funcs/inner2Complete.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/two_funcs/inner2Complete.ts -------------------------------------------------------------------------------- /utils/testfiles/weave/two_funcs/inner2Stub.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GammaTauAI/opentau/HEAD/utils/testfiles/weave/two_funcs/inner2Stub.ts --------------------------------------------------------------------------------