projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1637a3a)
only NLnet sponsor
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 24 Oct 2022 21:05:54 +0000 (22:05 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 24 Oct 2022 21:05:54 +0000 (22:05 +0100)
src/soc/experiment/formal/proof_compalu_multi.py patch | blob | history

diff --git a/src/soc/experiment/formal/proof_compalu_multi.py b/src/soc/experiment/formal/proof_compalu_multi.py
index 2bab836ab8f2eda3778383ed0811303972250e3e..39cad4706b72ae88c263225925739d48b1035ee5 100644 (file)
--- a/src/soc/experiment/formal/proof_compalu_multi.py
+++ b/src/soc/experiment/formal/proof_compalu_multi.py
@@ -1,6 +1,6 @@
 # SPDX-License-Identifier: LGPLv3+
 # Copyright (C) 2022 Cesar Strauss <cestrauss@gmail.com>
-# Sponsored by NLnet and NGI POINTER under EU Grants 871528 and 957073
+# Sponsored by NLnet under EU Grant and 957073
 # Part of the Libre-SOC Project.
 
 """