From 2e806cd90755e49b1e06b6c537f492728301c60e Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 11 Feb 2021 08:27:13 +0000
Subject: [PATCH]

---
 3d_gpu/architecture/dynamic_simd.mdwn | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/3d_gpu/architecture/dynamic_simd.mdwn b/3d_gpu/architecture/dynamic_simd.mdwn
index 1e2cf1abe..a7bc929ee 100644
--- a/3d_gpu/architecture/dynamic_simd.mdwn
+++ b/3d_gpu/architecture/dynamic_simd.mdwn
@@ -2,8 +2,9 @@
 
 Links:
 
-* <https://bugs.libre-soc.org/show_bug.cgi?id=458>
-* <https://bugs.libre-soc.org/show_bug.cgi?id=594>
+* <https://bugs.libre-soc.org/show_bug.cgi?id=458> 
+* <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC
+* <https://bugs.libre-soc.org/show_bug.cgi?id=565> Formal proof
 
 To save hugely on gate count the normal practice of having separate scalar ALUs and separate SIMD ALUs is not followed.
 
-- 
2.30.2