From 364340fcaa64ca91a9fb5a4befcaba847fc08e7a Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Sat, 30 Nov 2024 20:37:02 -0800 Subject: [PATCH] submitted to NLNet, add NLNet's grant proposal ID --- src/SUMMARY.md | 2 +- src/grants/nlnet-first.md | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 8f2ce4d..60b3b40 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -2,7 +2,7 @@ * [Proposal for Libre-Chip's First CPU Architecture](first_arch/index.md) * [Register Renaming](first_arch/register_renaming.md) * [Grants](grants/index.md) - * [First NLNet Grant Proposal](grants/nlnet-first.md) + * [First NLNet Grant Proposal -- 2024-12-324](grants/nlnet-first.md) * [Conduct](Conduct.md) * [License](LICENSE.md) * [GPL 3.0](gpl-3.0.md) diff --git a/src/grants/nlnet-first.md b/src/grants/nlnet-first.md index cacfb59..556604a 100644 --- a/src/grants/nlnet-first.md +++ b/src/grants/nlnet-first.md @@ -1,4 +1,4 @@ -# First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs +# First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs -- 2024-12-324 Project Name: Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs @@ -21,8 +21,6 @@ design and formal verification. Presented the talk "An introduction to Formal Verification of Digital Circuits" on FOSDEM 2024 (). -* Others... TODO - # Requested support Requested Amount €50000