{"id":13408406,"url":"https://github.com/Componolit/ada-runtime","last_synced_at":"2025-03-14T13:31:04.965Z","repository":{"id":46700121,"uuid":"136599102","full_name":"Componolit/ada-runtime","owner":"Componolit","description":null,"archived":true,"fork":false,"pushed_at":"2022-08-02T09:12:12.000Z","size":7915,"stargazers_count":33,"open_issues_count":8,"forks_count":3,"subscribers_count":8,"default_branch":"master","last_synced_at":"2024-07-31T20:30:24.299Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Ada","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"agpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Componolit.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2018-06-08T09:38:27.000Z","updated_at":"2023-05-27T15:16:05.000Z","dependencies_parsed_at":"2022-09-03T20:00:19.683Z","dependency_job_id":null,"html_url":"https://github.com/Componolit/ada-runtime","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Componolit%2Fada-runtime","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Componolit%2Fada-runtime/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Componolit%2Fada-runtime/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Componolit%2Fada-runtime/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Componolit","download_url":"https://codeload.github.com/Componolit/ada-runtime/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243584165,"owners_count":20314713,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-07-30T20:00:52.677Z","updated_at":"2025-03-14T13:31:04.323Z","avatar_url":"https://github.com/Componolit.png","language":"Ada","readme":"# Generic Ada Runtime [![CI](https://github.com/Componolit/ada-runtime/workflows/CI/badge.svg)](https://github.com/Componolit/ada-runtime/actions)\n\nThe generic Ada runtime is a downsized Ada runtime which can be adapted to different platforms.\nThe offered feature set is a tradeoff between complexity and useful features.\n\n## Features\n\nThe runtime includes a variety of specs providing types and compiler intrinsics.\nIt furthermore adds a small selection of more complex features:\n\n- Secondary stack\n  - SPARK proof:\n    no runtime errors,\n    safe program abort in case of stack overflow, stack underflow or invalid stack count\n- 64bit arithmetic\n  - SPARK proof:\n    addition and subtraction with overflow check have no runtime errors,\n    both functions perform a correct addition/subtraction\n- Exception support\n  - Exceptions can only be thrown but not catched, there is only a last chance handler available\n\n## Platforms\n\n- Posix/Linux\n- [Genode](https://genode.org/)\n- nRF52832\n- STM32F051\n- ESP8266 on Arduino\n\n## Directory Structure\n\n- `contrib/`: external sources (GCC 8.3)\n- `platform/`: platform-specific sources of Ada runtime\n- `src/`: Ada runtime sources\n- `tests/`: test sources\n- `build`: platform specific build directories\n\n## Platform-specific Symbols\n\nTo enable a new platform for this runtime the platform needs to provide a set of linker symbols.\nPlease have a look into the [platform interface](doc/Platform-interface.md) description.\n","funding_links":[],"categories":["Runtimes"],"sub_categories":["Continuous Integration"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FComponolit%2Fada-runtime","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FComponolit%2Fada-runtime","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FComponolit%2Fada-runtime/lists"}