(no commit message)

diff --git a/3d_gpu/architecture/dynamic_simd.mdwn b/3d_gpu/architecture/dynamic_simd.mdwn
index e2e694da11585edd9f51f9e745b9b6b027d4279b..6cc694b98939877feedf426672497a17617a0905 100644 (file)
--- 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.