projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
540346a
)
Tried markdown link syntax but didn't work
author
Samuel A. Falvo II
<kc5tja@arrl.net>
Fri, 10 Jul 2020 04:22:59 +0000
(21:22 -0700)
committer
Samuel A. Falvo II
<kc5tja@arrl.net>
Fri, 10 Jul 2020 04:22:59 +0000
(21:22 -0700)
Samuel_A_Falvo_II.mdwn
patch
|
blob
|
history
diff --git
a/Samuel_A_Falvo_II.mdwn
b/Samuel_A_Falvo_II.mdwn
index 97a104f79be64a869735b399ba4c6fc8b2158f31..81dafb41dfdf23d095118f557aec5a8df4688bd8 100644
(file)
--- a/
Samuel_A_Falvo_II.mdwn
+++ b/
Samuel_A_Falvo_II.mdwn
@@
-8,7
+8,7
@@
Move things along from one stage to the next.
## Currently working on
- -
[https://bugs.libre-soc.org/show_bug.cgi?id=418](SPR pipeline formal correctness proof needed)
+ -
<https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
## Completed but not yet submitted: