├── .github └── workflows │ └── tests.yml ├── .gitignore ├── .pre-commit-config.yaml ├── README.md ├── experiments ├── __init__.py ├── main │ ├── .gitignore │ ├── __init__.py │ ├── analyze_avg_time.py │ ├── analyze_inf_res.py │ ├── analyze_many_temp.sh │ ├── analyze_multifun.py │ ├── analyze_outputs.py │ ├── analyze_pass_not_accepted.py │ ├── analyze_passatk.sh │ ├── analyze_resample.py │ ├── convert_files.py │ ├── count_syntax_errors.py │ ├── create_humaneval_repair_dataset.sh │ ├── create_mbpp_repair_dataset.sh │ ├── create_repair_dataset.py │ ├── download_models.py │ ├── figures.sh │ ├── figures │ │ ├── __init__.py │ │ ├── fig_compiler_perf_comparison.py │ │ ├── fig_compiler_perf_fc.py │ │ ├── fig_compiler_perf_repair.py │ │ ├── fig_compiler_perf_syn_tran.py │ │ └── fig_compiler_time.py │ ├── figures_revision │ │ ├── __init__.py │ │ ├── fig_compiler_perf_syn_tran_repair.py │ │ ├── fig_resample_hist.py │ │ └── fig_resample_hist.sh │ ├── filter_sensible_ts_outputs.py │ ├── fix_nc.py │ ├── inference_multiple.py │ ├── inference_multiple_repair.py │ ├── invalid_mbpp │ ├── kill_inf.sh │ ├── print_c.py │ ├── repair_datasets │ │ ├── humaneval_repair_dataset.jsonl │ │ └── mbpp_repair_dataset.jsonl │ ├── rerun_temp_inf.py │ ├── results_paper │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_synth_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_synth_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_translate_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_translate_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_synth_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_synth_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_translate_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_translate_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_synth_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_synth_nc.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_translate_c.jsonl │ │ ├── humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_translate_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_synth_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_synth_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_translate_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_translate_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_synth_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_synth_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_translate_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_translate_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_synth_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_synth_nc.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_translate_c.jsonl │ │ ├── humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_translate_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_synth_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_synth_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_translate_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_translate_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_synth_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_synth_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_translate_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_translate_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_synth_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_synth_nc.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_translate_c.jsonl │ │ ├── humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=0_t=1_repair-all_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=0_t=1_repair-all_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=0_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=0_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=0_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=0_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=1_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=1_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=1_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=1_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=2_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=2_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=2_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=2_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=3_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=3_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=3_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-27b-it_s=3_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=0_t=1_repair-all_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=0_t=1_repair-all_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=0_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=0_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=0_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=0_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=1_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=1_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=1_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=1_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=2_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=2_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=2_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=2_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=3_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=3_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=3_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-2b-it_s=3_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=0_t=1_repair-all_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=0_t=1_repair-all_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=0_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=0_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=0_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=0_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=1_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=1_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=1_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=1_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=2_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=2_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=2_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=2_t=1_translate_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=3_t=1_synth_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=3_t=1_synth_nc.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=3_t=1_translate_c.jsonl │ │ ├── humaneval_google_gemma-2-9b-it_s=3_t=1_translate_nc.jsonl │ │ ├── mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_c.jsonl │ │ ├── mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_nc.jsonl │ │ ├── mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_c.jsonl │ │ ├── mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_nc.jsonl │ │ ├── mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_c.jsonl │ │ ├── mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_nc.jsonl │ │ ├── mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_c.jsonl │ │ ├── mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_nc.jsonl │ │ ├── mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_c.jsonl │ │ ├── mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_nc.jsonl │ │ ├── mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_c.jsonl │ │ ├── mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_nc.jsonl │ │ ├── mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_c.jsonl │ │ ├── mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_nc.jsonl │ │ ├── mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_c.jsonl │ │ ├── mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_nc.jsonl │ │ ├── mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_c.jsonl │ │ ├── mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_nc.jsonl │ │ ├── mbpp_google_gemma-2-27b-it_s=0_t=1_repair-all_c.jsonl │ │ ├── mbpp_google_gemma-2-27b-it_s=0_t=1_repair-all_nc.jsonl │ │ ├── mbpp_google_gemma-2-27b-it_s=0_t=1_synth_c.jsonl │ │ ├── mbpp_google_gemma-2-27b-it_s=0_t=1_synth_nc.jsonl │ │ ├── mbpp_google_gemma-2-27b-it_s=0_t=1_translate_c.jsonl │ │ ├── mbpp_google_gemma-2-27b-it_s=0_t=1_translate_nc.jsonl │ │ ├── mbpp_google_gemma-2-2b-it_s=0_t=1_repair-all_c.jsonl │ │ ├── mbpp_google_gemma-2-2b-it_s=0_t=1_repair-all_nc.jsonl │ │ ├── mbpp_google_gemma-2-2b-it_s=0_t=1_synth_c.jsonl │ │ ├── mbpp_google_gemma-2-2b-it_s=0_t=1_synth_nc.jsonl │ │ ├── mbpp_google_gemma-2-2b-it_s=0_t=1_translate_c.jsonl │ │ ├── mbpp_google_gemma-2-2b-it_s=0_t=1_translate_nc.jsonl │ │ ├── mbpp_google_gemma-2-9b-it_s=0_t=1_repair-all_c.jsonl │ │ ├── mbpp_google_gemma-2-9b-it_s=0_t=1_repair-all_nc.jsonl │ │ ├── mbpp_google_gemma-2-9b-it_s=0_t=1_synth_c.jsonl │ │ ├── mbpp_google_gemma-2-9b-it_s=0_t=1_synth_nc.jsonl │ │ ├── mbpp_google_gemma-2-9b-it_s=0_t=1_translate_c.jsonl │ │ └── mbpp_google_gemma-2-9b-it_s=0_t=1_translate_nc.jsonl │ ├── run_experiments.sh │ ├── run_experiments_repair.py │ ├── run_experiments_syn_tran.py │ ├── translate_canonical_humaneval.py │ └── util.py └── translation │ ├── humaneval-x │ ├── .gitignore │ ├── dataset.json │ ├── execute.py │ ├── metric.py │ ├── process_input.py │ └── translate.py │ └── mbpp │ ├── dataset.json │ └── generate.py ├── incremental_tsc.py ├── package.json ├── poetry.lock ├── pyproject.toml ├── setup_conda.sh ├── setup_env.sh ├── test ├── __init__.py ├── data │ ├── __init__.py │ ├── manually_fixed │ │ ├── HumanEval_1.ts │ │ ├── HumanEval_10.ts │ │ ├── HumanEval_6.ts │ │ ├── HumanEval_7.ts │ │ ├── HumanEval_8.ts │ │ └── HumanEval_9.ts │ ├── openai_openai_humaneval_ts_gpt-4o-2024-05-13.jsonl │ ├── openai_openai_humaneval_ts_gpt-4o-2024-05-13_filtered.jsonl │ └── print_instance.py ├── test_parser_base.py ├── test_parser_ts.py └── utils.py ├── ts_parser ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── build.sh ├── install_rust.sh └── src │ └── main.rs └── typesafe_llm ├── __init__.py ├── parser ├── __init__.py ├── parser_base.py ├── parser_shared.py ├── parser_ts.py ├── parser_ts_types.py ├── types_base.py ├── types_ts.py └── util.py ├── sampling.py ├── trie.py └── util.py /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/README.md -------------------------------------------------------------------------------- /experiments/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /experiments/main/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/.gitignore -------------------------------------------------------------------------------- /experiments/main/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /experiments/main/analyze_avg_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_avg_time.py -------------------------------------------------------------------------------- /experiments/main/analyze_inf_res.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_inf_res.py -------------------------------------------------------------------------------- /experiments/main/analyze_many_temp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_many_temp.sh -------------------------------------------------------------------------------- /experiments/main/analyze_multifun.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_multifun.py -------------------------------------------------------------------------------- /experiments/main/analyze_outputs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_outputs.py -------------------------------------------------------------------------------- /experiments/main/analyze_pass_not_accepted.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_pass_not_accepted.py -------------------------------------------------------------------------------- /experiments/main/analyze_passatk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_passatk.sh -------------------------------------------------------------------------------- /experiments/main/analyze_resample.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/analyze_resample.py -------------------------------------------------------------------------------- /experiments/main/convert_files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/convert_files.py -------------------------------------------------------------------------------- /experiments/main/count_syntax_errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/count_syntax_errors.py -------------------------------------------------------------------------------- /experiments/main/create_humaneval_repair_dataset.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/create_humaneval_repair_dataset.sh -------------------------------------------------------------------------------- /experiments/main/create_mbpp_repair_dataset.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/create_mbpp_repair_dataset.sh -------------------------------------------------------------------------------- /experiments/main/create_repair_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/create_repair_dataset.py -------------------------------------------------------------------------------- /experiments/main/download_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/download_models.py -------------------------------------------------------------------------------- /experiments/main/figures.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures.sh -------------------------------------------------------------------------------- /experiments/main/figures/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /experiments/main/figures/fig_compiler_perf_comparison.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures/fig_compiler_perf_comparison.py -------------------------------------------------------------------------------- /experiments/main/figures/fig_compiler_perf_fc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures/fig_compiler_perf_fc.py -------------------------------------------------------------------------------- /experiments/main/figures/fig_compiler_perf_repair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures/fig_compiler_perf_repair.py -------------------------------------------------------------------------------- /experiments/main/figures/fig_compiler_perf_syn_tran.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures/fig_compiler_perf_syn_tran.py -------------------------------------------------------------------------------- /experiments/main/figures/fig_compiler_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures/fig_compiler_time.py -------------------------------------------------------------------------------- /experiments/main/figures_revision/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /experiments/main/figures_revision/fig_compiler_perf_syn_tran_repair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures_revision/fig_compiler_perf_syn_tran_repair.py -------------------------------------------------------------------------------- /experiments/main/figures_revision/fig_resample_hist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures_revision/fig_resample_hist.py -------------------------------------------------------------------------------- /experiments/main/figures_revision/fig_resample_hist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/figures_revision/fig_resample_hist.sh -------------------------------------------------------------------------------- /experiments/main/filter_sensible_ts_outputs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/filter_sensible_ts_outputs.py -------------------------------------------------------------------------------- /experiments/main/fix_nc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/fix_nc.py -------------------------------------------------------------------------------- /experiments/main/inference_multiple.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/inference_multiple.py -------------------------------------------------------------------------------- /experiments/main/inference_multiple_repair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/inference_multiple_repair.py -------------------------------------------------------------------------------- /experiments/main/invalid_mbpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/invalid_mbpp -------------------------------------------------------------------------------- /experiments/main/kill_inf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/kill_inf.sh -------------------------------------------------------------------------------- /experiments/main/print_c.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/print_c.py -------------------------------------------------------------------------------- /experiments/main/repair_datasets/humaneval_repair_dataset.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/repair_datasets/humaneval_repair_dataset.jsonl -------------------------------------------------------------------------------- /experiments/main/repair_datasets/mbpp_repair_dataset.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/repair_datasets/mbpp_repair_dataset.jsonl -------------------------------------------------------------------------------- /experiments/main/rerun_temp_inf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/rerun_temp_inf.py -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=1_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=2_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_Qwen_Qwen2.5-32B-Instruct_s=3_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=1_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=2_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_codellama_CodeLlama-34b-Instruct-hf_s=3_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=1_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=2_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_deepseek-ai_deepseek-coder-33b-instruct_s=3_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=1_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=2_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-27b-it_s=3_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=1_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=2_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-2b-it_s=3_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=1_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=2_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/humaneval_google_gemma-2-9b-it_s=3_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_Qwen_Qwen2.5-32B-Instruct_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_codellama_CodeLlama-34b-Instruct-hf_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_deepseek-ai_deepseek-coder-33b-instruct_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-27b-it_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-2b-it_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_repair-all_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_repair-all_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_repair-all_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_repair-all_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_synth_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_synth_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_synth_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_synth_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_translate_c.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_translate_c.jsonl -------------------------------------------------------------------------------- /experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_translate_nc.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/results_paper/mbpp_google_gemma-2-9b-it_s=0_t=1_translate_nc.jsonl -------------------------------------------------------------------------------- /experiments/main/run_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/run_experiments.sh -------------------------------------------------------------------------------- /experiments/main/run_experiments_repair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/run_experiments_repair.py -------------------------------------------------------------------------------- /experiments/main/run_experiments_syn_tran.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/run_experiments_syn_tran.py -------------------------------------------------------------------------------- /experiments/main/translate_canonical_humaneval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/translate_canonical_humaneval.py -------------------------------------------------------------------------------- /experiments/main/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/main/util.py -------------------------------------------------------------------------------- /experiments/translation/humaneval-x/.gitignore: -------------------------------------------------------------------------------- 1 | *.jsonl.gz -------------------------------------------------------------------------------- /experiments/translation/humaneval-x/dataset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/humaneval-x/dataset.json -------------------------------------------------------------------------------- /experiments/translation/humaneval-x/execute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/humaneval-x/execute.py -------------------------------------------------------------------------------- /experiments/translation/humaneval-x/metric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/humaneval-x/metric.py -------------------------------------------------------------------------------- /experiments/translation/humaneval-x/process_input.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/humaneval-x/process_input.py -------------------------------------------------------------------------------- /experiments/translation/humaneval-x/translate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/humaneval-x/translate.py -------------------------------------------------------------------------------- /experiments/translation/mbpp/dataset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/mbpp/dataset.json -------------------------------------------------------------------------------- /experiments/translation/mbpp/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/experiments/translation/mbpp/generate.py -------------------------------------------------------------------------------- /incremental_tsc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/incremental_tsc.py -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/package.json -------------------------------------------------------------------------------- /poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/poetry.lock -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup_conda.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/setup_conda.sh -------------------------------------------------------------------------------- /setup_env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/setup_env.sh -------------------------------------------------------------------------------- /test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/data/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/data/manually_fixed/HumanEval_1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/manually_fixed/HumanEval_1.ts -------------------------------------------------------------------------------- /test/data/manually_fixed/HumanEval_10.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/manually_fixed/HumanEval_10.ts -------------------------------------------------------------------------------- /test/data/manually_fixed/HumanEval_6.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/manually_fixed/HumanEval_6.ts -------------------------------------------------------------------------------- /test/data/manually_fixed/HumanEval_7.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/manually_fixed/HumanEval_7.ts -------------------------------------------------------------------------------- /test/data/manually_fixed/HumanEval_8.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/manually_fixed/HumanEval_8.ts -------------------------------------------------------------------------------- /test/data/manually_fixed/HumanEval_9.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/manually_fixed/HumanEval_9.ts -------------------------------------------------------------------------------- /test/data/openai_openai_humaneval_ts_gpt-4o-2024-05-13.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/openai_openai_humaneval_ts_gpt-4o-2024-05-13.jsonl -------------------------------------------------------------------------------- /test/data/openai_openai_humaneval_ts_gpt-4o-2024-05-13_filtered.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/openai_openai_humaneval_ts_gpt-4o-2024-05-13_filtered.jsonl -------------------------------------------------------------------------------- /test/data/print_instance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/data/print_instance.py -------------------------------------------------------------------------------- /test/test_parser_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/test_parser_base.py -------------------------------------------------------------------------------- /test/test_parser_ts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/test_parser_ts.py -------------------------------------------------------------------------------- /test/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/test/utils.py -------------------------------------------------------------------------------- /ts_parser/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/ts_parser/.gitignore -------------------------------------------------------------------------------- /ts_parser/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/ts_parser/Cargo.lock -------------------------------------------------------------------------------- /ts_parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/ts_parser/Cargo.toml -------------------------------------------------------------------------------- /ts_parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/ts_parser/README.md -------------------------------------------------------------------------------- /ts_parser/build.sh: -------------------------------------------------------------------------------- 1 | rustup update 2 | cargo build --release -------------------------------------------------------------------------------- /ts_parser/install_rust.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/ts_parser/install_rust.sh -------------------------------------------------------------------------------- /ts_parser/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/ts_parser/src/main.rs -------------------------------------------------------------------------------- /typesafe_llm/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /typesafe_llm/parser/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /typesafe_llm/parser/parser_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/parser_base.py -------------------------------------------------------------------------------- /typesafe_llm/parser/parser_shared.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/parser_shared.py -------------------------------------------------------------------------------- /typesafe_llm/parser/parser_ts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/parser_ts.py -------------------------------------------------------------------------------- /typesafe_llm/parser/parser_ts_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/parser_ts_types.py -------------------------------------------------------------------------------- /typesafe_llm/parser/types_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/types_base.py -------------------------------------------------------------------------------- /typesafe_llm/parser/types_ts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/types_ts.py -------------------------------------------------------------------------------- /typesafe_llm/parser/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/parser/util.py -------------------------------------------------------------------------------- /typesafe_llm/sampling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/sampling.py -------------------------------------------------------------------------------- /typesafe_llm/trie.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/trie.py -------------------------------------------------------------------------------- /typesafe_llm/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eth-sri/type-constrained-code-generation/HEAD/typesafe_llm/util.py --------------------------------------------------------------------------------