├── .clang-format ├── .github ├── dependabot.yml └── workflows │ ├── AV_Scan_McAfee_Checker.yml │ ├── pull-request.yml │ └── scorecard.yml ├── .gitignore ├── .gitmodules ├── .ocamlformat ├── CHANGES.md ├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── README.md ├── Security.md ├── asli.opam ├── bin ├── asl2c.py ├── asli.ml ├── dune └── testlexer.ml ├── demo ├── .gitignore ├── Makefile ├── assembly.s ├── config.json ├── demo.asl ├── simulator.c ├── test.S └── test.prj ├── dune-project ├── editors ├── asl.vim └── asl.xml ├── libASL ├── asl_ast.ml ├── asl_fmt.ml ├── asl_fmt.mli ├── asl_parser.messages ├── asl_parser.mly ├── asl_utils.ml ├── asl_utils.mli ├── asl_visitor.ml ├── asl_visitor.mli ├── backend_c.ml ├── backend_c.mli ├── backend_mlir.ml ├── backend_mlir.mli ├── bin_file.ml ├── bin_file.mli ├── builtin_idents.ml ├── builtin_idents.mli ├── check_monomorphization.ml ├── commands.ml ├── commands.mli ├── configuration.ml ├── configuration.mli ├── cpu.ml ├── cpu.mli ├── dune ├── elf.ml ├── elf.mli ├── error.ml ├── error.mli ├── eval.ml ├── eval.mli ├── flags.ml ├── flags.mli ├── format_utils.ml ├── format_utils.mli ├── global_checks.ml ├── global_checks.mli ├── ident.ml ├── ident.mli ├── identset.ml ├── identset.mli ├── lattice.ml ├── lexer.mll ├── lexersupport.ml ├── loadASL.ml ├── loadASL.mli ├── loc.ml ├── loc.mli ├── metadata.ml ├── metadata.mli ├── primops.ml ├── runtime.ml ├── runtime.mli ├── runtime_ac.ml ├── runtime_ac.mli ├── runtime_c23.ml ├── runtime_c23.mli ├── runtime_fallback.ml ├── runtime_fallback.mli ├── runtime_sc.ml ├── runtime_sc.mli ├── scope.ml ├── scope.mli ├── scopeStack.ml ├── scopeStack.mli ├── tcheck.ml ├── utils.ml ├── utils.mli ├── value.ml ├── value.mli ├── visitor.ml ├── xform_bitslices.ml ├── xform_bitslices.mli ├── xform_bittuples.ml ├── xform_bittuples.mli ├── xform_bounded.ml ├── xform_bounded.mli ├── xform_case.ml ├── xform_case.mli ├── xform_constprop.ml ├── xform_constprop.mli ├── xform_desugar.ml ├── xform_desugar.mli ├── xform_getset.ml ├── xform_getset.mli ├── xform_hoist_lets.ml ├── xform_hoist_lets.mli ├── xform_int_bitslices.ml ├── xform_int_bitslices.mli ├── xform_lower.ml ├── xform_lower.mli ├── xform_mono.ml ├── xform_mono.mli ├── xform_named_type.ml ├── xform_named_type.mli ├── xform_simplify_expr.ml ├── xform_simplify_expr.mli ├── xform_tuples.ml ├── xform_tuples.mli ├── xform_valid.ml ├── xform_valid.mli ├── xform_wrap.ml └── xform_wrap.mli ├── mk_install.py ├── prelude.asl ├── requirements.txt ├── runtime ├── .gitignore ├── Makefile ├── dune ├── include │ └── asl │ │ ├── bits1024.h │ │ ├── bits128.h │ │ ├── bits256.h │ │ ├── bits512.h │ │ ├── bits64.h │ │ ├── bits_template.h │ │ ├── error.h │ │ ├── integer.h │ │ ├── print.h │ │ ├── print_template.h │ │ ├── ram.h │ │ ├── runtime.h │ │ ├── runtime.hpp │ │ ├── set_slice_template.h │ │ └── track_valid.h ├── lib │ ├── bits1024.c │ ├── bits128.c │ ├── bits256.c │ ├── bits512.c │ ├── bits64.c │ ├── bits_template_c.h │ ├── end_of_execution.c │ ├── error.c │ ├── ram.c │ ├── set_slice_template_c.h │ └── sign_extend_bits_template_c.h └── test │ ├── .gitignore │ ├── Makefile │ ├── bitint_maxwidth.c │ ├── bits_test.cc │ ├── bits_test_template.h │ ├── integer_test.cc │ ├── ram_test.cc │ └── sign_extend_bits_test_template.h └── tests ├── .gitignore ├── asl_test.ml ├── asl_utils_test.ml ├── backend_c_c23_test.ml ├── backend_c_fallback_test.ml ├── backends ├── asl_end_execution_00.asl ├── asl_end_execution_01.asl ├── bits_add_00.asl ├── bits_and_00.asl ├── bits_append_00.asl ├── bits_asr_00.asl ├── bits_cvt_sint_00.asl ├── bits_cvt_ssintN_00.asl ├── bits_cvt_uint_00.asl ├── bits_cvt_usintN_00.asl ├── bits_eq_00.asl ├── bits_get_slice_00.asl ├── bits_get_slice_01.asl ├── bits_get_slice_02.asl ├── bits_lsl_00.asl ├── bits_lsr_00.asl ├── bits_mk_mask_00.asl ├── bits_mul_00.asl ├── bits_ne_00.asl ├── bits_not_00.asl ├── bits_ones_00.asl ├── bits_or_00.asl ├── bits_print_hex_00.asl ├── bits_print_hex_01.asl ├── bits_replicate_00.asl ├── bits_set_slice_00.asl ├── bits_set_slice_01.asl ├── bits_set_slice_02.asl ├── bits_set_slice_03.asl ├── bits_sext_00.asl ├── bits_sext_01.asl ├── bits_sub_00.asl ├── bits_sub_01.asl ├── bits_xor_00.asl ├── bits_zeros_00.asl ├── bits_zext_00.asl ├── bool_and_00.asl ├── bool_eq_00.asl ├── bool_ne_00.asl ├── bool_not_00.asl ├── bool_or_00.asl ├── exceptions_00.asl ├── expr_IN_00.asl ├── expr_as_00.asl ├── expr_assert_00.asl ├── expr_assert_01.asl ├── expr_bitslice_00.asl ├── expr_if_00.asl ├── expr_if_01.asl ├── expr_intslice_00.asl ├── expr_let_00.asl ├── expr_var_00.asl ├── expr_with_00.asl ├── expr_with_01.asl ├── expr_with_02.asl ├── expr_with_03.asl ├── ffi_config_00.asl ├── ffi_config_00.c ├── ffi_export_00.asl ├── ffi_export_00.c ├── ffi_export_01.asl ├── ffi_export_01.c ├── ffi_export_01.json ├── ffi_import_00.asl ├── ffi_import_00.c ├── ffi_import_01.asl ├── ffi_import_01.c ├── ffi_import_01.json ├── int_add_00.asl ├── int_align_00.asl ├── int_cvt_bits_00.asl ├── int_cvt_bits_01.asl ├── int_eq_00.asl ├── int_exact_div_00.asl ├── int_fdiv_00.asl ├── int_frem_00.asl ├── int_ge_00.asl ├── int_gt_00.asl ├── int_is_pow2_00.asl ├── int_le_00.asl ├── int_lt_00.asl ├── int_mod_pow2_00.asl ├── int_mul_00.asl ├── int_ne_00.asl ├── int_neg_00.asl ├── int_pow2_00.asl ├── int_print_dec.asl ├── int_print_hex.asl ├── int_set_slice_00.asl ├── int_shl_00.asl ├── int_shr_00.asl ├── int_sub_00.asl ├── int_zdiv_00.asl ├── int_zrem_00.asl ├── print_char_00.asl ├── print_str_00.asl ├── sintN_add_00.asl ├── sintN_align_00.asl ├── sintN_array_00.asl ├── sintN_array_01.asl ├── sintN_array_02.asl ├── sintN_cvt_bits_00.asl ├── sintN_cvt_from_int_00.asl ├── sintN_cvt_to_int_00.asl ├── sintN_eq_00.asl ├── sintN_exact_div_00.asl ├── sintN_fdiv_00.asl ├── sintN_frem_00.asl ├── sintN_ge_00.asl ├── sintN_get_slice_00.asl ├── sintN_get_slice_01.asl ├── sintN_gt_00.asl ├── sintN_is_pow2_00.asl ├── sintN_le_00.asl ├── sintN_lt_00.asl ├── sintN_mod_pow2_00.asl ├── sintN_mul_00.asl ├── sintN_ne_00.asl ├── sintN_neg_00.asl ├── sintN_pow2_00.asl ├── sintN_print_dec.asl ├── sintN_print_hex.asl ├── sintN_resize_00.asl ├── sintN_set_slice_00.asl ├── sintN_shl_00.asl ├── sintN_shr_00.asl ├── sintN_sub_00.asl ├── sintN_zdiv_00.asl ├── sintN_zrem_00.asl ├── stmt_assert_00.asl ├── stmt_assert_01.asl ├── stmt_assign_00.asl ├── stmt_block_00.asl ├── stmt_case_00.asl ├── stmt_case_01.asl ├── stmt_case_02.asl ├── stmt_case_03.asl ├── stmt_case_04.asl ├── stmt_case_05.asl ├── stmt_for_00.asl ├── stmt_for_01.asl ├── stmt_for_02.asl ├── stmt_if_00.asl ├── stmt_if_01.asl ├── stmt_if_02.asl ├── stmt_let_00.asl ├── stmt_repeat_00.asl ├── stmt_return_00.asl ├── stmt_return_01.asl ├── stmt_return_02.asl ├── stmt_try_00.asl ├── stmt_try_01.asl ├── stmt_try_02.asl ├── stmt_var_00.asl ├── stmt_var_01.asl ├── stmt_while_00.asl ├── type_array_00.asl ├── type_array_01.asl ├── type_array_02.asl ├── type_array_03.asl ├── type_array_04.asl ├── type_array_05.asl ├── type_array_06.asl ├── type_bool_00.asl ├── type_enum_00.asl ├── type_ram_00.asl └── type_record_00.asl ├── dune ├── lit.cfg ├── lit ├── check_monomorphization │ ├── asli.prj │ ├── config.json │ └── test_00.asl ├── eval │ ├── slice_00.asl │ └── slice_01.asl ├── globalchecks │ ├── eval_order_00.asl │ ├── eval_order_01.asl │ ├── eval_order_02.asl │ ├── eval_order_03.asl │ ├── eval_order_04.asl │ ├── eval_order_05.asl │ ├── eval_order_06.asl │ ├── markers_00.asl │ ├── markers_01.asl │ ├── noreturn_00.asl │ ├── rethrow_00.asl │ ├── rethrow_01.asl │ ├── rethrow_02.asl │ ├── rethrow_03.asl │ └── rethrow_04.asl ├── monomorphize │ └── recurse_00.asl ├── parser │ ├── directive_line.asl │ └── fenced_code_block.asl ├── print │ └── print_00.asl ├── runtime_checks │ ├── array_read_00.asl │ ├── array_write_00.asl │ ├── bits_read_00.asl │ ├── bits_write_00.asl │ ├── conversion_00.asl │ ├── expr_with_00.asl │ └── int_divide_00.asl ├── tcheck │ ├── array_param_00.asl │ ├── conflicting_00.asl │ ├── conflicting_01.asl │ ├── funcall00.asl │ ├── funcall01.asl │ ├── funcall02.asl │ ├── funcall03.asl │ ├── funcall04.asl │ ├── funcall05.asl │ ├── funcall06.asl │ ├── funcall07.asl │ ├── funcall08.asl │ ├── funcall09.asl │ ├── function_arg_00.asl │ ├── immutable_00.asl │ ├── immutable_01.asl │ ├── immutable_02.asl │ ├── immutable_03.asl │ ├── immutable_04.asl │ ├── immutable_05.asl │ ├── immutable_06.asl │ ├── immutable_07.asl │ ├── immutable_08.asl │ ├── implicit_params_00.asl │ ├── implicit_params_01.asl │ ├── missing_00.asl │ ├── patterns_00.asl │ ├── record_init_00.asl │ ├── record_init_01.asl │ ├── record_init_02.asl │ ├── records_00.asl │ ├── records_01.asl │ ├── records_02.asl │ ├── return_type_01.asl │ ├── setter_00.asl │ ├── setter_01.asl │ ├── shadowing_00.asl │ ├── shadowing_01.asl │ ├── shadowing_02.asl │ ├── shadowing_03.asl │ ├── subtypes_00.asl │ ├── type_constants_00.asl │ ├── type_constraints_01.asl │ ├── type_constraints_02.asl │ ├── type_width_00.asl │ └── type_width_01.asl ├── xform_bounded │ ├── decl_fun_00.asl │ ├── expr_add_00.asl │ ├── expr_eq_00.asl │ ├── expr_ge_00.asl │ ├── expr_gt_00.asl │ ├── expr_if_00.asl │ ├── expr_if_01.asl │ ├── expr_le_00.asl │ ├── expr_lt_00.asl │ ├── expr_mul_00.asl │ ├── expr_ne_00.asl │ ├── expr_neg_00.asl │ ├── expr_sint_00.asl │ ├── expr_sub_00.asl │ ├── expr_uint_00.asl │ ├── stmt_for_00.asl │ └── stmt_let_00.asl └── xform_hoist_lets │ ├── test_00.asl │ ├── test_01.asl │ ├── test_02.asl │ └── test_03.asl ├── loadasl_test.ml ├── scripts └── not ├── test_cases_backend.ml ├── test_utils.ml ├── test_utils_backend.ml ├── xform_bitslices_test.ml ├── xform_bittuples_test.ml ├── xform_case_test.ml ├── xform_constprop_test.ml ├── xform_getset_test.ml ├── xform_int_bitslices_test.ml ├── xform_lower_test.ml ├── xform_mono_test.ml ├── xform_named_type_test.ml ├── xform_simplify_expr_test.ml ├── xform_tuples_test.ml ├── xform_valid_test.ml └── xform_wrap_test.ml /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.clang-format -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/AV_Scan_McAfee_Checker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.github/workflows/AV_Scan_McAfee_Checker.yml -------------------------------------------------------------------------------- /.github/workflows/pull-request.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.github/workflows/pull-request.yml -------------------------------------------------------------------------------- /.github/workflows/scorecard.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.github/workflows/scorecard.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.gitmodules -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/README.md -------------------------------------------------------------------------------- /Security.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/Security.md -------------------------------------------------------------------------------- /asli.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/asli.opam -------------------------------------------------------------------------------- /bin/asl2c.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/bin/asl2c.py -------------------------------------------------------------------------------- /bin/asli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/bin/asli.ml -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/testlexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/bin/testlexer.ml -------------------------------------------------------------------------------- /demo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/.gitignore -------------------------------------------------------------------------------- /demo/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/Makefile -------------------------------------------------------------------------------- /demo/assembly.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/assembly.s -------------------------------------------------------------------------------- /demo/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/config.json -------------------------------------------------------------------------------- /demo/demo.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/demo.asl -------------------------------------------------------------------------------- /demo/simulator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/simulator.c -------------------------------------------------------------------------------- /demo/test.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/test.S -------------------------------------------------------------------------------- /demo/test.prj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/demo/test.prj -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/dune-project -------------------------------------------------------------------------------- /editors/asl.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/editors/asl.vim -------------------------------------------------------------------------------- /editors/asl.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/editors/asl.xml -------------------------------------------------------------------------------- /libASL/asl_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_ast.ml -------------------------------------------------------------------------------- /libASL/asl_fmt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_fmt.ml -------------------------------------------------------------------------------- /libASL/asl_fmt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_fmt.mli -------------------------------------------------------------------------------- /libASL/asl_parser.messages: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_parser.messages -------------------------------------------------------------------------------- /libASL/asl_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_parser.mly -------------------------------------------------------------------------------- /libASL/asl_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_utils.ml -------------------------------------------------------------------------------- /libASL/asl_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_utils.mli -------------------------------------------------------------------------------- /libASL/asl_visitor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_visitor.ml -------------------------------------------------------------------------------- /libASL/asl_visitor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/asl_visitor.mli -------------------------------------------------------------------------------- /libASL/backend_c.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/backend_c.ml -------------------------------------------------------------------------------- /libASL/backend_c.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/backend_c.mli -------------------------------------------------------------------------------- /libASL/backend_mlir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/backend_mlir.ml -------------------------------------------------------------------------------- /libASL/backend_mlir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/backend_mlir.mli -------------------------------------------------------------------------------- /libASL/bin_file.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/bin_file.ml -------------------------------------------------------------------------------- /libASL/bin_file.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/bin_file.mli -------------------------------------------------------------------------------- /libASL/builtin_idents.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/builtin_idents.ml -------------------------------------------------------------------------------- /libASL/builtin_idents.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/builtin_idents.mli -------------------------------------------------------------------------------- /libASL/check_monomorphization.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/check_monomorphization.ml -------------------------------------------------------------------------------- /libASL/commands.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/commands.ml -------------------------------------------------------------------------------- /libASL/commands.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/commands.mli -------------------------------------------------------------------------------- /libASL/configuration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/configuration.ml -------------------------------------------------------------------------------- /libASL/configuration.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/configuration.mli -------------------------------------------------------------------------------- /libASL/cpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/cpu.ml -------------------------------------------------------------------------------- /libASL/cpu.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/cpu.mli -------------------------------------------------------------------------------- /libASL/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/dune -------------------------------------------------------------------------------- /libASL/elf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/elf.ml -------------------------------------------------------------------------------- /libASL/elf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/elf.mli -------------------------------------------------------------------------------- /libASL/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/error.ml -------------------------------------------------------------------------------- /libASL/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/error.mli -------------------------------------------------------------------------------- /libASL/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/eval.ml -------------------------------------------------------------------------------- /libASL/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/eval.mli -------------------------------------------------------------------------------- /libASL/flags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/flags.ml -------------------------------------------------------------------------------- /libASL/flags.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/flags.mli -------------------------------------------------------------------------------- /libASL/format_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/format_utils.ml -------------------------------------------------------------------------------- /libASL/format_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/format_utils.mli -------------------------------------------------------------------------------- /libASL/global_checks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/global_checks.ml -------------------------------------------------------------------------------- /libASL/global_checks.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/global_checks.mli -------------------------------------------------------------------------------- /libASL/ident.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/ident.ml -------------------------------------------------------------------------------- /libASL/ident.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/ident.mli -------------------------------------------------------------------------------- /libASL/identset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/identset.ml -------------------------------------------------------------------------------- /libASL/identset.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/identset.mli -------------------------------------------------------------------------------- /libASL/lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/lattice.ml -------------------------------------------------------------------------------- /libASL/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/lexer.mll -------------------------------------------------------------------------------- /libASL/lexersupport.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/lexersupport.ml -------------------------------------------------------------------------------- /libASL/loadASL.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/loadASL.ml -------------------------------------------------------------------------------- /libASL/loadASL.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/loadASL.mli -------------------------------------------------------------------------------- /libASL/loc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/loc.ml -------------------------------------------------------------------------------- /libASL/loc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/loc.mli -------------------------------------------------------------------------------- /libASL/metadata.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/metadata.ml -------------------------------------------------------------------------------- /libASL/metadata.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/metadata.mli -------------------------------------------------------------------------------- /libASL/primops.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/primops.ml -------------------------------------------------------------------------------- /libASL/runtime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime.ml -------------------------------------------------------------------------------- /libASL/runtime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime.mli -------------------------------------------------------------------------------- /libASL/runtime_ac.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_ac.ml -------------------------------------------------------------------------------- /libASL/runtime_ac.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_ac.mli -------------------------------------------------------------------------------- /libASL/runtime_c23.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_c23.ml -------------------------------------------------------------------------------- /libASL/runtime_c23.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_c23.mli -------------------------------------------------------------------------------- /libASL/runtime_fallback.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_fallback.ml -------------------------------------------------------------------------------- /libASL/runtime_fallback.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_fallback.mli -------------------------------------------------------------------------------- /libASL/runtime_sc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_sc.ml -------------------------------------------------------------------------------- /libASL/runtime_sc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/runtime_sc.mli -------------------------------------------------------------------------------- /libASL/scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/scope.ml -------------------------------------------------------------------------------- /libASL/scope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/scope.mli -------------------------------------------------------------------------------- /libASL/scopeStack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/scopeStack.ml -------------------------------------------------------------------------------- /libASL/scopeStack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/scopeStack.mli -------------------------------------------------------------------------------- /libASL/tcheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/tcheck.ml -------------------------------------------------------------------------------- /libASL/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/utils.ml -------------------------------------------------------------------------------- /libASL/utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/utils.mli -------------------------------------------------------------------------------- /libASL/value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/value.ml -------------------------------------------------------------------------------- /libASL/value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/value.mli -------------------------------------------------------------------------------- /libASL/visitor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/visitor.ml -------------------------------------------------------------------------------- /libASL/xform_bitslices.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_bitslices.ml -------------------------------------------------------------------------------- /libASL/xform_bitslices.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_bitslices.mli -------------------------------------------------------------------------------- /libASL/xform_bittuples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_bittuples.ml -------------------------------------------------------------------------------- /libASL/xform_bittuples.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_bittuples.mli -------------------------------------------------------------------------------- /libASL/xform_bounded.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_bounded.ml -------------------------------------------------------------------------------- /libASL/xform_bounded.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_bounded.mli -------------------------------------------------------------------------------- /libASL/xform_case.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_case.ml -------------------------------------------------------------------------------- /libASL/xform_case.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_case.mli -------------------------------------------------------------------------------- /libASL/xform_constprop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_constprop.ml -------------------------------------------------------------------------------- /libASL/xform_constprop.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_constprop.mli -------------------------------------------------------------------------------- /libASL/xform_desugar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_desugar.ml -------------------------------------------------------------------------------- /libASL/xform_desugar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_desugar.mli -------------------------------------------------------------------------------- /libASL/xform_getset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_getset.ml -------------------------------------------------------------------------------- /libASL/xform_getset.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_getset.mli -------------------------------------------------------------------------------- /libASL/xform_hoist_lets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_hoist_lets.ml -------------------------------------------------------------------------------- /libASL/xform_hoist_lets.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_hoist_lets.mli -------------------------------------------------------------------------------- /libASL/xform_int_bitslices.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_int_bitslices.ml -------------------------------------------------------------------------------- /libASL/xform_int_bitslices.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_int_bitslices.mli -------------------------------------------------------------------------------- /libASL/xform_lower.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_lower.ml -------------------------------------------------------------------------------- /libASL/xform_lower.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_lower.mli -------------------------------------------------------------------------------- /libASL/xform_mono.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_mono.ml -------------------------------------------------------------------------------- /libASL/xform_mono.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_mono.mli -------------------------------------------------------------------------------- /libASL/xform_named_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_named_type.ml -------------------------------------------------------------------------------- /libASL/xform_named_type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_named_type.mli -------------------------------------------------------------------------------- /libASL/xform_simplify_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_simplify_expr.ml -------------------------------------------------------------------------------- /libASL/xform_simplify_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_simplify_expr.mli -------------------------------------------------------------------------------- /libASL/xform_tuples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_tuples.ml -------------------------------------------------------------------------------- /libASL/xform_tuples.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_tuples.mli -------------------------------------------------------------------------------- /libASL/xform_valid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_valid.ml -------------------------------------------------------------------------------- /libASL/xform_valid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_valid.mli -------------------------------------------------------------------------------- /libASL/xform_wrap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_wrap.ml -------------------------------------------------------------------------------- /libASL/xform_wrap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/libASL/xform_wrap.mli -------------------------------------------------------------------------------- /mk_install.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/mk_install.py -------------------------------------------------------------------------------- /prelude.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/prelude.asl -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/requirements.txt -------------------------------------------------------------------------------- /runtime/.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/Makefile -------------------------------------------------------------------------------- /runtime/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/dune -------------------------------------------------------------------------------- /runtime/include/asl/bits1024.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/bits1024.h -------------------------------------------------------------------------------- /runtime/include/asl/bits128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/bits128.h -------------------------------------------------------------------------------- /runtime/include/asl/bits256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/bits256.h -------------------------------------------------------------------------------- /runtime/include/asl/bits512.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/bits512.h -------------------------------------------------------------------------------- /runtime/include/asl/bits64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/bits64.h -------------------------------------------------------------------------------- /runtime/include/asl/bits_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/bits_template.h -------------------------------------------------------------------------------- /runtime/include/asl/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/error.h -------------------------------------------------------------------------------- /runtime/include/asl/integer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/integer.h -------------------------------------------------------------------------------- /runtime/include/asl/print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/print.h -------------------------------------------------------------------------------- /runtime/include/asl/print_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/print_template.h -------------------------------------------------------------------------------- /runtime/include/asl/ram.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/ram.h -------------------------------------------------------------------------------- /runtime/include/asl/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/runtime.h -------------------------------------------------------------------------------- /runtime/include/asl/runtime.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/runtime.hpp -------------------------------------------------------------------------------- /runtime/include/asl/set_slice_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/set_slice_template.h -------------------------------------------------------------------------------- /runtime/include/asl/track_valid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/include/asl/track_valid.h -------------------------------------------------------------------------------- /runtime/lib/bits1024.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/bits1024.c -------------------------------------------------------------------------------- /runtime/lib/bits128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/bits128.c -------------------------------------------------------------------------------- /runtime/lib/bits256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/bits256.c -------------------------------------------------------------------------------- /runtime/lib/bits512.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/bits512.c -------------------------------------------------------------------------------- /runtime/lib/bits64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/bits64.c -------------------------------------------------------------------------------- /runtime/lib/bits_template_c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/bits_template_c.h -------------------------------------------------------------------------------- /runtime/lib/end_of_execution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/end_of_execution.c -------------------------------------------------------------------------------- /runtime/lib/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/error.c -------------------------------------------------------------------------------- /runtime/lib/ram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/ram.c -------------------------------------------------------------------------------- /runtime/lib/set_slice_template_c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/set_slice_template_c.h -------------------------------------------------------------------------------- /runtime/lib/sign_extend_bits_template_c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/lib/sign_extend_bits_template_c.h -------------------------------------------------------------------------------- /runtime/test/.gitignore: -------------------------------------------------------------------------------- 1 | bitint_maxwidth 2 | -------------------------------------------------------------------------------- /runtime/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/Makefile -------------------------------------------------------------------------------- /runtime/test/bitint_maxwidth.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/bitint_maxwidth.c -------------------------------------------------------------------------------- /runtime/test/bits_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/bits_test.cc -------------------------------------------------------------------------------- /runtime/test/bits_test_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/bits_test_template.h -------------------------------------------------------------------------------- /runtime/test/integer_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/integer_test.cc -------------------------------------------------------------------------------- /runtime/test/ram_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/ram_test.cc -------------------------------------------------------------------------------- /runtime/test/sign_extend_bits_test_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/runtime/test/sign_extend_bits_test_template.h -------------------------------------------------------------------------------- /tests/.gitignore: -------------------------------------------------------------------------------- 1 | Output 2 | .lit_test_times.txt 3 | -------------------------------------------------------------------------------- /tests/asl_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/asl_test.ml -------------------------------------------------------------------------------- /tests/asl_utils_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/asl_utils_test.ml -------------------------------------------------------------------------------- /tests/backend_c_c23_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backend_c_c23_test.ml -------------------------------------------------------------------------------- /tests/backend_c_fallback_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backend_c_fallback_test.ml -------------------------------------------------------------------------------- /tests/backends/asl_end_execution_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/asl_end_execution_00.asl -------------------------------------------------------------------------------- /tests/backends/asl_end_execution_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/asl_end_execution_01.asl -------------------------------------------------------------------------------- /tests/backends/bits_add_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_add_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_and_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_and_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_append_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_append_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_asr_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_asr_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_cvt_sint_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_cvt_sint_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_cvt_ssintN_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_cvt_ssintN_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_cvt_uint_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_cvt_uint_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_cvt_usintN_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_cvt_usintN_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_eq_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_eq_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_get_slice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_get_slice_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_get_slice_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_get_slice_01.asl -------------------------------------------------------------------------------- /tests/backends/bits_get_slice_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_get_slice_02.asl -------------------------------------------------------------------------------- /tests/backends/bits_lsl_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_lsl_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_lsr_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_lsr_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_mk_mask_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_mk_mask_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_mul_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_mul_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_ne_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_ne_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_not_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_not_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_ones_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_ones_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_or_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_or_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_print_hex_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_print_hex_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_print_hex_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_print_hex_01.asl -------------------------------------------------------------------------------- /tests/backends/bits_replicate_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_replicate_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_set_slice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_set_slice_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_set_slice_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_set_slice_01.asl -------------------------------------------------------------------------------- /tests/backends/bits_set_slice_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_set_slice_02.asl -------------------------------------------------------------------------------- /tests/backends/bits_set_slice_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_set_slice_03.asl -------------------------------------------------------------------------------- /tests/backends/bits_sext_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_sext_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_sext_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_sext_01.asl -------------------------------------------------------------------------------- /tests/backends/bits_sub_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_sub_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_sub_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_sub_01.asl -------------------------------------------------------------------------------- /tests/backends/bits_xor_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_xor_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_zeros_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_zeros_00.asl -------------------------------------------------------------------------------- /tests/backends/bits_zext_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bits_zext_00.asl -------------------------------------------------------------------------------- /tests/backends/bool_and_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bool_and_00.asl -------------------------------------------------------------------------------- /tests/backends/bool_eq_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bool_eq_00.asl -------------------------------------------------------------------------------- /tests/backends/bool_ne_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bool_ne_00.asl -------------------------------------------------------------------------------- /tests/backends/bool_not_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bool_not_00.asl -------------------------------------------------------------------------------- /tests/backends/bool_or_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/bool_or_00.asl -------------------------------------------------------------------------------- /tests/backends/exceptions_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/exceptions_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_IN_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_IN_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_as_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_as_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_assert_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_assert_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_assert_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_assert_01.asl -------------------------------------------------------------------------------- /tests/backends/expr_bitslice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_bitslice_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_if_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_if_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_if_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_if_01.asl -------------------------------------------------------------------------------- /tests/backends/expr_intslice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_intslice_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_let_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_let_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_var_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_var_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_with_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_with_00.asl -------------------------------------------------------------------------------- /tests/backends/expr_with_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_with_01.asl -------------------------------------------------------------------------------- /tests/backends/expr_with_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_with_02.asl -------------------------------------------------------------------------------- /tests/backends/expr_with_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/expr_with_03.asl -------------------------------------------------------------------------------- /tests/backends/ffi_config_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_config_00.asl -------------------------------------------------------------------------------- /tests/backends/ffi_config_00.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_config_00.c -------------------------------------------------------------------------------- /tests/backends/ffi_export_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_export_00.asl -------------------------------------------------------------------------------- /tests/backends/ffi_export_00.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_export_00.c -------------------------------------------------------------------------------- /tests/backends/ffi_export_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_export_01.asl -------------------------------------------------------------------------------- /tests/backends/ffi_export_01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_export_01.c -------------------------------------------------------------------------------- /tests/backends/ffi_export_01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_export_01.json -------------------------------------------------------------------------------- /tests/backends/ffi_import_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_import_00.asl -------------------------------------------------------------------------------- /tests/backends/ffi_import_00.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_import_00.c -------------------------------------------------------------------------------- /tests/backends/ffi_import_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_import_01.asl -------------------------------------------------------------------------------- /tests/backends/ffi_import_01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_import_01.c -------------------------------------------------------------------------------- /tests/backends/ffi_import_01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/ffi_import_01.json -------------------------------------------------------------------------------- /tests/backends/int_add_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_add_00.asl -------------------------------------------------------------------------------- /tests/backends/int_align_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_align_00.asl -------------------------------------------------------------------------------- /tests/backends/int_cvt_bits_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_cvt_bits_00.asl -------------------------------------------------------------------------------- /tests/backends/int_cvt_bits_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_cvt_bits_01.asl -------------------------------------------------------------------------------- /tests/backends/int_eq_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_eq_00.asl -------------------------------------------------------------------------------- /tests/backends/int_exact_div_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_exact_div_00.asl -------------------------------------------------------------------------------- /tests/backends/int_fdiv_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_fdiv_00.asl -------------------------------------------------------------------------------- /tests/backends/int_frem_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_frem_00.asl -------------------------------------------------------------------------------- /tests/backends/int_ge_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_ge_00.asl -------------------------------------------------------------------------------- /tests/backends/int_gt_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_gt_00.asl -------------------------------------------------------------------------------- /tests/backends/int_is_pow2_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_is_pow2_00.asl -------------------------------------------------------------------------------- /tests/backends/int_le_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_le_00.asl -------------------------------------------------------------------------------- /tests/backends/int_lt_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_lt_00.asl -------------------------------------------------------------------------------- /tests/backends/int_mod_pow2_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_mod_pow2_00.asl -------------------------------------------------------------------------------- /tests/backends/int_mul_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_mul_00.asl -------------------------------------------------------------------------------- /tests/backends/int_ne_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_ne_00.asl -------------------------------------------------------------------------------- /tests/backends/int_neg_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_neg_00.asl -------------------------------------------------------------------------------- /tests/backends/int_pow2_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_pow2_00.asl -------------------------------------------------------------------------------- /tests/backends/int_print_dec.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_print_dec.asl -------------------------------------------------------------------------------- /tests/backends/int_print_hex.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_print_hex.asl -------------------------------------------------------------------------------- /tests/backends/int_set_slice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_set_slice_00.asl -------------------------------------------------------------------------------- /tests/backends/int_shl_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_shl_00.asl -------------------------------------------------------------------------------- /tests/backends/int_shr_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_shr_00.asl -------------------------------------------------------------------------------- /tests/backends/int_sub_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_sub_00.asl -------------------------------------------------------------------------------- /tests/backends/int_zdiv_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_zdiv_00.asl -------------------------------------------------------------------------------- /tests/backends/int_zrem_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/int_zrem_00.asl -------------------------------------------------------------------------------- /tests/backends/print_char_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/print_char_00.asl -------------------------------------------------------------------------------- /tests/backends/print_str_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/print_str_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_add_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_add_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_align_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_align_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_array_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_array_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_array_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_array_01.asl -------------------------------------------------------------------------------- /tests/backends/sintN_array_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_array_02.asl -------------------------------------------------------------------------------- /tests/backends/sintN_cvt_bits_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_cvt_bits_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_cvt_from_int_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_cvt_from_int_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_cvt_to_int_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_cvt_to_int_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_eq_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_eq_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_exact_div_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_exact_div_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_fdiv_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_fdiv_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_frem_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_frem_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_ge_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_ge_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_get_slice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_get_slice_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_get_slice_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_get_slice_01.asl -------------------------------------------------------------------------------- /tests/backends/sintN_gt_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_gt_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_is_pow2_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_is_pow2_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_le_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_le_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_lt_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_lt_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_mod_pow2_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_mod_pow2_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_mul_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_mul_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_ne_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_ne_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_neg_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_neg_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_pow2_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_pow2_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_print_dec.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_print_dec.asl -------------------------------------------------------------------------------- /tests/backends/sintN_print_hex.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_print_hex.asl -------------------------------------------------------------------------------- /tests/backends/sintN_resize_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_resize_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_set_slice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_set_slice_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_shl_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_shl_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_shr_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_shr_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_sub_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_sub_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_zdiv_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_zdiv_00.asl -------------------------------------------------------------------------------- /tests/backends/sintN_zrem_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/sintN_zrem_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_assert_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_assert_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_assert_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_assert_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_assign_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_assign_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_block_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_block_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_case_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_case_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_case_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_case_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_case_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_case_02.asl -------------------------------------------------------------------------------- /tests/backends/stmt_case_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_case_03.asl -------------------------------------------------------------------------------- /tests/backends/stmt_case_04.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_case_04.asl -------------------------------------------------------------------------------- /tests/backends/stmt_case_05.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_case_05.asl -------------------------------------------------------------------------------- /tests/backends/stmt_for_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_for_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_for_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_for_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_for_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_for_02.asl -------------------------------------------------------------------------------- /tests/backends/stmt_if_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_if_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_if_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_if_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_if_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_if_02.asl -------------------------------------------------------------------------------- /tests/backends/stmt_let_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_let_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_repeat_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_repeat_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_return_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_return_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_return_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_return_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_return_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_return_02.asl -------------------------------------------------------------------------------- /tests/backends/stmt_try_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_try_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_try_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_try_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_try_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_try_02.asl -------------------------------------------------------------------------------- /tests/backends/stmt_var_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_var_00.asl -------------------------------------------------------------------------------- /tests/backends/stmt_var_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_var_01.asl -------------------------------------------------------------------------------- /tests/backends/stmt_while_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/stmt_while_00.asl -------------------------------------------------------------------------------- /tests/backends/type_array_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_00.asl -------------------------------------------------------------------------------- /tests/backends/type_array_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_01.asl -------------------------------------------------------------------------------- /tests/backends/type_array_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_02.asl -------------------------------------------------------------------------------- /tests/backends/type_array_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_03.asl -------------------------------------------------------------------------------- /tests/backends/type_array_04.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_04.asl -------------------------------------------------------------------------------- /tests/backends/type_array_05.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_05.asl -------------------------------------------------------------------------------- /tests/backends/type_array_06.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_array_06.asl -------------------------------------------------------------------------------- /tests/backends/type_bool_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_bool_00.asl -------------------------------------------------------------------------------- /tests/backends/type_enum_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_enum_00.asl -------------------------------------------------------------------------------- /tests/backends/type_ram_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_ram_00.asl -------------------------------------------------------------------------------- /tests/backends/type_record_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/backends/type_record_00.asl -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit.cfg -------------------------------------------------------------------------------- /tests/lit/check_monomorphization/asli.prj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/check_monomorphization/asli.prj -------------------------------------------------------------------------------- /tests/lit/check_monomorphization/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/check_monomorphization/config.json -------------------------------------------------------------------------------- /tests/lit/check_monomorphization/test_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/check_monomorphization/test_00.asl -------------------------------------------------------------------------------- /tests/lit/eval/slice_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/eval/slice_00.asl -------------------------------------------------------------------------------- /tests/lit/eval/slice_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/eval/slice_01.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_00.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_01.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_02.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_03.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_04.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_04.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_05.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_05.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/eval_order_06.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/eval_order_06.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/markers_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/markers_00.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/markers_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/markers_01.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/noreturn_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/noreturn_00.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/rethrow_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/rethrow_00.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/rethrow_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/rethrow_01.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/rethrow_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/rethrow_02.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/rethrow_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/rethrow_03.asl -------------------------------------------------------------------------------- /tests/lit/globalchecks/rethrow_04.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/globalchecks/rethrow_04.asl -------------------------------------------------------------------------------- /tests/lit/monomorphize/recurse_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/monomorphize/recurse_00.asl -------------------------------------------------------------------------------- /tests/lit/parser/directive_line.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/parser/directive_line.asl -------------------------------------------------------------------------------- /tests/lit/parser/fenced_code_block.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/parser/fenced_code_block.asl -------------------------------------------------------------------------------- /tests/lit/print/print_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/print/print_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/array_read_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/array_read_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/array_write_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/array_write_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/bits_read_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/bits_read_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/bits_write_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/bits_write_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/conversion_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/conversion_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/expr_with_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/expr_with_00.asl -------------------------------------------------------------------------------- /tests/lit/runtime_checks/int_divide_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/runtime_checks/int_divide_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/array_param_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/array_param_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/conflicting_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/conflicting_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/conflicting_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/conflicting_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall02.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall03.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall04.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall04.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall05.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall05.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall06.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall06.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall07.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall07.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall08.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall08.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/funcall09.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/funcall09.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/function_arg_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/function_arg_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_02.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_03.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_04.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_04.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_05.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_05.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_06.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_06.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_07.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_07.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/immutable_08.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/immutable_08.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/implicit_params_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/implicit_params_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/implicit_params_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/implicit_params_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/missing_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/missing_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/patterns_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/patterns_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/record_init_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/record_init_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/record_init_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/record_init_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/record_init_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/record_init_02.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/records_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/records_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/records_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/records_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/records_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/records_02.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/return_type_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/return_type_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/setter_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/setter_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/setter_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/setter_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/shadowing_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/shadowing_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/shadowing_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/shadowing_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/shadowing_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/shadowing_02.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/shadowing_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/shadowing_03.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/subtypes_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/subtypes_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/type_constants_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/type_constants_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/type_constraints_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/type_constraints_01.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/type_constraints_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/type_constraints_02.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/type_width_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/type_width_00.asl -------------------------------------------------------------------------------- /tests/lit/tcheck/type_width_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/tcheck/type_width_01.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/decl_fun_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/decl_fun_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_add_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_add_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_eq_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_eq_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_ge_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_ge_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_gt_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_gt_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_if_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_if_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_if_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_if_01.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_le_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_le_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_lt_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_lt_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_mul_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_mul_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_ne_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_ne_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_neg_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_neg_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_sint_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_sint_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_sub_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_sub_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/expr_uint_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/expr_uint_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/stmt_for_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/stmt_for_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_bounded/stmt_let_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_bounded/stmt_let_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_hoist_lets/test_00.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_hoist_lets/test_00.asl -------------------------------------------------------------------------------- /tests/lit/xform_hoist_lets/test_01.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_hoist_lets/test_01.asl -------------------------------------------------------------------------------- /tests/lit/xform_hoist_lets/test_02.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_hoist_lets/test_02.asl -------------------------------------------------------------------------------- /tests/lit/xform_hoist_lets/test_03.asl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/lit/xform_hoist_lets/test_03.asl -------------------------------------------------------------------------------- /tests/loadasl_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/loadasl_test.ml -------------------------------------------------------------------------------- /tests/scripts/not: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/scripts/not -------------------------------------------------------------------------------- /tests/test_cases_backend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/test_cases_backend.ml -------------------------------------------------------------------------------- /tests/test_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/test_utils.ml -------------------------------------------------------------------------------- /tests/test_utils_backend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/test_utils_backend.ml -------------------------------------------------------------------------------- /tests/xform_bitslices_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_bitslices_test.ml -------------------------------------------------------------------------------- /tests/xform_bittuples_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_bittuples_test.ml -------------------------------------------------------------------------------- /tests/xform_case_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_case_test.ml -------------------------------------------------------------------------------- /tests/xform_constprop_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_constprop_test.ml -------------------------------------------------------------------------------- /tests/xform_getset_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_getset_test.ml -------------------------------------------------------------------------------- /tests/xform_int_bitslices_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_int_bitslices_test.ml -------------------------------------------------------------------------------- /tests/xform_lower_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_lower_test.ml -------------------------------------------------------------------------------- /tests/xform_mono_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_mono_test.ml -------------------------------------------------------------------------------- /tests/xform_named_type_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_named_type_test.ml -------------------------------------------------------------------------------- /tests/xform_simplify_expr_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_simplify_expr_test.ml -------------------------------------------------------------------------------- /tests/xform_tuples_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_tuples_test.ml -------------------------------------------------------------------------------- /tests/xform_valid_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_valid_test.ml -------------------------------------------------------------------------------- /tests/xform_wrap_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelLabs/asl-interpreter/HEAD/tests/xform_wrap_test.ml --------------------------------------------------------------------------------