From cbfb74770b41609a3590c3d69f01dc36612309c2 Mon Sep 17 00:00:00 2001 From: R Veera Kumar Date: Wed, 13 Jul 2022 08:31:48 +0530 Subject: [PATCH] Update page for submitted RFPs --- veera.mdwn | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) 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 - 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: -- 2.30.2