/ucrt64/bin/lal_dda.exe
/ucrt64/bin/lal_parse.exe
/ucrt64/bin/lal_playground
/ucrt64/bin/lal_prep.exe
/ucrt64/bin/libadalang.dll
/ucrt64/bin/nameres.exe
/ucrt64/bin/navigate.exe
/ucrt64/include/libadalang/libadalang-analysis.adb
/ucrt64/include/libadalang/libadalang-analysis.ads
/ucrt64/include/libadalang/libadalang-auto_provider.adb
/ucrt64/include/libadalang/libadalang-auto_provider.ads
/ucrt64/include/libadalang/libadalang-c.adb
/ucrt64/include/libadalang/libadalang-c.ads
/ucrt64/include/libadalang/libadalang-common.adb
/ucrt64/include/libadalang/libadalang-common.ads
/ucrt64/include/libadalang/libadalang-config_pragmas.adb
/ucrt64/include/libadalang/libadalang-config_pragmas.ads
/ucrt64/include/libadalang/libadalang-config_pragmas_impl.adb
/ucrt64/include/libadalang/libadalang-config_pragmas_impl.ads
/ucrt64/include/libadalang/libadalang-data_decomposition.adb
/ucrt64/include/libadalang/libadalang-data_decomposition.ads
/ucrt64/include/libadalang/libadalang-debug.adb
/ucrt64/include/libadalang/libadalang-debug.ads
/ucrt64/include/libadalang/libadalang-doc_utils.adb
/ucrt64/include/libadalang/libadalang-doc_utils.ads
/ucrt64/include/libadalang/libadalang-env_hooks.adb
/ucrt64/include/libadalang/libadalang-env_hooks.ads
/ucrt64/include/libadalang/libadalang-expr_eval.adb
/ucrt64/include/libadalang/libadalang-expr_eval.ads
/ucrt64/include/libadalang/libadalang-generic_api-introspection.ads
/ucrt64/include/libadalang/libadalang-generic_api.adb
/ucrt64/include/libadalang/libadalang-generic_api.ads
/ucrt64/include/libadalang/libadalang-gpr_impl.adb
/ucrt64/include/libadalang/libadalang-gpr_impl.ads
/ucrt64/include/libadalang/libadalang-gpr_utils.adb
/ucrt64/include/libadalang/libadalang-gpr_utils.ads
/ucrt64/include/libadalang/libadalang-helpers.adb
/ucrt64/include/libadalang/libadalang-helpers.ads
/ucrt64/include/libadalang/libadalang-implementation-c-extensions.adb
/ucrt64/include/libadalang/libadalang-implementation-c-extensions.ads
/ucrt64/include/libadalang/libadalang-implementation-c.adb
/ucrt64/include/libadalang/libadalang-implementation-c.ads
/ucrt64/include/libadalang/libadalang-implementation-extensions.adb
/ucrt64/include/libadalang/libadalang-implementation-extensions.ads
/ucrt64/include/libadalang/libadalang-implementation.adb
/ucrt64/include/libadalang/libadalang-implementation.ads
/ucrt64/include/libadalang/libadalang-internal_default_provider.adb
/ucrt64/include/libadalang/libadalang-internal_default_provider.ads
/ucrt64/include/libadalang/libadalang-iterators-extensions.adb
/ucrt64/include/libadalang/libadalang-iterators-extensions.ads
/ucrt64/include/libadalang/libadalang-iterators.adb
/ucrt64/include/libadalang/libadalang-iterators.ads
/ucrt64/include/libadalang/libadalang-lexer.adb
/ucrt64/include/libadalang/libadalang-lexer.ads
/ucrt64/include/libadalang/libadalang-lexer_implementation.adb
/ucrt64/include/libadalang/libadalang-lexer_implementation.ads
/ucrt64/include/libadalang/libadalang-lexer_state_machine.adb
/ucrt64/include/libadalang/libadalang-lexer_state_machine.ads
/ucrt64/include/libadalang/libadalang-parsers.adb
/ucrt64/include/libadalang/libadalang-parsers.ads
/ucrt64/include/libadalang/libadalang-pp_impl.adb
/ucrt64/include/libadalang/libadalang-pp_impl.ads
/ucrt64/include/libadalang/libadalang-pp_lexer.adb
/ucrt64/include/libadalang/libadalang-pp_lexer.ads
/ucrt64/include/libadalang/libadalang-preprocessing.adb
/ucrt64/include/libadalang/libadalang-preprocessing.ads
/ucrt64/include/libadalang/libadalang-private_converters.adb
/ucrt64/include/libadalang/libadalang-private_converters.ads
/ucrt64/include/libadalang/libadalang-project_provider.adb
/ucrt64/include/libadalang/libadalang-project_provider.ads
/ucrt64/include/libadalang/libadalang-public_converters.adb
/ucrt64/include/libadalang/libadalang-public_converters.ads
/ucrt64/include/libadalang/libadalang-rewriting.adb
/ucrt64/include/libadalang/libadalang-rewriting.ads
/ucrt64/include/libadalang/libadalang-sources.adb
/ucrt64/include/libadalang/libadalang-sources.ads
/ucrt64/include/libadalang/libadalang-unit_files.adb
/ucrt64/include/libadalang/libadalang-unit_files.ads
/ucrt64/include/libadalang/libadalang-unparsing.adb
/ucrt64/include/libadalang/libadalang-unparsing.ads
/ucrt64/include/libadalang/libadalang.ads
/ucrt64/include/libadalang/libadalang.h
/ucrt64/java/Makefile
/ucrt64/java/jni/jni_impl.c
/ucrt64/java/pom.xml
/ucrt64/java/src/main/java/com/adacore/libadalang/Libadalang.java
/ucrt64/lib/libadalang.relocatable/libadalang-analysis.ali
/ucrt64/lib/libadalang.relocatable/libadalang-auto_provider.ali
/ucrt64/lib/libadalang.relocatable/libadalang-c.ali
/ucrt64/lib/libadalang.relocatable/libadalang-common.ali
/ucrt64/lib/libadalang.relocatable/libadalang-config_pragmas.ali
/ucrt64/lib/libadalang.relocatable/libadalang-config_pragmas_impl.ali
/ucrt64/lib/libadalang.relocatable/libadalang-data_decomposition.ali
/ucrt64/lib/libadalang.relocatable/libadalang-debug.ali
/ucrt64/lib/libadalang.relocatable/libadalang-doc_utils.ali
/ucrt64/lib/libadalang.relocatable/libadalang-env_hooks.ali
/ucrt64/lib/libadalang.relocatable/libadalang-expr_eval.ali
/ucrt64/lib/libadalang.relocatable/libadalang-generic_api-introspection.ali
/ucrt64/lib/libadalang.relocatable/libadalang-generic_api.ali
/ucrt64/lib/libadalang.relocatable/libadalang-gpr_impl.ali
/ucrt64/lib/libadalang.relocatable/libadalang-gpr_utils.ali
/ucrt64/lib/libadalang.relocatable/libadalang-helpers.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation-c-extensions.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation-c.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation-extensions.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation.ali
/ucrt64/lib/libadalang.relocatable/libadalang-internal_default_provider.ali
/ucrt64/lib/libadalang.relocatable/libadalang-iterators-extensions.ali
/ucrt64/lib/libadalang.relocatable/libadalang-iterators.ali
/ucrt64/lib/libadalang.relocatable/libadalang-lexer.ali
/ucrt64/lib/libadalang.relocatable/libadalang-lexer_implementation.ali
/ucrt64/lib/libadalang.relocatable/libadalang-lexer_state_machine.ali
/ucrt64/lib/libadalang.relocatable/libadalang-parsers.ali
/ucrt64/lib/libadalang.relocatable/libadalang-pp_impl.ali
/ucrt64/lib/libadalang.relocatable/libadalang-pp_lexer.ali
/ucrt64/lib/libadalang.relocatable/libadalang-preprocessing.ali
/ucrt64/lib/libadalang.relocatable/libadalang-private_converters.ali
/ucrt64/lib/libadalang.relocatable/libadalang-project_provider.ali
/ucrt64/lib/libadalang.relocatable/libadalang-public_converters.ali
/ucrt64/lib/libadalang.relocatable/libadalang-rewriting.ali
/ucrt64/lib/libadalang.relocatable/libadalang-sources.ali
/ucrt64/lib/libadalang.relocatable/libadalang-unit_files.ali
/ucrt64/lib/libadalang.relocatable/libadalang-unparsing.ali
/ucrt64/lib/libadalang.relocatable/libadalang.ali
/ucrt64/lib/libadalang.relocatable/libadalang.dll
/ucrt64/lib/libadalang.static-pic/libadalang-analysis.ali
/ucrt64/lib/libadalang.static-pic/libadalang-auto_provider.ali
/ucrt64/lib/libadalang.static-pic/libadalang-c.ali
/ucrt64/lib/libadalang.static-pic/libadalang-common.ali
/ucrt64/lib/libadalang.static-pic/libadalang-config_pragmas.ali
/ucrt64/lib/libadalang.static-pic/libadalang-config_pragmas_impl.ali
/ucrt64/lib/libadalang.static-pic/libadalang-data_decomposition.ali
/ucrt64/lib/libadalang.static-pic/libadalang-debug.ali
/ucrt64/lib/libadalang.static-pic/libadalang-doc_utils.ali
/ucrt64/lib/libadalang.static-pic/libadalang-env_hooks.ali
/ucrt64/lib/libadalang.static-pic/libadalang-expr_eval.ali
/ucrt64/lib/libadalang.static-pic/libadalang-generic_api-introspection.ali
/ucrt64/lib/libadalang.static-pic/libadalang-generic_api.ali
/ucrt64/lib/libadalang.static-pic/libadalang-gpr_impl.ali
/ucrt64/lib/libadalang.static-pic/libadalang-gpr_utils.ali
/ucrt64/lib/libadalang.static-pic/libadalang-helpers.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation-c-extensions.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation-c.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation-extensions.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation.ali
/ucrt64/lib/libadalang.static-pic/libadalang-internal_default_provider.ali
/ucrt64/lib/libadalang.static-pic/libadalang-iterators-extensions.ali
/ucrt64/lib/libadalang.static-pic/libadalang-iterators.ali
/ucrt64/lib/libadalang.static-pic/libadalang-lexer.ali
/ucrt64/lib/libadalang.static-pic/libadalang-lexer_implementation.ali
/ucrt64/lib/libadalang.static-pic/libadalang-lexer_state_machine.ali
/ucrt64/lib/libadalang.static-pic/libadalang-parsers.ali
/ucrt64/lib/libadalang.static-pic/libadalang-pp_impl.ali
/ucrt64/lib/libadalang.static-pic/libadalang-pp_lexer.ali
/ucrt64/lib/libadalang.static-pic/libadalang-preprocessing.ali
/ucrt64/lib/libadalang.static-pic/libadalang-private_converters.ali
/ucrt64/lib/libadalang.static-pic/libadalang-project_provider.ali
/ucrt64/lib/libadalang.static-pic/libadalang-public_converters.ali
/ucrt64/lib/libadalang.static-pic/libadalang-rewriting.ali
/ucrt64/lib/libadalang.static-pic/libadalang-sources.ali
/ucrt64/lib/libadalang.static-pic/libadalang-unit_files.ali
/ucrt64/lib/libadalang.static-pic/libadalang-unparsing.ali
/ucrt64/lib/libadalang.static-pic/libadalang.a
/ucrt64/lib/libadalang.static-pic/libadalang.ali
/ucrt64/lib/libadalang.static/libadalang-analysis.ali
/ucrt64/lib/libadalang.static/libadalang-auto_provider.ali
/ucrt64/lib/libadalang.static/libadalang-c.ali
/ucrt64/lib/libadalang.static/libadalang-common.ali
/ucrt64/lib/libadalang.static/libadalang-config_pragmas.ali
/ucrt64/lib/libadalang.static/libadalang-config_pragmas_impl.ali
/ucrt64/lib/libadalang.static/libadalang-data_decomposition.ali
/ucrt64/lib/libadalang.static/libadalang-debug.ali
/ucrt64/lib/libadalang.static/libadalang-doc_utils.ali
/ucrt64/lib/libadalang.static/libadalang-env_hooks.ali
/ucrt64/lib/libadalang.static/libadalang-expr_eval.ali
/ucrt64/lib/libadalang.static/libadalang-generic_api-introspection.ali
/ucrt64/lib/libadalang.static/libadalang-generic_api.ali
/ucrt64/lib/libadalang.static/libadalang-gpr_impl.ali
/ucrt64/lib/libadalang.static/libadalang-gpr_utils.ali
/ucrt64/lib/libadalang.static/libadalang-helpers.ali
/ucrt64/lib/libadalang.static/libadalang-implementation-c-extensions.ali
/ucrt64/lib/libadalang.static/libadalang-implementation-c.ali
/ucrt64/lib/libadalang.static/libadalang-implementation-extensions.ali
/ucrt64/lib/libadalang.static/libadalang-implementation.ali
/ucrt64/lib/libadalang.static/libadalang-internal_default_provider.ali
/ucrt64/lib/libadalang.static/libadalang-iterators-extensions.ali
/ucrt64/lib/libadalang.static/libadalang-iterators.ali
/ucrt64/lib/libadalang.static/libadalang-lexer.ali
/ucrt64/lib/libadalang.static/libadalang-lexer_implementation.ali
/ucrt64/lib/libadalang.static/libadalang-lexer_state_machine.ali
/ucrt64/lib/libadalang.static/libadalang-parsers.ali
/ucrt64/lib/libadalang.static/libadalang-pp_impl.ali
/ucrt64/lib/libadalang.static/libadalang-pp_lexer.ali
/ucrt64/lib/libadalang.static/libadalang-preprocessing.ali
/ucrt64/lib/libadalang.static/libadalang-private_converters.ali
/ucrt64/lib/libadalang.static/libadalang-project_provider.ali
/ucrt64/lib/libadalang.static/libadalang-public_converters.ali
/ucrt64/lib/libadalang.static/libadalang-rewriting.ali
/ucrt64/lib/libadalang.static/libadalang-sources.ali
/ucrt64/lib/libadalang.static/libadalang-unit_files.ali
/ucrt64/lib/libadalang.static/libadalang-unparsing.ali
/ucrt64/lib/libadalang.static/libadalang.a
/ucrt64/lib/libadalang.static/libadalang.ali
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/METADATA
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/RECORD
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/WHEEL
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/top_level.txt
/ucrt64/lib/python3.11/site-packages/libadalang/__init__.py
/ucrt64/lib/python3.11/site-packages/libadalang/__pycache__/__init__.cpython-311.opt-1.pyc
/ucrt64/lib/python3.11/site-packages/libadalang/__pycache__/__init__.cpython-311.pyc
/ucrt64/lib/python3.11/site-packages/libadalang/py.typed
/ucrt64/lib/windows/
/ucrt64/ocaml/dune
/ucrt64/ocaml/dune-project
/ucrt64/ocaml/libadalang.ml
/ucrt64/ocaml/libadalang.mli
/ucrt64/ocaml/libadalang.opam
/ucrt64/python/libadalang/__init__.py
/ucrt64/python/libadalang/py.typed
/ucrt64/python/setup.py
/ucrt64/share/examples/libadalang/check_deref_null.py
/ucrt64/share/examples/libadalang/check_same_logic.py
/ucrt64/share/examples/libadalang/check_same_operands.py
/ucrt64/share/examples/libadalang/check_same_test.py
/ucrt64/share/examples/libadalang/check_same_then_else.py
/ucrt64/share/examples/libadalang/check_subp_boxes.py
/ucrt64/share/examples/libadalang/check_test_not_null.py
/ucrt64/share/examples/libadalang/check_useless_assign.py
/ucrt64/share/examples/libadalang/detect_copy_paste_sa.py
/ucrt64/share/examples/libadalang/highlight/.gitignore
/ucrt64/share/examples/libadalang/highlight/README.md
/ucrt64/share/examples/libadalang/highlight/ada2web.adb
/ucrt64/share/examples/libadalang/highlight/colors.ads
/ucrt64/share/examples/libadalang/highlight/example.adb
/ucrt64/share/examples/libadalang/highlight/highlight.adb
/ucrt64/share/examples/libadalang/highlight/highlight.gpr
/ucrt64/share/examples/libadalang/highlight/highlighter.adb
/ucrt64/share/examples/libadalang/highlight/highlighter.ads
/ucrt64/share/examples/libadalang/highlight/html.adb
/ucrt64/share/examples/libadalang/highlight/html.ads
/ucrt64/share/examples/libadalang/highlight/term256.adb
/ucrt64/share/examples/libadalang/highlight/term256.ads
/ucrt64/share/gpr/libadalang.gpr
/ucrt64/share/gpr/manifests/libadalang
/ucrt64/share/gpr/manifests/mains
/ucrt64/share/libadalang/gdbinit.py
/ucrt64/share/licenses/libadalang/LICENSE.txt