Changes | Path |
+3 -0 |
metaprl/filter/base/filter_grammar.ml |
+3 -1 |
metaprl/filter/filter/term_grammar.ml |
+2 -2 |
metaprl/refiner/reflib/term_ty_infer.ml |
+20 -8 |
mpcompiler/mmc/arch/x86/mmc_x86_asm.mli |
+54 -7 |
mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml |
+8 -8 |
mpcompiler/mmc/arch/x86/mmc_x86_frame.ml |
+28 -14 |
mpcompiler/mmc/core/mmc_core_ast.ml |
+166 -86 |
mpcompiler/mmc/core/mmc_core_ast.mli |
+48 -41 |
mpcompiler/mmc/core/mmc_core_closure.ml |
+25 -15 |
mpcompiler/mmc/core/mmc_core_cps.ml |
+9 -9 |
mpcompiler/mmc/core/mmc_core_front.ml |
+4 -0 |
mpcompiler/mmc/core/mmc_core_grammar.ml |
+4 -0 |
mpcompiler/mmc/core/mmc_core_grammar.mli |
+23 -22 |
mpcompiler/mmc/core/mmc_core_inline.ml |
+1 -1 |
mpcompiler/mmc/core/mmc_core_inline.mli |
+7 -5 |
mpcompiler/mmc/core/mmc_core_optimize.ml |
+12 -3 |
mpcompiler/mmc/core/mmc_core_reserve.ml |
+15 -9 |
mpcompiler/mmc/core/mmc_core_tast.ml |
+77 -48 |
mpcompiler/mmc/core/mmc_core_tast.mli |
+12 -11 |
mpcompiler/mmc/core/mmc_core_type_check.ml |
+12 -7 |
mpcompiler/mmc/core/mmc_core_type_erase.ml |
+7 -11 |
mpcompiler/mmc/core/mmc_core_type_infer.ml |
+5 -5 |
mpcompiler/mmc/core/mmc_core_value.ml |
+2 -0 |
mpcompiler/mmc/extensions/array/mmc_ext_array.ml |
+25 -0 |
mpcompiler/mmc/extensions/array/mmc_ext_array.mli |
+6 -8 |
mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml |
+2 -2 |
mpcompiler/mmc/extensions/int/mmc_ext_int.ml |
+2 -2 |
mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml |
+1 -0 |
mpcompiler/mmc/lir/LIR-notes.txt |
+0 -1 |
mpcompiler/mmc/main/mmc_theory.mli |
+2 -0 |
mpcompiler/mmc/opt/direct/core/mmc_opt_direct.ml |
+19 -23 |
mpcompiler/mmc/test/mmc_array_test.ml |
+4 -8 |
mpcompiler/mmc/test/mmc_spill_test.ml |