From f48a5ff55fd09acbaaf9bca32a61478918289afe Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sat, 13 Feb 2021 12:15:24 +0000
Subject: [PATCH]

---
 3d_gpu/architecture/dynamic_simd.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/3d_gpu/architecture/dynamic_simd.mdwn b/3d_gpu/architecture/dynamic_simd.mdwn
index e2e694da1..6cc694b98 100644
--- a/3d_gpu/architecture/dynamic_simd.mdwn
+++ b/3d_gpu/architecture/dynamic_simd.mdwn
@@ -5,7 +5,9 @@ Links:
 * <https://bugs.libre-soc.org/show_bug.cgi?id=458> m.If/Switch 
 * <https://bugs.libre-soc.org/show_bug.cgi?id=115> top level SIMD
 * <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC
-* <https://bugs.libre-soc.org/show_bug.cgi?id=565> Formal proof
+* <https://bugs.libre-soc.org/show_bug.cgi?id=565> Formal proof of PartitionedSignal
+* <https://bugs.libre-soc.org/show_bug.cgi?id=596> Formal proof of PartitionedSignal nmigen interaction
+
 
 To save hugely on gate count the normal practice of having separate scalar ALUs and separate SIMD ALUs is not followed.
 
-- 
2.30.2