[Libre-soc-bugs] [Bug 388] Write HDL tutorial documenting bpermd development and formal proof process
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Fri Jul 1 09:15:55 BST 2022
https://bugs.libre-soc.org/show_bug.cgi?id=388
Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:
What |Removed |Added
----------------------------------------------------------------------------
total budget (EUR)|150 |0
for completion of| |
task and all| |
subtasks| |
parent task for|384 |
budget allocation| |
budget (EUR) for|150 |0
this task,| |
excluding| |
subtasks' budget| |
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the libre-soc-bugs
mailing list