Bug 2353397 - The Copilot Runtime Verification Framework
Summary: The Copilot Runtime Verification Framework
Keywords:
Status: ON_QA
Alias: None
Product: Fedora
Classification: Fedora
Component: Changes Tracking
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact:
URL:
Whiteboard:
Depends On:
Blocks: F42Changes
TreeView+ depends on / blocked
 
Reported: 2025-03-19 18:00 UTC by Aoife Moloney
Modified: 2025-04-07 10:33 UTC (History)
1 user (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed:
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Aoife Moloney 2025-03-19 18:00:27 UTC 
This is a tracking bug for Change: The Copilot Runtime Verification Framework
For more details, see: https://fedoraproject.org/wiki/Changes/Copilot_Runtime_Verification_Framework

Copilot Language and Runtime Verification System is 
a stream-based runtime-verification framework for generating hard real-time C code.

If you encounter a bug related to this Change, please do not comment here. Instead create a new bug and set it to block this bug.
Note You need to log in before you can comment on or make changes to this bug.