├── .circleci └── config.yml ├── .clang-format ├── .gitignore ├── .ocamlformat ├── BUILD ├── Dockerfile ├── LICENSE ├── Makefile ├── README.md ├── REPO_OVERVIEW.md ├── WORKSPACE ├── benchmarks ├── AsyncFibonacci.java ├── Fibonacci.java ├── asyncFib.bolt ├── fib.bolt ├── fib.s └── fibByteCode.txt ├── bolt.opam ├── dune-project ├── examples ├── binarySearchTree.bolt ├── binarySearchTree.java ├── factorial-optimised.ll ├── factorial-unoptimised.ll ├── factorial.bolt ├── factorial.ir ├── foo.bolt ├── generics.bolt ├── inheritance.bolt ├── linkedlist.bolt ├── linkedlist.java ├── overloading.bolt ├── tree.bolt └── vtable │ ├── foo.bolt │ └── foo.ll ├── hooks └── pre-commit ├── llvm.bzl ├── scripts ├── benchmarks.sh ├── ci_install_deps.sh ├── compile_program.sh ├── run_e2e_tests.sh ├── run_frontend_integration_tests.sh └── run_program.sh ├── src ├── BUILD ├── frontend │ ├── README.md │ ├── ast │ │ ├── README.md │ │ ├── ast_types.ml │ │ ├── ast_types.mli │ │ ├── dune │ │ ├── pprint_ast.ml │ │ └── pprint_ast.mli │ ├── compile_program_ir.ml │ ├── compile_program_ir.mli │ ├── data_race_checker │ │ ├── aggregate_capability_accesses.ml │ │ ├── aggregate_capability_accesses.mli │ │ ├── data_race_checker_env.ml │ │ ├── data_race_checker_env.mli │ │ ├── dune │ │ ├── type_alias_liveness.ml │ │ ├── type_alias_liveness.mli │ │ ├── type_async_capabilities.ml │ │ ├── type_async_capabilities.mli │ │ ├── type_borrowing.ml │ │ ├── type_borrowing.mli │ │ ├── type_capability_annotations.ml │ │ ├── type_capability_annotations.mli │ │ ├── type_capability_constraints.ml │ │ ├── type_capability_constraints.mli │ │ ├── type_concurrent_capability_access.ml │ │ ├── type_concurrent_capability_access.mli │ │ ├── type_consume_expr.ml │ │ ├── type_consume_expr.mli │ │ ├── type_data_races_classes.ml │ │ ├── type_data_races_classes.mli │ │ ├── type_data_races_expr.ml │ │ ├── type_data_races_expr.mli │ │ ├── type_data_races_functions.ml │ │ ├── type_data_races_functions.mli │ │ ├── type_data_races_program.ml │ │ ├── type_data_races_program.mli │ │ ├── type_linear_capabilities.ml │ │ ├── type_linear_capabilities.mli │ │ ├── type_read_capabilities.ml │ │ ├── type_read_capabilities.mli │ │ ├── type_subord_capabilities.ml │ │ ├── type_subord_capabilities.mli │ │ ├── type_subtyping.ml │ │ ├── type_subtyping.mli │ │ ├── update_identifier_capabilities.ml │ │ └── update_identifier_capabilities.mli │ ├── desugaring │ │ ├── count_generics_instantiations.ml │ │ ├── count_generics_instantiations.mli │ │ ├── desugar_class_and_function_defns.ml │ │ ├── desugar_class_and_function_defns.mli │ │ ├── desugar_env.ml │ │ ├── desugar_env.mli │ │ ├── desugar_expr.ml │ │ ├── desugar_expr.mli │ │ ├── desugar_generics.ml │ │ ├── desugar_generics.mli │ │ ├── desugar_overloading.ml │ │ ├── desugar_overloading.mli │ │ ├── desugar_program.ml │ │ ├── desugar_program.mli │ │ ├── desugared_ast.ml │ │ ├── desugared_ast.mli │ │ ├── dune │ │ ├── free_obj_vars_expr.ml │ │ ├── free_obj_vars_expr.mli │ │ ├── name_mangle_generics.ml │ │ ├── name_mangle_generics.mli │ │ ├── pprint_dast.ml │ │ ├── pprint_dast.mli │ │ ├── remove_variable_shadowing.ml │ │ ├── remove_variable_shadowing.mli │ │ ├── replace_generic_with_instantiated_class_defns.ml │ │ └── replace_generic_with_instantiated_class_defns.mli │ ├── dune │ ├── ir_gen │ │ ├── dune │ │ ├── frontend_ir.ml │ │ ├── frontend_ir.mli │ │ ├── ir_gen_class_and_function_defns.ml │ │ ├── ir_gen_class_and_function_defns.mli │ │ ├── ir_gen_env.ml │ │ ├── ir_gen_env.mli │ │ ├── ir_gen_expr.ml │ │ ├── ir_gen_expr.mli │ │ ├── ir_gen_operators.ml │ │ ├── ir_gen_operators.mli │ │ ├── ir_gen_program.ml │ │ ├── ir_gen_program.mli │ │ ├── ir_gen_protobuf.ml │ │ ├── ir_gen_protobuf.mli │ │ ├── pprint_fir.ml │ │ └── pprint_fir.mli │ ├── main.ml │ ├── main.mli │ ├── parsing │ │ ├── README.md │ │ ├── dune │ │ ├── lex_and_parse.ml │ │ ├── lex_and_parse.mli │ │ ├── lexer.mll │ │ ├── parsed_ast.ml │ │ ├── parsed_ast.mli │ │ ├── parser.mly │ │ ├── pprint_parser_tokens.ml │ │ ├── pprint_parser_tokens.mli │ │ ├── pprint_past.ml │ │ └── pprint_past.mli │ └── typing │ │ ├── README.md │ │ ├── dune │ │ ├── pprint_tast.ml │ │ ├── pprint_tast.mli │ │ ├── type_classes.ml │ │ ├── type_classes.mli │ │ ├── type_env.ml │ │ ├── type_env.mli │ │ ├── type_expr.ml │ │ ├── type_expr.mli │ │ ├── type_functions.ml │ │ ├── type_functions.mli │ │ ├── type_generics.ml │ │ ├── type_generics.mli │ │ ├── type_inheritance.ml │ │ ├── type_inheritance.mli │ │ ├── type_overloading.ml │ │ ├── type_overloading.mli │ │ ├── type_program.ml │ │ ├── type_program.mli │ │ ├── typed_ast.ml │ │ └── typed_ast.mli ├── frontend_ir.proto └── llvm-backend │ ├── BUILD │ ├── deserialise_ir │ ├── BUILD │ ├── class_ir.cc │ ├── class_ir.h │ ├── deserialise_protobuf.cc │ ├── deserialise_protobuf.h │ ├── expr_ir.cc │ ├── expr_ir.h │ ├── function_ir.cc │ ├── function_ir.h │ ├── ir_visitor.h │ ├── program_ir.cc │ ├── program_ir.h │ ├── type_ir.cc │ └── type_ir.h │ ├── llvm_ir_codegen │ ├── BUILD │ ├── class_codegen.cc │ ├── expr_codegen.cc │ ├── extern_functions_codegen.cc │ ├── function_codegen.cc │ ├── ir_codegen_visitor.cc │ ├── ir_codegen_visitor.h │ ├── lock_codegen.cc │ ├── pthread_codegen.cc │ └── type_codegen.cc │ └── main.cc └── tests ├── e2e ├── for_loop.bolt ├── for_loop.ll.expected ├── for_loop.out.expected ├── heap_objects.bolt ├── heap_objects.ll.expected ├── heap_objects.out.expected ├── independent_threads.bolt ├── independent_threads.ll.expected ├── independent_threads.out.expected ├── is_pthread_blocking.bolt ├── is_pthread_blocking.ll.expected ├── is_pthread_blocking.out.expected ├── recursive_method.bolt ├── recursive_method.ll.expected ├── recursive_method.out.expected ├── subtype_passed_to_fn.bolt ├── subtype_passed_to_fn.ll.expected ├── subtype_passed_to_fn.out.expected ├── vtable.bolt ├── vtable.ll.expected └── vtable.out.expected ├── frontend ├── alcotest │ ├── desugaring │ │ └── test_remove_variable_shadowing.ml │ ├── parsing │ │ ├── dune │ │ └── test_lexer.ml │ └── typing │ │ ├── dune │ │ └── test_type_env.ml ├── expect │ ├── data_race_checker │ │ ├── bad_assignment.ml │ │ ├── bad_concurrent_regions.ml │ │ ├── bad_consume_variable.ml │ │ ├── bad_finish_async_expr.ml │ │ ├── bad_function_borrowing.ml │ │ ├── bad_function_call.ml │ │ ├── bad_method_call.ml │ │ ├── bad_read_region_access.ml │ │ ├── bad_region_annotations.ml │ │ ├── bad_subord_access.ml │ │ ├── dune │ │ ├── good_block_exprs.ml │ │ ├── good_capability_annotations.ml │ │ ├── good_class_defn.ml │ │ ├── good_comments.ml │ │ ├── good_conditional_expr.ml │ │ ├── good_constructor.ml │ │ ├── good_consume_variable.ml │ │ ├── good_function_application.ml │ │ ├── good_immutable_refs_in_multiple_threads.ml │ │ ├── good_inheritance.ml │ │ ├── good_operators.ml │ │ ├── good_shadowing_variables.ml │ │ ├── good_simple_capability_classes.ml │ │ ├── print_data_race_checker_ast.ml │ │ └── print_data_race_checker_ast.mli │ ├── desugaring │ │ ├── dune │ │ ├── good_generics.ml │ │ ├── good_overloading.ml │ │ ├── good_variable_shadowing.ml │ │ ├── print_desugared_ast.ml │ │ └── print_desugared_ast.mli │ ├── ir_gen │ │ ├── dune │ │ ├── good_block_exprs.ml │ │ ├── good_class_defn.ml │ │ ├── good_comments.ml │ │ ├── good_conditional_expr.ml │ │ ├── good_constructor.ml │ │ ├── good_consume_variable.ml │ │ ├── good_function_application.ml │ │ ├── good_immutable_refs_in_multiple_threads.ml │ │ ├── good_inheritance.ml │ │ ├── good_operators.ml │ │ ├── good_region_annotations.ml │ │ ├── good_shadowing_variables.ml │ │ ├── good_simple_capability_classes.ml │ │ ├── print_frontend_ir.ml │ │ └── print_frontend_ir.mli │ ├── parsing │ │ ├── bad_consume_expr.ml │ │ ├── bad_expressions_not_terminated.ml │ │ ├── bad_function_expr.ml │ │ ├── dune │ │ ├── good_block_exprs.ml │ │ ├── good_comments.ml │ │ ├── good_conditional_expr.ml │ │ ├── good_constructor.ml │ │ ├── good_consume_variable.ml │ │ ├── good_function_application.ml │ │ ├── good_immutable_refs_in_multiple_threads.ml │ │ ├── good_operators.ml │ │ ├── good_shadowing_variables.ml │ │ ├── good_simple_capability_classes.ml │ │ ├── print_parsed_ast.ml │ │ └── print_parsed_ast.mli │ └── typing │ │ ├── bad_access.ml │ │ ├── bad_assignment.ml │ │ ├── bad_class_defn.ml │ │ ├── bad_conditional_expr.ml │ │ ├── bad_constructor.ml │ │ ├── bad_consume_variable.ml │ │ ├── bad_function_application.ml │ │ ├── bad_function_defn.ml │ │ ├── bad_generics.ml │ │ ├── bad_inheritance.ml │ │ ├── bad_let_declaration.ml │ │ ├── bad_method_call.ml │ │ ├── bad_operators.ml │ │ ├── bad_overloading.ml │ │ ├── bad_variable_shadowing.ml │ │ ├── dune │ │ ├── good_block_exprs.ml │ │ ├── good_class_defn.ml │ │ ├── good_comments.ml │ │ ├── good_conditional_expr.ml │ │ ├── good_constructor.ml │ │ ├── good_consume_variable.ml │ │ ├── good_function_application.ml │ │ ├── good_function_defn.ml │ │ ├── good_generics.ml │ │ ├── good_immutable_refs_in_multiple_threads.ml │ │ ├── good_inheritance.ml │ │ ├── good_let_declaration.ml │ │ ├── good_operators.ml │ │ ├── good_overloading.ml │ │ ├── good_shadowing_variables.ml │ │ ├── good_simple_capability_classes.ml │ │ ├── print_typed_ast.ml │ │ └── print_typed_ast.mli └── integration │ ├── example-generics-print-data-race-ast.out.expected │ ├── example-generics-print-desugared-ast.out.expected │ ├── example-generics-print-frontend-ir.out.expected │ ├── example-generics-print-parsed-ast.out.expected │ ├── example-generics-print-typed-ast.out.expected │ ├── example-generics.bolt │ ├── independent_threads-print-data-race-ast.out.expected │ ├── independent_threads-print-desugared-ast.out.expected │ ├── independent_threads-print-frontend-ir.out.expected │ ├── independent_threads-print-parsed-ast.out.expected │ ├── independent_threads-print-typed-ast.out.expected │ ├── independent_threads.bolt │ └── invalid_programs │ ├── README.md │ ├── README.out.expected │ ├── invalid_programs.out.expected │ ├── not_a_program │ ├── not_a_program.out.expected │ ├── wrong_extension.out.expected │ └── wrong_extension.txt └── llvm-backend ├── BUILD ├── gtest.BUILD └── llvm_ir_codegen ├── BUILD ├── ir_codegen_test_visitor.cc ├── ir_codegen_test_visitor.h └── test_ir_codegen.cc /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/.clang-format -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/.ocamlformat -------------------------------------------------------------------------------- /BUILD: -------------------------------------------------------------------------------- 1 | package(default_visibility = ["//:__pkg__"]) 2 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/README.md -------------------------------------------------------------------------------- /REPO_OVERVIEW.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/REPO_OVERVIEW.md -------------------------------------------------------------------------------- /WORKSPACE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/WORKSPACE -------------------------------------------------------------------------------- /benchmarks/AsyncFibonacci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/benchmarks/AsyncFibonacci.java -------------------------------------------------------------------------------- /benchmarks/Fibonacci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/benchmarks/Fibonacci.java -------------------------------------------------------------------------------- /benchmarks/asyncFib.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/benchmarks/asyncFib.bolt -------------------------------------------------------------------------------- /benchmarks/fib.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/benchmarks/fib.bolt -------------------------------------------------------------------------------- /benchmarks/fib.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/benchmarks/fib.s -------------------------------------------------------------------------------- /benchmarks/fibByteCode.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/benchmarks/fibByteCode.txt -------------------------------------------------------------------------------- /bolt.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/bolt.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/dune-project -------------------------------------------------------------------------------- /examples/binarySearchTree.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/binarySearchTree.bolt -------------------------------------------------------------------------------- /examples/binarySearchTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/binarySearchTree.java -------------------------------------------------------------------------------- /examples/factorial-optimised.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/factorial-optimised.ll -------------------------------------------------------------------------------- /examples/factorial-unoptimised.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/factorial-unoptimised.ll -------------------------------------------------------------------------------- /examples/factorial.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/factorial.bolt -------------------------------------------------------------------------------- /examples/factorial.ir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/factorial.ir -------------------------------------------------------------------------------- /examples/foo.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/foo.bolt -------------------------------------------------------------------------------- /examples/generics.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/generics.bolt -------------------------------------------------------------------------------- /examples/inheritance.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/inheritance.bolt -------------------------------------------------------------------------------- /examples/linkedlist.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/linkedlist.bolt -------------------------------------------------------------------------------- /examples/linkedlist.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/linkedlist.java -------------------------------------------------------------------------------- /examples/overloading.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/overloading.bolt -------------------------------------------------------------------------------- /examples/tree.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/tree.bolt -------------------------------------------------------------------------------- /examples/vtable/foo.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/vtable/foo.bolt -------------------------------------------------------------------------------- /examples/vtable/foo.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/examples/vtable/foo.ll -------------------------------------------------------------------------------- /hooks/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/hooks/pre-commit -------------------------------------------------------------------------------- /llvm.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/llvm.bzl -------------------------------------------------------------------------------- /scripts/benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/scripts/benchmarks.sh -------------------------------------------------------------------------------- /scripts/ci_install_deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/scripts/ci_install_deps.sh -------------------------------------------------------------------------------- /scripts/compile_program.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/scripts/compile_program.sh -------------------------------------------------------------------------------- /scripts/run_e2e_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/scripts/run_e2e_tests.sh -------------------------------------------------------------------------------- /scripts/run_frontend_integration_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/scripts/run_frontend_integration_tests.sh -------------------------------------------------------------------------------- /scripts/run_program.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/scripts/run_program.sh -------------------------------------------------------------------------------- /src/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/BUILD -------------------------------------------------------------------------------- /src/frontend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/README.md -------------------------------------------------------------------------------- /src/frontend/ast/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ast/README.md -------------------------------------------------------------------------------- /src/frontend/ast/ast_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ast/ast_types.ml -------------------------------------------------------------------------------- /src/frontend/ast/ast_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ast/ast_types.mli -------------------------------------------------------------------------------- /src/frontend/ast/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ast/dune -------------------------------------------------------------------------------- /src/frontend/ast/pprint_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ast/pprint_ast.ml -------------------------------------------------------------------------------- /src/frontend/ast/pprint_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ast/pprint_ast.mli -------------------------------------------------------------------------------- /src/frontend/compile_program_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/compile_program_ir.ml -------------------------------------------------------------------------------- /src/frontend/compile_program_ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/compile_program_ir.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/aggregate_capability_accesses.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/aggregate_capability_accesses.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/aggregate_capability_accesses.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/aggregate_capability_accesses.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/data_race_checker_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/data_race_checker_env.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/data_race_checker_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/data_race_checker_env.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/dune -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_alias_liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_alias_liveness.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_alias_liveness.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_alias_liveness.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_async_capabilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_async_capabilities.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_async_capabilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_async_capabilities.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_borrowing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_borrowing.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_borrowing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_borrowing.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_capability_annotations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_capability_annotations.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_capability_annotations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_capability_annotations.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_capability_constraints.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_capability_constraints.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_capability_constraints.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_capability_constraints.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_concurrent_capability_access.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_concurrent_capability_access.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_concurrent_capability_access.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_concurrent_capability_access.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_consume_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_consume_expr.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_consume_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_consume_expr.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_classes.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_classes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_classes.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_expr.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_expr.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_functions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_functions.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_functions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_functions.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_program.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_data_races_program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_data_races_program.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_linear_capabilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_linear_capabilities.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_linear_capabilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_linear_capabilities.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_read_capabilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_read_capabilities.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_read_capabilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_read_capabilities.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_subord_capabilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_subord_capabilities.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_subord_capabilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_subord_capabilities.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_subtyping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_subtyping.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/type_subtyping.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/type_subtyping.mli -------------------------------------------------------------------------------- /src/frontend/data_race_checker/update_identifier_capabilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/update_identifier_capabilities.ml -------------------------------------------------------------------------------- /src/frontend/data_race_checker/update_identifier_capabilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/data_race_checker/update_identifier_capabilities.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/count_generics_instantiations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/count_generics_instantiations.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/count_generics_instantiations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/count_generics_instantiations.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_class_and_function_defns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_class_and_function_defns.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_class_and_function_defns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_class_and_function_defns.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_env.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_env.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_expr.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_expr.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_generics.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_generics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_generics.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_overloading.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_overloading.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_overloading.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_overloading.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_program.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugar_program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugar_program.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/desugared_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugared_ast.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/desugared_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/desugared_ast.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/dune -------------------------------------------------------------------------------- /src/frontend/desugaring/free_obj_vars_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/free_obj_vars_expr.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/free_obj_vars_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/free_obj_vars_expr.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/name_mangle_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/name_mangle_generics.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/name_mangle_generics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/name_mangle_generics.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/pprint_dast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/pprint_dast.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/pprint_dast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/pprint_dast.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/remove_variable_shadowing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/remove_variable_shadowing.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/remove_variable_shadowing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/remove_variable_shadowing.mli -------------------------------------------------------------------------------- /src/frontend/desugaring/replace_generic_with_instantiated_class_defns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/replace_generic_with_instantiated_class_defns.ml -------------------------------------------------------------------------------- /src/frontend/desugaring/replace_generic_with_instantiated_class_defns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/desugaring/replace_generic_with_instantiated_class_defns.mli -------------------------------------------------------------------------------- /src/frontend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/dune -------------------------------------------------------------------------------- /src/frontend/ir_gen/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/dune -------------------------------------------------------------------------------- /src/frontend/ir_gen/frontend_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/frontend_ir.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/frontend_ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/frontend_ir.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_class_and_function_defns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_class_and_function_defns.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_class_and_function_defns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_class_and_function_defns.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_env.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_env.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_expr.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_expr.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_operators.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_operators.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_operators.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_program.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_program.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_protobuf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_protobuf.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/ir_gen_protobuf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/ir_gen_protobuf.mli -------------------------------------------------------------------------------- /src/frontend/ir_gen/pprint_fir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/pprint_fir.ml -------------------------------------------------------------------------------- /src/frontend/ir_gen/pprint_fir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/ir_gen/pprint_fir.mli -------------------------------------------------------------------------------- /src/frontend/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/main.ml -------------------------------------------------------------------------------- /src/frontend/main.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/main.mli -------------------------------------------------------------------------------- /src/frontend/parsing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/README.md -------------------------------------------------------------------------------- /src/frontend/parsing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/dune -------------------------------------------------------------------------------- /src/frontend/parsing/lex_and_parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/lex_and_parse.ml -------------------------------------------------------------------------------- /src/frontend/parsing/lex_and_parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/lex_and_parse.mli -------------------------------------------------------------------------------- /src/frontend/parsing/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/lexer.mll -------------------------------------------------------------------------------- /src/frontend/parsing/parsed_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/parsed_ast.ml -------------------------------------------------------------------------------- /src/frontend/parsing/parsed_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/parsed_ast.mli -------------------------------------------------------------------------------- /src/frontend/parsing/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/parser.mly -------------------------------------------------------------------------------- /src/frontend/parsing/pprint_parser_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/pprint_parser_tokens.ml -------------------------------------------------------------------------------- /src/frontend/parsing/pprint_parser_tokens.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/pprint_parser_tokens.mli -------------------------------------------------------------------------------- /src/frontend/parsing/pprint_past.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/pprint_past.ml -------------------------------------------------------------------------------- /src/frontend/parsing/pprint_past.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/parsing/pprint_past.mli -------------------------------------------------------------------------------- /src/frontend/typing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/README.md -------------------------------------------------------------------------------- /src/frontend/typing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/dune -------------------------------------------------------------------------------- /src/frontend/typing/pprint_tast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/pprint_tast.ml -------------------------------------------------------------------------------- /src/frontend/typing/pprint_tast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/pprint_tast.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_classes.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_classes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_classes.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_env.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_env.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_expr.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_expr.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_functions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_functions.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_functions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_functions.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_generics.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_generics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_generics.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_inheritance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_inheritance.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_inheritance.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_inheritance.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_overloading.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_overloading.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_overloading.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_overloading.mli -------------------------------------------------------------------------------- /src/frontend/typing/type_program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_program.ml -------------------------------------------------------------------------------- /src/frontend/typing/type_program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/type_program.mli -------------------------------------------------------------------------------- /src/frontend/typing/typed_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/typed_ast.ml -------------------------------------------------------------------------------- /src/frontend/typing/typed_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend/typing/typed_ast.mli -------------------------------------------------------------------------------- /src/frontend_ir.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/frontend_ir.proto -------------------------------------------------------------------------------- /src/llvm-backend/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/BUILD -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/BUILD -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/class_ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/class_ir.cc -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/class_ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/class_ir.h -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/deserialise_protobuf.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/deserialise_protobuf.cc -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/deserialise_protobuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/deserialise_protobuf.h -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/expr_ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/expr_ir.cc -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/expr_ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/expr_ir.h -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/function_ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/function_ir.cc -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/function_ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/function_ir.h -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/ir_visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/ir_visitor.h -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/program_ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/program_ir.cc -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/program_ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/program_ir.h -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/type_ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/type_ir.cc -------------------------------------------------------------------------------- /src/llvm-backend/deserialise_ir/type_ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/deserialise_ir/type_ir.h -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/BUILD -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/class_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/class_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/expr_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/expr_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/extern_functions_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/extern_functions_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/function_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/function_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/ir_codegen_visitor.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/ir_codegen_visitor.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/ir_codegen_visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/ir_codegen_visitor.h -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/lock_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/lock_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/pthread_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/pthread_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/llvm_ir_codegen/type_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/llvm_ir_codegen/type_codegen.cc -------------------------------------------------------------------------------- /src/llvm-backend/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/src/llvm-backend/main.cc -------------------------------------------------------------------------------- /tests/e2e/for_loop.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/for_loop.bolt -------------------------------------------------------------------------------- /tests/e2e/for_loop.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/for_loop.ll.expected -------------------------------------------------------------------------------- /tests/e2e/for_loop.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/for_loop.out.expected -------------------------------------------------------------------------------- /tests/e2e/heap_objects.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/heap_objects.bolt -------------------------------------------------------------------------------- /tests/e2e/heap_objects.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/heap_objects.ll.expected -------------------------------------------------------------------------------- /tests/e2e/heap_objects.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/heap_objects.out.expected -------------------------------------------------------------------------------- /tests/e2e/independent_threads.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/independent_threads.bolt -------------------------------------------------------------------------------- /tests/e2e/independent_threads.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/independent_threads.ll.expected -------------------------------------------------------------------------------- /tests/e2e/independent_threads.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/independent_threads.out.expected -------------------------------------------------------------------------------- /tests/e2e/is_pthread_blocking.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/is_pthread_blocking.bolt -------------------------------------------------------------------------------- /tests/e2e/is_pthread_blocking.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/is_pthread_blocking.ll.expected -------------------------------------------------------------------------------- /tests/e2e/is_pthread_blocking.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/is_pthread_blocking.out.expected -------------------------------------------------------------------------------- /tests/e2e/recursive_method.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/recursive_method.bolt -------------------------------------------------------------------------------- /tests/e2e/recursive_method.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/recursive_method.ll.expected -------------------------------------------------------------------------------- /tests/e2e/recursive_method.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/recursive_method.out.expected -------------------------------------------------------------------------------- /tests/e2e/subtype_passed_to_fn.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/subtype_passed_to_fn.bolt -------------------------------------------------------------------------------- /tests/e2e/subtype_passed_to_fn.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/subtype_passed_to_fn.ll.expected -------------------------------------------------------------------------------- /tests/e2e/subtype_passed_to_fn.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/subtype_passed_to_fn.out.expected -------------------------------------------------------------------------------- /tests/e2e/vtable.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/vtable.bolt -------------------------------------------------------------------------------- /tests/e2e/vtable.ll.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/vtable.ll.expected -------------------------------------------------------------------------------- /tests/e2e/vtable.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/e2e/vtable.out.expected -------------------------------------------------------------------------------- /tests/frontend/alcotest/desugaring/test_remove_variable_shadowing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/alcotest/desugaring/test_remove_variable_shadowing.ml -------------------------------------------------------------------------------- /tests/frontend/alcotest/parsing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/alcotest/parsing/dune -------------------------------------------------------------------------------- /tests/frontend/alcotest/parsing/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/alcotest/parsing/test_lexer.ml -------------------------------------------------------------------------------- /tests/frontend/alcotest/typing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/alcotest/typing/dune -------------------------------------------------------------------------------- /tests/frontend/alcotest/typing/test_type_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/alcotest/typing/test_type_env.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_assignment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_assignment.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_concurrent_regions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_concurrent_regions.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_consume_variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_consume_variable.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_finish_async_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_finish_async_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_function_borrowing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_function_borrowing.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_function_call.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_function_call.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_method_call.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_method_call.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_read_region_access.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_read_region_access.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_region_annotations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_region_annotations.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/bad_subord_access.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/bad_subord_access.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/dune -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_block_exprs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_block_exprs.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_capability_annotations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_capability_annotations.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_class_defn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_class_defn.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_comments.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_comments.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_conditional_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_conditional_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_constructor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_constructor.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_consume_variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_consume_variable.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_function_application.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_function_application.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_immutable_refs_in_multiple_threads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_immutable_refs_in_multiple_threads.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_inheritance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_inheritance.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_operators.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_shadowing_variables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_shadowing_variables.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/good_simple_capability_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/good_simple_capability_classes.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/print_data_race_checker_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/print_data_race_checker_ast.ml -------------------------------------------------------------------------------- /tests/frontend/expect/data_race_checker/print_data_race_checker_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/data_race_checker/print_data_race_checker_ast.mli -------------------------------------------------------------------------------- /tests/frontend/expect/desugaring/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/desugaring/dune -------------------------------------------------------------------------------- /tests/frontend/expect/desugaring/good_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/desugaring/good_generics.ml -------------------------------------------------------------------------------- /tests/frontend/expect/desugaring/good_overloading.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/desugaring/good_overloading.ml -------------------------------------------------------------------------------- /tests/frontend/expect/desugaring/good_variable_shadowing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/desugaring/good_variable_shadowing.ml -------------------------------------------------------------------------------- /tests/frontend/expect/desugaring/print_desugared_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/desugaring/print_desugared_ast.ml -------------------------------------------------------------------------------- /tests/frontend/expect/desugaring/print_desugared_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/desugaring/print_desugared_ast.mli -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/dune -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_block_exprs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_block_exprs.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_class_defn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_class_defn.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_comments.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_comments.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_conditional_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_conditional_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_constructor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_constructor.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_consume_variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_consume_variable.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_function_application.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_function_application.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_immutable_refs_in_multiple_threads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_immutable_refs_in_multiple_threads.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_inheritance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_inheritance.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_operators.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_region_annotations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_region_annotations.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_shadowing_variables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_shadowing_variables.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/good_simple_capability_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/good_simple_capability_classes.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/print_frontend_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/print_frontend_ir.ml -------------------------------------------------------------------------------- /tests/frontend/expect/ir_gen/print_frontend_ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/ir_gen/print_frontend_ir.mli -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/bad_consume_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/bad_consume_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/bad_expressions_not_terminated.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/bad_expressions_not_terminated.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/bad_function_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/bad_function_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/dune -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_block_exprs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_block_exprs.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_comments.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_comments.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_conditional_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_conditional_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_constructor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_constructor.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_consume_variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_consume_variable.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_function_application.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_function_application.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_immutable_refs_in_multiple_threads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_immutable_refs_in_multiple_threads.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_operators.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_shadowing_variables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_shadowing_variables.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/good_simple_capability_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/good_simple_capability_classes.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/print_parsed_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/print_parsed_ast.ml -------------------------------------------------------------------------------- /tests/frontend/expect/parsing/print_parsed_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/parsing/print_parsed_ast.mli -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_access.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_access.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_assignment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_assignment.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_class_defn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_class_defn.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_conditional_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_conditional_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_constructor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_constructor.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_consume_variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_consume_variable.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_function_application.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_function_application.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_function_defn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_function_defn.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_generics.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_inheritance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_inheritance.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_let_declaration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_let_declaration.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_method_call.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_method_call.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_operators.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_overloading.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_overloading.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/bad_variable_shadowing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/bad_variable_shadowing.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/dune -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_block_exprs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_block_exprs.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_class_defn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_class_defn.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_comments.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_comments.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_conditional_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_conditional_expr.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_constructor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_constructor.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_consume_variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_consume_variable.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_function_application.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_function_application.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_function_defn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_function_defn.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_generics.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_immutable_refs_in_multiple_threads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_immutable_refs_in_multiple_threads.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_inheritance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_inheritance.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_let_declaration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_let_declaration.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_operators.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_overloading.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_overloading.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_shadowing_variables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_shadowing_variables.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/good_simple_capability_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/good_simple_capability_classes.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/print_typed_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/print_typed_ast.ml -------------------------------------------------------------------------------- /tests/frontend/expect/typing/print_typed_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/expect/typing/print_typed_ast.mli -------------------------------------------------------------------------------- /tests/frontend/integration/example-generics-print-data-race-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/example-generics-print-data-race-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/example-generics-print-desugared-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/example-generics-print-desugared-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/example-generics-print-frontend-ir.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/example-generics-print-frontend-ir.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/example-generics-print-parsed-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/example-generics-print-parsed-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/example-generics-print-typed-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/example-generics-print-typed-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/example-generics.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/example-generics.bolt -------------------------------------------------------------------------------- /tests/frontend/integration/independent_threads-print-data-race-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/independent_threads-print-data-race-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/independent_threads-print-desugared-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/independent_threads-print-desugared-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/independent_threads-print-frontend-ir.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/independent_threads-print-frontend-ir.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/independent_threads-print-parsed-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/independent_threads-print-parsed-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/independent_threads-print-typed-ast.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/independent_threads-print-typed-ast.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/independent_threads.bolt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/independent_threads.bolt -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/invalid_programs/README.md -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/README.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/invalid_programs/README.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/invalid_programs.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/invalid_programs/invalid_programs.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/not_a_program: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/not_a_program.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/invalid_programs/not_a_program.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/wrong_extension.out.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/invalid_programs/wrong_extension.out.expected -------------------------------------------------------------------------------- /tests/frontend/integration/invalid_programs/wrong_extension.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/frontend/integration/invalid_programs/wrong_extension.txt -------------------------------------------------------------------------------- /tests/llvm-backend/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/llvm-backend/BUILD -------------------------------------------------------------------------------- /tests/llvm-backend/gtest.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/llvm-backend/gtest.BUILD -------------------------------------------------------------------------------- /tests/llvm-backend/llvm_ir_codegen/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/llvm-backend/llvm_ir_codegen/BUILD -------------------------------------------------------------------------------- /tests/llvm-backend/llvm_ir_codegen/ir_codegen_test_visitor.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/llvm-backend/llvm_ir_codegen/ir_codegen_test_visitor.cc -------------------------------------------------------------------------------- /tests/llvm-backend/llvm_ir_codegen/ir_codegen_test_visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/llvm-backend/llvm_ir_codegen/ir_codegen_test_visitor.h -------------------------------------------------------------------------------- /tests/llvm-backend/llvm_ir_codegen/test_ir_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mukul-rathi/bolt/HEAD/tests/llvm-backend/llvm_ir_codegen/test_ir_codegen.cc --------------------------------------------------------------------------------