From: R Veera Kumar <vklr@vkten.in>
Date: Wed, 13 Jul 2022 03:01:48 +0000 (+0530)
Subject: Update page for submitted RFPs
X-Git-Tag: opf_rfc_ls005_v1~1204
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cbfb74770b41609a3590c3d69f01dc36612309c2;p=libreriscv.git

Update page for submitted RFPs
---

diff --git a/veera.mdwn b/veera.mdwn
index cbb3a0587..047b1a08f 100644
--- a/veera.mdwn
+++ b/veera.mdwn
@@ -8,17 +8,16 @@ Helping Core Hardware developers.
 
 ## Currently working on
 
-### NLNet.2019.10.032.Formal
-
-* [Bug #883](https://bugs.libre-soc.org/show_bug.cgi?id=883):
-  add cvc5 and bitwuzla to hdl-yosys-tools
-
 ## Currently deffered
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=602> Low performance bare minimum functionality SIMD emulator required
 
 ## Completed but not yet submitted:
 
+## Submitted for NLNet RFP
+
+submitted but not confirmed paid:
+
 ### NLNet.2019.10.046.Standards
 
 * [Bug #839](https://bugs.libre-soc.org/show_bug.cgi?id=839):
@@ -29,15 +28,14 @@ Helping Core Hardware developers.
 * [Bug #847](https://bugs.libre-soc.org/show_bug.cgi?id=847):
   dev\-env\-setup script for binutils-gdb for target powerpc64le\-linux\-gnu
 
+* [Bug #883](https://bugs.libre-soc.org/show_bug.cgi?id=883):
+  add cvc5 and bitwuzla to hdl-yosys-tools
+
 ### NLNet.2019.10.043.Wishbone
 
 * [Bug #878](https://bugs.libre-soc.org/show_bug.cgi?id=878):
   image conversion explaining multi-issue
 
-## Submitted for NLNet RFP
-
-submitted but not confirmed paid:
-
 ## Paid
 
 donation from NLNet confirmed received: