X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=nlnet_proposals.mdwn;h=f819f3ce5eca33040f0e657f21107a784f6ce848;hb=c68121b2fe626ec81aa97af797029606e52b54a0;hp=c5805c2a1d3a7b15d3644cfd89c1931bdc8e675f;hpb=1c86c44f8a0ec3b231446568357a2a30e2aa6dd8;p=libreriscv.git

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index c5805c2a1..f819f3ce5 100644
--- a/nlnet_proposals.mdwn
+++ b/nlnet_proposals.mdwn
@@ -1,20 +1,36 @@
 # NLNet Proposals
 
+* Idea: robotics proposal (TBD, jacky)
+
+## accepted
+
 * [[nlnet_2018]] - accepted, underway
-* [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (frieder)
-* [[nlnet_2019_coriolis2]] - submitted 2019sep22 - submitter found (lip6.fr)
-* Additional related proposal from Chips4Makers - submitter found (chips4makers)
-* [[nlnet_2019_formal]] - submitted 2019sep23
+* [[nlnet_2019_coriolis2]] - submitted 2019sep22 - submitter found (lip6.fr) - questions received 22nov2019 - accepted 20dec2019, MOU TBD
+* [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (lauri) - questions received 22nov2019 - accepted 20dec2019, MOU TBD
+* [[nlnet_2019_formal]] - submitted 2019sep23 - submitter found (dan) - questions received 22nov2019 - accepted 20dec2019, MOU TBD
 * [[nlnet_2019_amdvlk_port]] - submitted 2019sep23 (withdrawn),
-  added RADV, re-submitted 2019sep26 - submitter found (thierry)
-* [[nlnet_2019_gcc]] - submitted 2019sep23 - submitter found (wim)
-* [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26
-* [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp)
-* [[nlnet_2019_opencl]] - submitted TODO - submitter found (michael)
+  added RADV, re-submitted 2019sep26 - submitter found (frieder) - questions received 22nov2019 - accepted 20dec2019, MOU TBD
+* [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26 - submitter found (hank)  - accepted 20dec2019, MOU TBD
+* [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp)  - accepted 20dec2019, MOU TBD
+* Additional related proposal from Chips4Makers - submitter found (chips4makers) - accepted 20dec2019
+
+## not accepted / withdrawn
+
+* [[nlnet_2019_gcc]] - submitted 2019sep23 - submitter found (wim) - WITHDRAWN
+* [[nlnet_2019_opencl]] - submitted 2019sep29 - submitter found (michael) - WITHDRAWN
+
+## Standby submitters
+
+* Felix (Spain)
+* Thierry (Belgium)
+* jacky (germany / taiwan)
+* chris (via purism)
+* caliga
 
 # MESA RADV Discussion links
 
 * <https://lists.freedesktop.org/archives/mesa-dev/2019-September/223578.html>
+* <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-January/003302.html>
 
 # gcc links
 
@@ -28,3 +44,7 @@
 # OpenCL links
 
 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002857.html>
+
+# Formal Proofs
+
+Evgeny Ukhanov.