From 173f4b5fbd4cc7841698846816c595889dff2db0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Thu, 22 Feb 2024 22:03:44 +0100
Subject: [PATCH 1/4] Bump Claire's notices

---
 README.md       | 2 +-
 kernel/yosys.cc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 3be1b4c2e..660bd5c6d 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 ```
 yosys -- Yosys Open SYnthesis Suite
 
-Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>
+Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index c7f5bebda..6d33ad96c 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -141,7 +141,7 @@ void yosys_banner()
 	log(" |                                                                            |\n");
 	log(" |  yosys -- Yosys Open SYnthesis Suite                                       |\n");
 	log(" |                                                                            |\n");
-	log(" |  Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
+	log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
 	log(" |                                                                            |\n");
 	log(" |  Permission to use, copy, modify, and/or distribute this software for any  |\n");
 	log(" |  purpose with or without fee is hereby granted, provided that the above    |\n");

From f7737a12ca8fc0d9d53bf070332e3cc22d2ed82f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Thu, 22 Feb 2024 22:14:32 +0100
Subject: [PATCH 2/4] Cut down startup banner

---
 kernel/register.cc | 40 ++++++++++++++++++++++++++++++++++++++++
 kernel/yosys.cc    | 14 +-------------
 2 files changed, 41 insertions(+), 13 deletions(-)

diff --git a/kernel/register.cc b/kernel/register.cc
index 1853e94d5..b5485e06d 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -992,4 +992,44 @@ struct MinisatSatSolver : public SatSolver {
 	}
 } MinisatSatSolver;
 
+struct LicensePass : public Pass {
+	LicensePass() : Pass("license", "print license terms") { }
+	void help() override
+	{
+		log("\n");
+		log("    license\n");
+		log("\n");
+		log("This command produces the following notice.\n");
+		notice();
+	}
+	void execute(std::vector<std::string> args, RTLIL::Design*) override
+	{
+		notice();
+	}
+	void notice()
+	{
+		log("\n");
+		log(" /----------------------------------------------------------------------------\\\n");
+		log(" |                                                                            |\n");
+		log(" |  yosys -- Yosys Open SYnthesis Suite                                       |\n");
+		log(" |                                                                            |\n");
+		log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
+		log(" |                                                                            |\n");
+		log(" |  Permission to use, copy, modify, and/or distribute this software for any  |\n");
+		log(" |  purpose with or without fee is hereby granted, provided that the above    |\n");
+		log(" |  copyright notice and this permission notice appear in all copies.         |\n");
+		log(" |                                                                            |\n");
+		log(" |  THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES  |\n");
+		log(" |  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF          |\n");
+		log(" |  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR   |\n");
+		log(" |  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES    |\n");
+		log(" |  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN     |\n");
+		log(" |  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF   |\n");
+		log(" |  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.            |\n");
+		log(" |                                                                            |\n");
+		log(" \\----------------------------------------------------------------------------/\n");
+		log("\n");
+	}
+} LicensePass;
+
 YOSYS_NAMESPACE_END
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 6d33ad96c..fe158bc87 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -140,20 +140,8 @@ void yosys_banner()
 	log(" /----------------------------------------------------------------------------\\\n");
 	log(" |                                                                            |\n");
 	log(" |  yosys -- Yosys Open SYnthesis Suite                                       |\n");
-	log(" |                                                                            |\n");
 	log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
-	log(" |                                                                            |\n");
-	log(" |  Permission to use, copy, modify, and/or distribute this software for any  |\n");
-	log(" |  purpose with or without fee is hereby granted, provided that the above    |\n");
-	log(" |  copyright notice and this permission notice appear in all copies.         |\n");
-	log(" |                                                                            |\n");
-	log(" |  THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES  |\n");
-	log(" |  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF          |\n");
-	log(" |  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR   |\n");
-	log(" |  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES    |\n");
-	log(" |  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN     |\n");
-	log(" |  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF   |\n");
-	log(" |  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.            |\n");
+	log(" |  Distributed under an ISC-like license, type \"license\" to see terms        |\n");
 	log(" |                                                                            |\n");
 	log(" \\----------------------------------------------------------------------------/\n");
 	log("\n");

From b5b737de3887d77f117d99d3fad21a4eeb97953e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Thu, 22 Feb 2024 22:20:35 +0100
Subject: [PATCH 3/4] Shrink a bit more

---
 kernel/yosys.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index fe158bc87..444f597ca 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -138,11 +138,9 @@ void yosys_banner()
 {
 	log("\n");
 	log(" /----------------------------------------------------------------------------\\\n");
-	log(" |                                                                            |\n");
 	log(" |  yosys -- Yosys Open SYnthesis Suite                                       |\n");
 	log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
 	log(" |  Distributed under an ISC-like license, type \"license\" to see terms        |\n");
-	log(" |                                                                            |\n");
 	log(" \\----------------------------------------------------------------------------/\n");
 	log("\n");
 	log(" %s\n", yosys_version_str);

From dd11a5a37c8f000dadddb5ea778289408f43dd0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Mon, 26 Feb 2024 16:25:46 +0100
Subject: [PATCH 4/4] Shrink further

---
 kernel/yosys.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 444f597ca..20f9791c6 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -142,9 +142,7 @@ void yosys_banner()
 	log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
 	log(" |  Distributed under an ISC-like license, type \"license\" to see terms        |\n");
 	log(" \\----------------------------------------------------------------------------/\n");
-	log("\n");
 	log(" %s\n", yosys_version_str);
-	log("\n");
 }
 
 int ceil_log2(int x)