# 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=458> m.If/Switch
* <https://bugs.libre-soc.org/show_bug.cgi?id=707> Limited Cat
* <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC for nmigen integration
* <https://bugs.libre-soc.org/show_bug.cgi?id=565> Formal proof of PartitionedSignal