From unknown Fri Aug 15 03:38:35 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#78215 <78215@debbugs.gnu.org> To: bug#78215 <78215@debbugs.gnu.org> Subject: Status: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. Reply-To: bug#78215 <78215@debbugs.gnu.org> Date: Fri, 15 Aug 2025 10:38:35 +0000 retitle 78215 [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. reassign 78215 guix-patches submitter 78215 Cayetano Santos severity 78215 normal tag 78215 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri May 02 10:54:48 2025 Received: (at submit) by debbugs.gnu.org; 2 May 2025 14:54:48 +0000 Received: from localhost ([127.0.0.1]:60319 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uArmp-0008HQ-SB for submit@debbugs.gnu.org; Fri, 02 May 2025 10:54:48 -0400 Received: from lists.gnu.org ([2001:470:142::17]:56634) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uArmm-0008H9-S6 for submit@debbugs.gnu.org; Fri, 02 May 2025 10:54:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArmg-0002DI-W2 for guix-patches@gnu.org; Fri, 02 May 2025 10:54:39 -0400 Received: from latitanza.investici.org ([82.94.249.234]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArme-00028b-Ej for guix-patches@gnu.org; Fri, 02 May 2025 10:54:38 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1746197673; bh=9k4HswwPW6tse0i22nyvFjyWuA//N4h+p8/AJK2JDuk=; h=From:To:Cc:Subject:Date:From; b=bhp1K57KgRsJIFXYMbEywiLRS5tJvGYyFqtOPMD5tdVBW++rFIXMki9U7XF0sSV7K aYRLABPFgpjT431KlmG5Sp2Y4JnHiDczy9e9nuIQUjwJArYGBy4Kc47qeqJn86J9/1 v0Ctw3RMOSKCwsCUK73vSg/IEKund3rZ1N8Th8LI= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4Zpv8T4hfdzGp4Z; Fri, 2 May 2025 14:54:33 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4Zpv8T2KR8zGp44; Fri, 2 May 2025 14:54:33 +0000 (UTC) From: Cayetano Santos To: guix-patches@gnu.org Subject: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. Date: Fri, 2 May 2025 16:52:04 +0200 Message-ID: X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 X-Debbugs-Cc: Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=82.94.249.234; envelope-from=csantosb@inventati.org; helo=latitanza.investici.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: Cayetano Santos X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) * gnu/packages/electronics.scm (symbiyosis): Use abc-yosyshq. Change-Id: I7cc78cbf8cff232996bdb243cbd2585b593b2c89 --- Symbiyosys, by YosysHQ, uses a fork of abc from Berkeley, that guix packages as abc-yosyshq. Using it fixes previous errors in some of the tests, and we can reactivate them. [arguments] <#:phases> {disable-abc-tests}: Remove. [inputs]: Replace abc by abc-yosyshq. gnu/packages/electronics.scm | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index d63511ff22..4df7064243 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -724,19 +724,9 @@ (define-public symbiyosys (substitute* "sbysrc/sby.py" (("/usr/bin/env python") (search-input-file inputs "bin/python3"))))) - ;; The tests related to abc (berkeley) binary used currently produce - ;; errors. The abc-yosyshq fork would make the tests pass, but - ;; cannot be packaged due to the fork's non-free licensing (see the - ;; README, which specifies a non-commercial restriction). - (add-after 'patch-/usr/bin/env 'disable-abc-tests - (lambda _ - (delete-file "tests/keepgoing/keepgoing_multi_step.sby") - (delete-file-recursively "docs/examples/demos") - (delete-file - "tests/regression/aim_vs_smt2_nonzero_start_offset.sby"))) (add-after 'install 'python:wrap (assoc-ref python:%standard-phases 'wrap))))) - (inputs (list abc + (inputs (list abc-yosyshq boolector git-minimal/pinned python base-commit: 5d5c0dfcdaff9205b3fe8f7822f16ad55743df8a -- 2.49.0 From debbugs-submit-bounces@debbugs.gnu.org Fri May 02 12:14:46 2025 Received: (at 78215) by debbugs.gnu.org; 2 May 2025 16:14:46 +0000 Received: from localhost ([127.0.0.1]:60825 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uAt2E-0004Je-8v for submit@debbugs.gnu.org; Fri, 02 May 2025 12:14:46 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:44452) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uAt2B-0004JI-UR for 78215@debbugs.gnu.org; Fri, 02 May 2025 12:14:44 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id F2144390; Fri, 2 May 2025 18:14:36 +0200 (CEST) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id vYDoGUmjCA66; Fri, 2 May 2025 18:14:36 +0200 (CEST) Received: from jurong (176-179-191-150.abo.bbox.fr [176.179.191.150]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 009E3113; Fri, 2 May 2025 18:14:35 +0200 (CEST) Date: Fri, 2 May 2025 18:14:34 +0200 From: Andreas Enge To: Cayetano Santos Subject: Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Rspamd-Queue-Id: F2144390 X-Spamd-Result: default: False [5.40 / 15.00]; SPAM_FLAG(5.00)[]; BAYES_HAM(-3.00)[99.99%]; NEURAL_SPAM(3.00)[1.000]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; MIME_TRACE(0.00)[0:+]; FROM_HAS_DN(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; RCPT_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; TO_DN_SOME(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; ARC_NA(0.00)[] X-Spamd-Bar: +++++ X-Rspamd-Action: greylist X-Rspamd-Server: hera X-Spam-Level: ***** X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78215 Cc: 78215@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello Cayetano, I tried your patch and got a test failure: SBY 16:08:55 [autotune_div_prove] engine_20 (abc pdr): starting... (0 configurations pending) SBY 16:08:55 [autotune_div_prove] model 'aig': preparing now... SBY 16:08:55 [autotune_div_prove] aig: starting process "cd autotune_div_prove/model; yosys -ql design_aiger.log design_aiger.ys" SBY 16:08:56 [autotune_div_prove] aig: finished (returncode=0) SBY 16:08:56 [autotune_div_prove] prepared model 'aig' SBY 16:08:56 [autotune_div_prove] engine_20 (abc pdr): failed (returncode=4 status=UNKNOWN) SBY 16:08:57 [autotune_div_prove] engine_17 (smtbmc --nopresat --nounroll z3): succeeded (status=PASS) SBY 16:08:57 [autotune_div_prove] engine_17 (smtbmc --nopresat --nounroll z3): took 20 seconds SBY 16:09:01 [autotune_div_prove] engine_18 (smtbmc --nounroll z3 -- --noincr): succeeded (status=PASS) SBY 16:09:01 [autotune_div_prove] engine_18 (smtbmc --nounroll z3 -- --noincr): took 20 seconds SBY 16:09:02 [autotune_div_prove] engine_19 (smtbmc --nopresat --nounroll z3 -- --noincr): succeeded (status=PASS) SBY 16:09:02 [autotune_div_prove] engine_19 (smtbmc --nopresat --nounroll z3 -- --noincr): took 19 seconds SBY 16:09:02 [autotune_div_prove] failed engines: SBY 16:09:02 [autotune_div_prove] engine_20: abc pdr (returncode=4 status=UNKNOWN) ... Andreas From debbugs-submit-bounces@debbugs.gnu.org Fri May 02 14:06:01 2025 Received: (at 78215) by debbugs.gnu.org; 2 May 2025 18:06:02 +0000 Received: from localhost ([127.0.0.1]:33107 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uAult-0001qM-Dp for submit@debbugs.gnu.org; Fri, 02 May 2025 14:06:01 -0400 Received: from latitanza.investici.org ([82.94.249.234]:50965) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uAulp-0001py-Si for 78215@debbugs.gnu.org; Fri, 02 May 2025 14:05:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1746209156; bh=nuCByKJbLxDPZfGM0+YBrBlMYCk0fzYYhx8J+tAxVv0=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=dCQCGQgL12uPxY2hV6uzemzOnZrMSoTw4gIQamnCepgVLWOznlXD5nTTdyjoAIFAd fUSdPebz6nySd0MmxEdE1F3nl+bdOmIcpEpCXmUc7715HM43+n92kwa6SD8oo1ikPn mKCIdFAjuo/9Eg29EZYMdn8ZlyV/W1c+x3ls/pX4= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZpzPJ06jKzGp4r; Fri, 2 May 2025 18:05:56 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZpzPH4yZrzGp4L; Fri, 2 May 2025 18:05:55 +0000 (UTC) From: Cayetano Santos To: Andreas Enge Subject: Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. In-Reply-To: (Andreas Enge's message of "Fri, 2 May 2025 18:14:34 +0200") References: User-Agent: mu4e 1.12.9; emacs 29.4 Date: Fri, 02 May 2025 20:07:11 +0200 Message-ID: <87r016nay8.fsf@inventati.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 78215 Cc: 78215@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-=-= Content-Type: text/plain >ven. 02 mai 2025 at 18:14, Andreas Enge wrote: > Hello Cayetano, > > I tried your patch and got a test failure: You need to apply my previous patch before, #78214, to fix yosys (used by symbiyosys) Sorry, I though it was clear. I should have sent a single patch with the two commits instead. C. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iI0EARYKADUWIQTMuBhC+dcFjs1nN3q/XN9N9r9mggUCaBUJzxccY3NhbnRvc2JA aW52ZW50YXRpLm9yZwAKCRC/XN9N9r9mgvJ5AP4mmRGnTgxHaNngHWUagS3iIDhp K0A7MO0uQfB9yAweKgD+KGJxneP9fa/Zox9RXpzjQLgiKXM4F8M+VsWKFZvq9AE= =MwLU -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat May 03 12:08:40 2025 Received: (at 78215-done) by debbugs.gnu.org; 3 May 2025 16:08:40 +0000 Received: from localhost ([127.0.0.1]:42652 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uBFPs-0007mC-Iv for submit@debbugs.gnu.org; Sat, 03 May 2025 12:08:40 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:46802) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uBFPh-0007lG-By; Sat, 03 May 2025 12:08:30 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B6FFB319; Sat, 3 May 2025 18:08:21 +0200 (CEST) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id MHBBIYdM_txa; Sat, 3 May 2025 18:08:21 +0200 (CEST) Received: from jurong (176-179-191-150.abo.bbox.fr [176.179.191.150]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 17A7351; Sat, 3 May 2025 18:08:18 +0200 (CEST) Date: Sat, 3 May 2025 18:08:17 +0200 From: Andreas Enge To: Cayetano Santos Subject: Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. Message-ID: References: <87r016nay8.fsf@inventati.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87r016nay8.fsf@inventati.org> X-Rspamd-Queue-Id: B6FFB319 X-Spamd-Result: default: False [5.41 / 15.00]; SPAM_FLAG(5.00)[]; NEURAL_SPAM(3.00)[1.000]; BAYES_HAM(-2.99)[99.94%]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; TO_DN_SOME(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; RCPT_COUNT_THREE(0.00)[3]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; ARC_NA(0.00)[] X-Spamd-Bar: +++++ X-Rspamd-Action: greylist X-Rspamd-Server: hera X-Spam-Level: ***** X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78215-done Cc: 78215-done@debbugs.gnu.org, 78214-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello Cayetano, Am Fri, May 02, 2025 at 08:07:11PM +0200 schrieb Cayetano Santos: > You need to apply my previous patch before, #78214, to fix yosys (used > by symbiyosys) > Sorry, I though it was clear. I should have sent a single patch with the > two commits instead. maybe it would have been clear had I seen the first patch, but I just picked a random one from the list of untreated issues :) Both are pushed now, thanks! Andreas From unknown Fri Aug 15 03:38:35 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 01 Jun 2025 11:24:18 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator