projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 98962b1)
Provide full name and email in copyright notice.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Thu, 3 Sep 2020 22:12:58 +0000 (15:12 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Thu, 3 Sep 2020 22:12:58 +0000 (15:12 -0700)
src/soc/fu/mul/formal/proof_main_stage.py patch | blob | history

diff --git a/src/soc/fu/mul/formal/proof_main_stage.py b/src/soc/fu/mul/formal/proof_main_stage.py
index 51019e242d544d85f79cdce16b303961f5ce1fd4..0cf767f341668663a4f4c736af5aea5625c1c0d2 100644 (file)
--- a/src/soc/fu/mul/formal/proof_main_stage.py
+++ b/src/soc/fu/mul/formal/proof_main_stage.py
@@ -1,7 +1,7 @@
 # Proof of correctness for multiplier
 # Copyright (C) 2020 Michael Nolan <mtnolan2640@gmail.com>
 # Copyright (C) 2020 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
-# Copyright (C) 2020 Samuel Falvo
+# Copyright (C) 2020 Samuel A. Falvo II <kc5tja@arrl.net>
 
 """Formal Correctness Proof for POWER9 multiplier