[Libre-soc-bugs] [Bug 1036] Formal Proof for LDSTCompUnit is needed
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Wed Aug 2 20:38:18 BST 2023
https://bugs.libre-soc.org/show_bug.cgi?id=1036
Toshaan Bharvani <toshaan at vantosh.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
The table of|cesar=0
|#cesar=0
payments (in EUR)|lkcl=0 |#lkcl=0
for this task;| |
TOML format| |
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the libre-soc-bugs
mailing list