├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── ada_lexical_parser-next_element.adb ├── ada_lexical_parser.adb ├── ada_lexical_parser.ads ├── aura.adb ├── checkout-checkout_orders.adb ├── checkout-parse_checkout_spec.adb ├── checkout-write_checkout_spec.adb ├── checkout.adb ├── checkout.ads ├── child_processes-managed.adb ├── child_processes-managed.ads ├── child_processes-path_searching.adb ├── child_processes-path_searching.ads ├── child_processes-platform-binding.c ├── child_processes-platform.adb ├── child_processes-platform.ads ├── child_processes-standard_io.adb ├── child_processes-standard_io.ads ├── child_processes-wait_and_buffer.adb ├── child_processes-wait_and_buffer.ads ├── child_processes.adb ├── child_processes.ads ├── configuration-executive.adb ├── configuration-generate_basic_config.adb ├── configuration-step_1.adb ├── configuration-step_2.adb ├── configuration-step_3a.adb ├── configuration-step_3b.adb ├── configuration-step_4.adb ├── configuration.adb ├── configuration.ads ├── depreciation_handlers-aura_subdirectory-process_changes.adb ├── depreciation_handlers-aura_subdirectory.adb ├── depreciation_handlers.adb ├── depreciation_handlers.ads ├── host_operations-chmod_meta.c ├── host_operations.adb ├── host_operations.ads ├── platform_config.py ├── progress.adb ├── progress.ads ├── prototypes.ads ├── registrar-dependency_maps.ads ├── registrar-dependency_processing.adb ├── registrar-dependency_processing.ads ├── registrar-executive-library_unit_registration.adb ├── registrar-executive-library_unit_registration.ads ├── registrar-executive-library_units_request.adb ├── registrar-executive-library_units_request.ads ├── registrar-executive-subsystems_request.adb ├── registrar-executive-subsystems_request.ads ├── registrar-executive-unit_entry-execute-parse_pack.adb ├── registrar-executive-unit_entry-execute-process_pack.adb ├── registrar-executive-unit_entry-execute-source_pack.adb ├── registrar-executive-unit_entry-execute.adb ├── registrar-executive-unit_entry.adb ├── registrar-executive-unit_entry.ads ├── registrar-executive.ads ├── registrar-implementation_hashing-collection_orders.adb ├── registrar-implementation_hashing-crunch_orders.adb ├── registrar-implementation_hashing.adb ├── registrar-implementation_hashing.ads ├── registrar-last_run.ads ├── registrar-last_run_store.adb ├── registrar-last_run_store.ads ├── registrar-library_units.ads ├── registrar-protected_map.adb ├── registrar-protected_map.ads ├── registrar-protected_set.adb ├── registrar-protected_set.ads ├── registrar-queries.adb ├── registrar-queries.ads ├── registrar-registration-unchecked_deregister_subsystem.adb ├── registrar-registration-unchecked_deregister_subsystem.ads ├── registrar-registration-unchecked_deregister_unit.adb ├── registrar-registration-unchecked_deregister_unit.ads ├── registrar-registration.adb ├── registrar-registration.ads ├── registrar-registry.ads ├── registrar-source_files-allocation.adb ├── registrar-source_files-allocation.ads ├── registrar-source_files.adb ├── registrar-source_files.ads ├── registrar-subsystems.ads ├── registrar.ads ├── repositories-aura_spec_handling-check_aura_spec-check_package_completion.adb ├── repositories-aura_spec_handling-check_aura_spec-check_package_declaration.adb ├── repositories-aura_spec_handling-check_aura_spec-check_platform_values.adb ├── repositories-aura_spec_handling-check_aura_spec-check_repository_formats.adb ├── repositories-aura_spec_handling-check_aura_spec.adb ├── repositories-aura_spec_handling.adb ├── repositories-cache-checkout_git.adb ├── repositories-cache-validate_local_or_system.adb ├── repositories-cache.adb ├── repositories-cache.ads ├── repositories-repo_spec_handling-generate_repo_spec.adb ├── repositories-repo_spec_handling-parse_repo_spec.adb ├── repositories-repo_spec_handling.adb ├── repositories.adb ├── repositories.ads ├── scheduling-execute_image.adb ├── scheduling-initialize_parameters.adb ├── scheduling-report_incomplete_subsystems.adb ├── scheduling-report_unavailable_subsystems.adb ├── scheduling.adb ├── scheduling.ads ├── specification_scanner-scan_generic.adb ├── specification_scanner-scan_object.adb ├── specification_scanner-scan_specification.adb ├── specification_scanner-scan_subprogram.adb ├── specification_scanner.adb ├── specification_scanner.ads ├── stream_hashing-collective.adb ├── stream_hashing-collective.ads ├── stream_hashing.adb ├── stream_hashing.ads ├── ui_primitives.adb ├── ui_primitives.ads ├── unit_names-hash.adb ├── unit_names-hash.ads ├── unit_names-sets.ads ├── unit_names.adb ├── unit_names.ads ├── user_notices.adb ├── user_notices.ads ├── user_queries.adb ├── user_queries.ads ├── validation-vsd_orders.adb ├── validation.adb ├── validation.ads ├── workers-reporting.adb ├── workers-reporting.ads ├── workers.adb └── workers.ads /.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | *.ali 3 | ~* 4 | \#* 5 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/README.md -------------------------------------------------------------------------------- /ada_lexical_parser-next_element.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/ada_lexical_parser-next_element.adb -------------------------------------------------------------------------------- /ada_lexical_parser.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/ada_lexical_parser.adb -------------------------------------------------------------------------------- /ada_lexical_parser.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/ada_lexical_parser.ads -------------------------------------------------------------------------------- /aura.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/aura.adb -------------------------------------------------------------------------------- /checkout-checkout_orders.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/checkout-checkout_orders.adb -------------------------------------------------------------------------------- /checkout-parse_checkout_spec.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/checkout-parse_checkout_spec.adb -------------------------------------------------------------------------------- /checkout-write_checkout_spec.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/checkout-write_checkout_spec.adb -------------------------------------------------------------------------------- /checkout.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/checkout.adb -------------------------------------------------------------------------------- /checkout.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/checkout.ads -------------------------------------------------------------------------------- /child_processes-managed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-managed.adb -------------------------------------------------------------------------------- /child_processes-managed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-managed.ads -------------------------------------------------------------------------------- /child_processes-path_searching.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-path_searching.adb -------------------------------------------------------------------------------- /child_processes-path_searching.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-path_searching.ads -------------------------------------------------------------------------------- /child_processes-platform-binding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-platform-binding.c -------------------------------------------------------------------------------- /child_processes-platform.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-platform.adb -------------------------------------------------------------------------------- /child_processes-platform.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-platform.ads -------------------------------------------------------------------------------- /child_processes-standard_io.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-standard_io.adb -------------------------------------------------------------------------------- /child_processes-standard_io.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-standard_io.ads -------------------------------------------------------------------------------- /child_processes-wait_and_buffer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-wait_and_buffer.adb -------------------------------------------------------------------------------- /child_processes-wait_and_buffer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes-wait_and_buffer.ads -------------------------------------------------------------------------------- /child_processes.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes.adb -------------------------------------------------------------------------------- /child_processes.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/child_processes.ads -------------------------------------------------------------------------------- /configuration-executive.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-executive.adb -------------------------------------------------------------------------------- /configuration-generate_basic_config.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-generate_basic_config.adb -------------------------------------------------------------------------------- /configuration-step_1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-step_1.adb -------------------------------------------------------------------------------- /configuration-step_2.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-step_2.adb -------------------------------------------------------------------------------- /configuration-step_3a.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-step_3a.adb -------------------------------------------------------------------------------- /configuration-step_3b.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-step_3b.adb -------------------------------------------------------------------------------- /configuration-step_4.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration-step_4.adb -------------------------------------------------------------------------------- /configuration.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration.adb -------------------------------------------------------------------------------- /configuration.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/configuration.ads -------------------------------------------------------------------------------- /depreciation_handlers-aura_subdirectory-process_changes.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/depreciation_handlers-aura_subdirectory-process_changes.adb -------------------------------------------------------------------------------- /depreciation_handlers-aura_subdirectory.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/depreciation_handlers-aura_subdirectory.adb -------------------------------------------------------------------------------- /depreciation_handlers.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/depreciation_handlers.adb -------------------------------------------------------------------------------- /depreciation_handlers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/depreciation_handlers.ads -------------------------------------------------------------------------------- /host_operations-chmod_meta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/host_operations-chmod_meta.c -------------------------------------------------------------------------------- /host_operations.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/host_operations.adb -------------------------------------------------------------------------------- /host_operations.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/host_operations.ads -------------------------------------------------------------------------------- /platform_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/platform_config.py -------------------------------------------------------------------------------- /progress.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/progress.adb -------------------------------------------------------------------------------- /progress.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/progress.ads -------------------------------------------------------------------------------- /prototypes.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/prototypes.ads -------------------------------------------------------------------------------- /registrar-dependency_maps.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-dependency_maps.ads -------------------------------------------------------------------------------- /registrar-dependency_processing.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-dependency_processing.adb -------------------------------------------------------------------------------- /registrar-dependency_processing.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-dependency_processing.ads -------------------------------------------------------------------------------- /registrar-executive-library_unit_registration.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-library_unit_registration.adb -------------------------------------------------------------------------------- /registrar-executive-library_unit_registration.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-library_unit_registration.ads -------------------------------------------------------------------------------- /registrar-executive-library_units_request.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-library_units_request.adb -------------------------------------------------------------------------------- /registrar-executive-library_units_request.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-library_units_request.ads -------------------------------------------------------------------------------- /registrar-executive-subsystems_request.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-subsystems_request.adb -------------------------------------------------------------------------------- /registrar-executive-subsystems_request.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-subsystems_request.ads -------------------------------------------------------------------------------- /registrar-executive-unit_entry-execute-parse_pack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-unit_entry-execute-parse_pack.adb -------------------------------------------------------------------------------- /registrar-executive-unit_entry-execute-process_pack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-unit_entry-execute-process_pack.adb -------------------------------------------------------------------------------- /registrar-executive-unit_entry-execute-source_pack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-unit_entry-execute-source_pack.adb -------------------------------------------------------------------------------- /registrar-executive-unit_entry-execute.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-unit_entry-execute.adb -------------------------------------------------------------------------------- /registrar-executive-unit_entry.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-unit_entry.adb -------------------------------------------------------------------------------- /registrar-executive-unit_entry.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive-unit_entry.ads -------------------------------------------------------------------------------- /registrar-executive.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-executive.ads -------------------------------------------------------------------------------- /registrar-implementation_hashing-collection_orders.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-implementation_hashing-collection_orders.adb -------------------------------------------------------------------------------- /registrar-implementation_hashing-crunch_orders.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-implementation_hashing-crunch_orders.adb -------------------------------------------------------------------------------- /registrar-implementation_hashing.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-implementation_hashing.adb -------------------------------------------------------------------------------- /registrar-implementation_hashing.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-implementation_hashing.ads -------------------------------------------------------------------------------- /registrar-last_run.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-last_run.ads -------------------------------------------------------------------------------- /registrar-last_run_store.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-last_run_store.adb -------------------------------------------------------------------------------- /registrar-last_run_store.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-last_run_store.ads -------------------------------------------------------------------------------- /registrar-library_units.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-library_units.ads -------------------------------------------------------------------------------- /registrar-protected_map.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-protected_map.adb -------------------------------------------------------------------------------- /registrar-protected_map.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-protected_map.ads -------------------------------------------------------------------------------- /registrar-protected_set.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-protected_set.adb -------------------------------------------------------------------------------- /registrar-protected_set.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-protected_set.ads -------------------------------------------------------------------------------- /registrar-queries.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-queries.adb -------------------------------------------------------------------------------- /registrar-queries.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-queries.ads -------------------------------------------------------------------------------- /registrar-registration-unchecked_deregister_subsystem.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registration-unchecked_deregister_subsystem.adb -------------------------------------------------------------------------------- /registrar-registration-unchecked_deregister_subsystem.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registration-unchecked_deregister_subsystem.ads -------------------------------------------------------------------------------- /registrar-registration-unchecked_deregister_unit.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registration-unchecked_deregister_unit.adb -------------------------------------------------------------------------------- /registrar-registration-unchecked_deregister_unit.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registration-unchecked_deregister_unit.ads -------------------------------------------------------------------------------- /registrar-registration.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registration.adb -------------------------------------------------------------------------------- /registrar-registration.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registration.ads -------------------------------------------------------------------------------- /registrar-registry.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-registry.ads -------------------------------------------------------------------------------- /registrar-source_files-allocation.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-source_files-allocation.adb -------------------------------------------------------------------------------- /registrar-source_files-allocation.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-source_files-allocation.ads -------------------------------------------------------------------------------- /registrar-source_files.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-source_files.adb -------------------------------------------------------------------------------- /registrar-source_files.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-source_files.ads -------------------------------------------------------------------------------- /registrar-subsystems.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar-subsystems.ads -------------------------------------------------------------------------------- /registrar.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/registrar.ads -------------------------------------------------------------------------------- /repositories-aura_spec_handling-check_aura_spec-check_package_completion.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-aura_spec_handling-check_aura_spec-check_package_completion.adb -------------------------------------------------------------------------------- /repositories-aura_spec_handling-check_aura_spec-check_package_declaration.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-aura_spec_handling-check_aura_spec-check_package_declaration.adb -------------------------------------------------------------------------------- /repositories-aura_spec_handling-check_aura_spec-check_platform_values.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-aura_spec_handling-check_aura_spec-check_platform_values.adb -------------------------------------------------------------------------------- /repositories-aura_spec_handling-check_aura_spec-check_repository_formats.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-aura_spec_handling-check_aura_spec-check_repository_formats.adb -------------------------------------------------------------------------------- /repositories-aura_spec_handling-check_aura_spec.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-aura_spec_handling-check_aura_spec.adb -------------------------------------------------------------------------------- /repositories-aura_spec_handling.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-aura_spec_handling.adb -------------------------------------------------------------------------------- /repositories-cache-checkout_git.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-cache-checkout_git.adb -------------------------------------------------------------------------------- /repositories-cache-validate_local_or_system.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-cache-validate_local_or_system.adb -------------------------------------------------------------------------------- /repositories-cache.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-cache.adb -------------------------------------------------------------------------------- /repositories-cache.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-cache.ads -------------------------------------------------------------------------------- /repositories-repo_spec_handling-generate_repo_spec.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-repo_spec_handling-generate_repo_spec.adb -------------------------------------------------------------------------------- /repositories-repo_spec_handling-parse_repo_spec.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-repo_spec_handling-parse_repo_spec.adb -------------------------------------------------------------------------------- /repositories-repo_spec_handling.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories-repo_spec_handling.adb -------------------------------------------------------------------------------- /repositories.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories.adb -------------------------------------------------------------------------------- /repositories.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/repositories.ads -------------------------------------------------------------------------------- /scheduling-execute_image.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/scheduling-execute_image.adb -------------------------------------------------------------------------------- /scheduling-initialize_parameters.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/scheduling-initialize_parameters.adb -------------------------------------------------------------------------------- /scheduling-report_incomplete_subsystems.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/scheduling-report_incomplete_subsystems.adb -------------------------------------------------------------------------------- /scheduling-report_unavailable_subsystems.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/scheduling-report_unavailable_subsystems.adb -------------------------------------------------------------------------------- /scheduling.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/scheduling.adb -------------------------------------------------------------------------------- /scheduling.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/scheduling.ads -------------------------------------------------------------------------------- /specification_scanner-scan_generic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/specification_scanner-scan_generic.adb -------------------------------------------------------------------------------- /specification_scanner-scan_object.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/specification_scanner-scan_object.adb -------------------------------------------------------------------------------- /specification_scanner-scan_specification.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/specification_scanner-scan_specification.adb -------------------------------------------------------------------------------- /specification_scanner-scan_subprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/specification_scanner-scan_subprogram.adb -------------------------------------------------------------------------------- /specification_scanner.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/specification_scanner.adb -------------------------------------------------------------------------------- /specification_scanner.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/specification_scanner.ads -------------------------------------------------------------------------------- /stream_hashing-collective.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/stream_hashing-collective.adb -------------------------------------------------------------------------------- /stream_hashing-collective.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/stream_hashing-collective.ads -------------------------------------------------------------------------------- /stream_hashing.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/stream_hashing.adb -------------------------------------------------------------------------------- /stream_hashing.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/stream_hashing.ads -------------------------------------------------------------------------------- /ui_primitives.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/ui_primitives.adb -------------------------------------------------------------------------------- /ui_primitives.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/ui_primitives.ads -------------------------------------------------------------------------------- /unit_names-hash.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/unit_names-hash.adb -------------------------------------------------------------------------------- /unit_names-hash.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/unit_names-hash.ads -------------------------------------------------------------------------------- /unit_names-sets.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/unit_names-sets.ads -------------------------------------------------------------------------------- /unit_names.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/unit_names.adb -------------------------------------------------------------------------------- /unit_names.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/unit_names.ads -------------------------------------------------------------------------------- /user_notices.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/user_notices.adb -------------------------------------------------------------------------------- /user_notices.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/user_notices.ads -------------------------------------------------------------------------------- /user_queries.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/user_queries.adb -------------------------------------------------------------------------------- /user_queries.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/user_queries.ads -------------------------------------------------------------------------------- /validation-vsd_orders.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/validation-vsd_orders.adb -------------------------------------------------------------------------------- /validation.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/validation.adb -------------------------------------------------------------------------------- /validation.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/validation.ads -------------------------------------------------------------------------------- /workers-reporting.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/workers-reporting.adb -------------------------------------------------------------------------------- /workers-reporting.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/workers-reporting.ads -------------------------------------------------------------------------------- /workers.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/workers.adb -------------------------------------------------------------------------------- /workers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/annexi-strayline/AURA/HEAD/workers.ads --------------------------------------------------------------------------------