{"id":19863478,"url":"https://github.com/sandialabs/elaenia","last_synced_at":"2025-02-28T23:16:12.110Z","repository":{"id":259983536,"uuid":"879931163","full_name":"sandialabs/elaenia","owner":"sandialabs","description":"Automated Error Analysis of Numerical Software for High-Consequence Systems","archived":false,"fork":false,"pushed_at":"2025-01-30T20:38:00.000Z","size":412,"stargazers_count":6,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-02-23T16:53:17.296Z","etag":null,"topics":["floating-point","formal-methods","scr-3087","snl-other"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sandialabs.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-10-28T20:00:18.000Z","updated_at":"2025-01-30T20:38:03.000Z","dependencies_parsed_at":"2024-10-28T23:36:15.056Z","dependency_job_id":null,"html_url":"https://github.com/sandialabs/elaenia","commit_stats":null,"previous_names":["sandialabs/elaenia"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sandialabs%2Felaenia","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sandialabs%2Felaenia/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sandialabs%2Felaenia/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sandialabs%2Felaenia/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sandialabs","download_url":"https://codeload.github.com/sandialabs/elaenia/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241272625,"owners_count":19937091,"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":["floating-point","formal-methods","scr-3087","snl-other"],"created_at":"2024-11-12T15:14:49.127Z","updated_at":"2025-02-28T23:16:12.086Z","avatar_url":"https://github.com/sandialabs.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Elaenia: Automated Error Analysis of Numerical Software for High-Consequence Systems\n\nThis repository provides tools and techniques for automated\nfloating-point error analysis of C programs with the goal of making it\neasier to specify and verify behavior of numerics-heavy C programs, with\na focus on embedded systems.\n\n## Structure of this Repository\n\nThis project began with exploration into a Frama-C plug-in. We soon\nrealized that the ReFlow project provides better opportunities for\nimprovement rather than writing our own Frama-C plug-ins. This is now\nmaintained as a fork for [ReFlow](https://github.com/nasa/reflow).\n\n- examples - example functions for analysis. They are ordered in\n  increasing complexity as follows\n    1. 01_straightline - No control flow, no transcendentals.\n    2. 02_transcend    - No control flow, transcendentals (sin, cos, sqrt)\n    3. 03_vectors      - No control flow, but operations on vectors\n    4. 04_matrices     - Operations on matrices\n    5. 05_kalman       - Various Kalman filter examples\n\n- acsl - Proposed language extensions for the ANSI C Specification\n  Language (ACLS) to better support compositional floating-point\n  reasoning.\n\n## About\n\nThis work is funded by Sandia National Laboratories' Laboratory\nDirected Research \u0026 Development (LDRD) program, project 24-1299:\n\"Automated Error Analysis of Numerical Kernels for High-Consequence\nSystems with Frama-C\" and project 25-0103: \"Automated Error Analysis of\nNumerical Software for High-Consequence Systems.\"\n\n\nSandia National Laboratories is a multimission laboratory managed and\noperated by National Technology and Engineering Solutions of Sandia,\nLLC., a wholly owned subsidiary of Honeywell International, Inc., for\nthe U.S. Department of Energy’s National Nuclear Security Administration\nunder contract DE-NA-0003525.\n\nThe name Elaenia is taken from the name of an album by a band called\nFloating Points. It is also a kind of bird.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsandialabs%2Felaenia","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsandialabs%2Felaenia","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsandialabs%2Felaenia/lists"}