Bug 903 - Formal proof for nmigen.queue.Queue
Summary: Formal proof for nmigen.queue.Queue
Status: RESOLVED FIXED
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Formal Verification (show other bugs)
Version: unspecified
Hardware: PC Linux
: --- enhancement
Assignee: Jacob Lifshay
URL:
Depends on:
Blocks: 198
  Show dependency tree / graph
 
Reported: 2022-08-05 05:51 BST by Jacob Lifshay
Modified: 2022-08-28 17:53 BST (History)
3 users (show)

See Also:
NLnet milestone: ---
total budget (EUR) for completion of task and all subtasks: 0
budget (EUR) for this task, excluding subtasks' budget: 0
parent task for budget allocation:
child tasks for budget allocation:
The table of payments (in EUR) for this task; TOML format:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jacob Lifshay 2022-08-05 05:51:37 BST 
Write formal correctness proof for Queue