(no commit message)

[libreriscv.git] / nlnet_proposals.mdwn

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index fd29bf385b4bf4a7efbf657b9fac0bcf4992f99f..2e06d347d56eba66076a59ea19764c50c3438f2a 100644 (file)
--- a/nlnet_proposals.mdwn
+++ b/nlnet_proposals.mdwn
@@ -1,18 +1,25 @@
 # NLNet Proposals
 
 * [[nlnet_2018]] - accepted, underway
-
-* [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (frieder)
+* [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (lauri)
 * [[nlnet_2019_coriolis2]] - submitted 2019sep22 - submitter found (lip6.fr)
 * Additional related proposal from Chips4Makers - submitter found (chips4makers)
 * [[nlnet_2019_formal]] - submitted 2019sep23 - submitter found (dan)
 * [[nlnet_2019_amdvlk_port]] - submitted 2019sep23 (withdrawn),
-  added RADV, re-submitted 2019sep26 - submitter found (thierry)
+  added RADV, re-submitted 2019sep26 - submitter found (frieder)
 * [[nlnet_2019_gcc]] - submitted 2019sep23 - submitter found (wim)
 * [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26 - submitter found (hank)
 * [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp)
 * [[nlnet_2019_opencl]] - submitted 2019sep29 - submitter found (michael)
 
+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>
@@ -29,3 +36,7 @@
 # OpenCL links
 
 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002857.html>
+
+# Formal Proofs
+
+Evgeny Ukhanov.