projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
42f2a8e
)
Work completed (and paid) on Bug #475
author
Cesar_Strauss
<Cesar_Strauss@web>
Thu, 5 Aug 2021 10:34:42 +0000
(11:34 +0100)
committer
IkiWiki
<ikiwiki.info>
Thu, 5 Aug 2021 10:34:42 +0000
(11:34 +0100)
Cesar_Strauss.mdwn
patch
|
blob
|
history
diff --git
a/Cesar_Strauss.mdwn
b/Cesar_Strauss.mdwn
index 940d91d2b610d1467b76ccf2b855b0403d2a9370..683c27adb1f017ec0f7dd4e94bcf78f3e509b5ab 100644
(file)
--- a/
Cesar_Strauss.mdwn
+++ b/
Cesar_Strauss.mdwn
@@
-50,11
+50,6
@@
unit tests.
<https://bugs.libre-soc.org/show_bug.cgi?id=350>
Priority: Medium-ish
-10. Find root cause of cxxsim hang
- <https://bugs.libre-soc.org/show_bug.cgi?id=475#c2>
- Status: ongoing
- Priority: High
-
11. Formal Proof for CompUnit
<https://bugs.libre-soc.org/show_bug.cgi?id=342>