The Copilot Runtime Verification Framework
Summary
[Copilot Language and Runtime Verification System](https://copilot-language.github.io/) is a stream-based runtime-verification framework for generating hard real-time C code.
Owner
- Name: Frank Dedden
- Email: <frank@systemf.dev>
- Name: Jens Petersen
- Email: <petersen@redhat.com>
Current status
- Targeted release: Fedora Linux 42
- Last updated: 2024-09-20
- [Announced]
- [<will be assigned by the Wrangler> Discussion thread]
- FESCo issue: <will be assigned by the Wrangler>
- Tracker bug: <will be assigned by the Wrangler>
- Release notes tracker: <will be assigned by the Wrangler>
Detailed Description
Copilot is a realtime programming language and Runtime Verification framework. It allows users to write concise programs in a simple but powerful way using a stream-based approach.
Programs can be interpreted for testing, or translated C99 code to be incorporated in a project, or as a standalone application. The C99 backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements.
Feedback
Benefit to Fedora
Scope
- Proposal owners:
- build the copilot stack for Rawhide
- currently 3.19 is packaged but FIXME is planned for Fedora 42.
- Other developers:
- Release engineering: #Releng issue number
- Policies and guidelines: N/A (not needed for this Change)
- Trademark approval: N/A (not needed for this Change)
- Alignment with the Fedora Strategy:
Upgrade/compatibility impact
Early Testing (Optional)
Do you require 'QA Blueprint' support? Y/N
How To Test
sudo dnf install ghc-copilot-devel
User Experience
Dependencies
Contingency Plan
- Contingency mechanism: (What to do? Who will do it?) N/A (not a System Wide Change)
- Contingency deadline: N/A (not a System Wide Change)
- Blocks release? N/A (not a System Wide Change), Yes/No
Documentation
- https://www.reddit.com/r/haskell/comments/1ff4twu/ann_copilot_language_available_in_fedora/
N/A (not a System Wide Change)