README.md
pyproject.toml
tests/test_acats.py
tests/test_access_types.py
tests/test_aggregates.py
tests/test_array_attributes.py
tests/test_aspects.py
tests/test_attributes.py
tests/test_child_packages.py
tests/test_codegen.py
tests/test_compiler.py
tests/test_contract_attributes.py
tests/test_contracts.py
tests/test_control_flow.py
tests/test_controlled.py
tests/test_declare_expr.py
tests/test_default_expressions.py
tests/test_delta_aggregate.py
tests/test_derived_types.py
tests/test_discriminated.py
tests/test_enums.py
tests/test_exceptions.py
tests/test_execution.py
tests/test_expression_function.py
tests/test_expression_functions.py
tests/test_extended_return.py
tests/test_generics.py
tests/test_integration.py
tests/test_interfaces.py
tests/test_ir.py
tests/test_iterated_component.py
tests/test_lexer.py
tests/test_limited_with.py
tests/test_lowering.py
tests/test_membership.py
tests/test_modular_types.py
tests/test_named_notation.py
tests/test_null_procedures.py
tests/test_operators.py
tests/test_optimizer.py
tests/test_overloading.py
tests/test_parallel.py
tests/test_parser.py
tests/test_pragmas.py
tests/test_private_types.py
tests/test_protected_types.py
tests/test_quantified.py
tests/test_raise_expr.py
tests/test_records.py
tests/test_reduction.py
tests/test_renaming.py
tests/test_representation.py
tests/test_semantic.py
tests/test_stdlib.py
tests/test_strings.py
tests/test_subprograms.py
tests/test_subtypes.py
tests/test_symbol_table.py
tests/test_target_name.py
tests/test_tasking.py
tests/test_type_system.py
tests/test_use_clause.py
uada80/__init__.py
uada80/ast_nodes.py
uada80/compiler.py
uada80/ir.py
uada80/lexer.py
uada80/lowering.py
uada80/main.py
uada80/parser.py
uada80/runtime_manager.py
uada80/semantic.py
uada80/symbol_table.py
uada80/type_system.py
uada80.egg-info/PKG-INFO
uada80.egg-info/SOURCES.txt
uada80.egg-info/dependency_links.txt
uada80.egg-info/entry_points.txt
uada80.egg-info/requires.txt
uada80.egg-info/top_level.txt
uada80/codegen/__init__.py
uada80/optimizer/__init__.py
uada80/optimizer/ast_optimizer.py
uada80/optimizer/config.py