From 6b02b3a99703f7f04739697e941c294a9b9c9cc1 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 20 May 2020 16:27:26 +0100 Subject: [PATCH] add cross-reference to bugtracker and wiki --- src/soc/fu/logical/formal/proof_main_stage.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/soc/fu/logical/formal/proof_main_stage.py b/src/soc/fu/logical/formal/proof_main_stage.py index 996099f9..b8f3f396 100644 --- a/src/soc/fu/logical/formal/proof_main_stage.py +++ b/src/soc/fu/logical/formal/proof_main_stage.py @@ -1,5 +1,10 @@ # Proof of correctness for partitioned equal signal combiner # Copyright (C) 2020 Michael Nolan +""" +Links: + * https://bugs.libre-soc.org/show_bug.cgi?id=331 + * https://libre-soc.org/openpower/isa/fixedlogical/ +""" from nmigen import (Module, Signal, Elaboratable, Mux, Cat, Repl, signed) -- 2.30.2