From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 07 06:49:49 2021 Received: (at submit) by debbugs.gnu.org; 7 Oct 2021 10:49:49 +0000 Received: from localhost ([127.0.0.1]:46158 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYQyC-00047S-MS for submit@debbugs.gnu.org; Thu, 07 Oct 2021 06:49:49 -0400 Received: from lists.gnu.org ([209.51.188.17]:59880) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYQyA-00047K-L9 for submit@debbugs.gnu.org; Thu, 07 Oct 2021 06:49:47 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52256) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYQyA-0007tO-Ct for bug-guix@gnu.org; Thu, 07 Oct 2021 06:49:46 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:57666) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYQy7-00033s-2X for bug-guix@gnu.org; Thu, 07 Oct 2021 06:49:45 -0400 IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A+4dN06r9UrvuZvXiDGjDRq8aV5pMeYIsimQD?= =?us-ascii?q?101hICG9Ffb4qynOppomPHDP+VUssR0b6LK90cq7Lk80i6QU3WB5B97LN2PbUQ?= =?us-ascii?q?CTQL2Kg7GO/wHd?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="532597445" Received: from 91-160-117-201.subs.proxad.net (HELO ribbon) ([91.160.117.201]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Oct 2021 12:49:40 +0200 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: bug-guix@gnu.org Subject: mcrl2-202106.0.tar.gz updated in place X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 16 =?utf-8?Q?Vend=C3=A9miaire?= an 230 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 07 Oct 2021 12:49:39 +0200 Message-ID: <871r4xds8s.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=192.134.164.83; envelope-from=ludovic.courtes@inria.fr; helo=mail2-relais-roc.national.inria.fr X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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: -2.3 (--) The mcrl2-202106.0.tar.gz tarball has been updated in place: --8<---------------cut here---------------start------------->8--- $ wget -qO- https://bayfront.guix.gnu.org/nar/lzip/ch8mqirm3jzndh4668dr0nj9= ij2d4zzf-mcrl2-202106.0.tar.gz| lzip -d |guix archive -x /tmp/good.tgz $ (cd /tmp; wget -qO bad.tgz https://www.mcrl2.org/download/release/mcrl2-2= 02106.0.tar.gz) $ diffoscope /tmp/{good,bad}.tgz --- /tmp/good.tgz +++ /tmp/bad.tgz =E2=94=9C=E2=94=80=E2=94=80 filetype from file(1) =E2=94=82 @@ -1 +1 @@ =E2=94=82 -gzip compressed data, last modified: Mon Jun 14 13:31:21 2021, f= rom Unix =E2=94=82 +gzip compressed data, last modified: Tue Jul 13 11:27:28 2021, f= rom Unix [...] =E2=94=82 =E2=94=9C=E2=94=80=E2=94=80 mcrl2-202106.0/build/SourceVersion =E2=94=82 =E2=94=82 @@ -1,4 +1,4 @@ =E2=94=82 =E2=94=82 # This file contains the version for the MCRL2 source = package. =E2=94=82 =E2=94=82 # This file is used to generate the version number if = the sources originate =E2=94=82 =E2=94=82 # from a make package_source command. =E2=94=82 =E2=94=82 -set(MCRL2_SOURCE_PACKAGE_REVISION 54fa1483c9) =E2=94=82 =E2=94=82 +set(MCRL2_SOURCE_PACKAGE_REVISION c335fb2d5f) =E2=94=82 =E2=94=9C=E2=94=80=E2=94=80 mcrl2-202106.0/tools/release/mcrl2-gu= i/mainwindow.cpp =E2=94=82 =E2=94=82 @@ -5,15 +5,17 @@ =E2=94=82 =E2=94=82 // Distributed under the Boost Software License, Versi= on 1.0. =E2=94=82 =E2=94=82 // (See accompanying file LICENSE_1_0.txt or copy at =E2=94=82 =E2=94=82 // http://www.boost.org/LICENSE_1_0.txt) =E2=94=82 =E2=94=82 // =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 #include "mainwindow.h" =E2=94=82 =E2=94=82 #include "mcrl2/utilities/logger.h" =E2=94=82 =E2=94=82 +#include "mcrl2/utilities/platform.h" =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 +#include =E2=94=82 =E2=94=82 #include =E2=94=82 =E2=94=82 #include =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 #include "toolaction.h" =E2=94=82 =E2=94=82 #include "toolinstance.h" =E2=94=82 =E2=94=82 #include "fileinformation.h" =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 @@ -39,33 +41,48 @@ =E2=94=82 =E2=94=82 connect(m_ui.treeFiles, SIGNAL(openProperties(QStrin= g)), this, SLOT(createFileInformation(QString))); =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 m_catalog.load(); =E2=94=82 =E2=94=82 m_ui.treeFiles->setCatalog(m_catalog); =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 createToolMenu(); =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 +// workaround for QTBUG-57687 =E2=94=82 =E2=94=82 +#if QT_VERSION > QT_VERSION_CHECK(5, 10, 0) || not def= ined MCRL2_PLATFORM_WINDOWS =E2=94=82 =E2=94=82 fileMenu->addSeparator(); =E2=94=82 =E2=94=82 fileMenu->addAction(QString("Open mcrl2ide"), this, = SLOT(onOpenIDE())); =E2=94=82 =E2=94=82 +#endif =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 m_state =3D saveState(); =E2=94=82 =E2=94=82 QSettings settings("mCRL2", "mCRL2-gui"); =E2=94=82 =E2=94=82 restoreGeometry(settings.value("geometry").toByteArr= ay()); =E2=94=82 =E2=94=82 restoreState(settings.value("windowState").toByteArr= ay()); =E2=94=82 =E2=94=82 m_ui.treeFiles->restore(settings); =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 void MainWindow::onOpenIDE() =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 +// workaround for QTBUG-57687 =E2=94=82 =E2=94=82 +#if QT_VERSION >=3D QT_VERSION_CHECK(5, 10, 0) || not = defined MCRL2_PLATFORM_WINDOWS =E2=94=82 =E2=94=82 QDir appDir =3D QDir(QCoreApplication::applicationDi= rPath()); =E2=94=82 =E2=94=82 QString path =3D appDir.absoluteFilePath("mcrl2ide"); =E2=94=82 =E2=94=82 + =E2=94=82 =E2=94=82 +#if QT_VERSION >=3D QT_VERSION_CHECK(5, 10, 0) =E2=94=82 =E2=94=82 + QProcess* p =3D new QProcess(); =E2=94=82 =E2=94=82 + p->setProgram(path); =E2=94=82 =E2=94=82 + if (!p->startDetached()) =E2=94=82 =E2=94=82 + { =E2=94=82 =E2=94=82 + QMessageBox::warning(this, "mCRL2-gui", "Failed to= start mcrl2ide: " + p->errorString()); =E2=94=82 =E2=94=82 + } =E2=94=82 =E2=94=82 +#else =E2=94=82 =E2=94=82 if (!QProcess::startDetached(path)) =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 - QMessageBox::warning(this, "mCRL2-gui", "Failed to= start mrl2ide: could " =E2=94=82 =E2=94=82 - "not find its executable"); =E2=94=82 =E2=94=82 + QMessageBox::warning(this, "mCRL2-gui", "Failed to= start mcrl2ide: could not find its executable"); =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82 +#endif =E2=94=82 =E2=94=82 +#endif =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 void MainWindow::closeEvent(QCloseEvent *event) =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 QSettings settings("mCRL2", "mCRL2-gui"); =E2=94=82 =E2=94=82 settings.setValue("geometry", saveGeometry()); =E2=94=82 =E2=94=82 settings.setValue("windowState", saveState()); =E2=94=82 =E2=94=9C=E2=94=80=E2=94=80 mcrl2-202106.0/tools/release/ltsgraph= /bezier.h =E2=94=82 =E2=94=82 @@ -181,68 +181,68 @@ =E2=94=82 =E2=94=82 static_cast(0), static_cast(1), =E2=94=82 =E2=94=82 std::numeric_limits::digits * .6); =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82 }; =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 // Implementation for cubic bezier curves =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 -template <> constexpr Vector Bezier<3>::at(Scalar t) c= onst =E2=94=82 =E2=94=82 +template <> inline constexpr Vector Bezier<3>::at(Scal= ar t) const =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 const Scalar t2 =3D t * t, =E2=94=82 =E2=94=82 t3 =3D t2 * t, =E2=94=82 =E2=94=82 tn =3D 1.0f - t, =E2=94=82 =E2=94=82 tn2 =3D tn * tn, =E2=94=82 =E2=94=82 tn3 =3D tn2 * tn; =E2=94=82 =E2=94=82 return m_control[0] * tn3 =E2=94=82 =E2=94=82 + m_control[1] * 3.0f * tn2 * t =E2=94=82 =E2=94=82 + m_control[2] * 3.0f * tn * t2 =E2=94=82 =E2=94=82 + m_control[3] * t3; =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 -template <> constexpr Vector Bezier<3>::tangent(Scalar= t) const =E2=94=82 =E2=94=82 +template <> inline constexpr Vector Bezier<3>::tangent= (Scalar t) const =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 const Scalar t2 =3D t * t, =E2=94=82 =E2=94=82 tn =3D 1.0f - t, =E2=94=82 =E2=94=82 tn2 =3D tn * tn; =E2=94=82 =E2=94=82 return (m_control[1] - m_control[0]) * 3.0f * tn2 =E2=94=82 =E2=94=82 + (m_control[2] - m_control[1]) * 6.0f * tn * t =E2=94=82 =E2=94=82 + (m_control[3] - m_control[2]) * 3.0f * t2; =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 -template <> constexpr std::array Bezier<3>:= :interpolate(Scalar t) const =E2=94=82 =E2=94=82 +template <> inline constexpr std::array Bez= ier<3>::interpolate(Scalar t) const =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 const QVector3D p01 =3D lerp(m_control[0], m_contr= ol[1], t), =E2=94=82 =E2=94=82 p12 =3D lerp(m_control[1], m_contr= ol[2], t), =E2=94=82 =E2=94=82 p23 =3D lerp(m_control[2], m_contr= ol[3], t), =E2=94=82 =E2=94=82 p012 =3D lerp(p01, p12, t), =E2=94=82 =E2=94=82 p123 =3D lerp(p12, p23, t), =E2=94=82 =E2=94=82 p0123 =3D lerp(p012, p123, t); =E2=94=82 =E2=94=82 return {m_control[0], p01, p012, p0123, p123, p23, m= _control[3]}; =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 // Implementation for quadratic bezier curves =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 -template <> constexpr Vector Bezier<2>::at(Scalar t) c= onst =E2=94=82 =E2=94=82 +template <> inline constexpr Vector Bezier<2>::at(Scal= ar t) const =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 const Scalar t2 =3D t * t, =E2=94=82 =E2=94=82 tn =3D 1.0f - t, =E2=94=82 =E2=94=82 tn2 =3D tn * tn; =E2=94=82 =E2=94=82 return m_control[0] * tn2 =E2=94=82 =E2=94=82 + m_control[1] * 2.0f * tn * t =E2=94=82 =E2=94=82 + m_control[2] * t2; =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 -template <> constexpr Vector Bezier<2>::tangent(Scalar= t) const =E2=94=82 =E2=94=82 +template <> inline constexpr Vector Bezier<2>::tangent= (Scalar t) const =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 const Scalar tn =3D 1.0f - t; =E2=94=82 =E2=94=82 return (m_control[1] - m_control[0]) * 2.0f * tn =E2=94=82 =E2=94=82 + (m_control[2] - m_control[1]) * 2.0f * t; =E2=94=82 =E2=94=82 } =E2=94=82 =E2=94=82=20=20 =E2=94=82 =E2=94=82 -template <> constexpr std::array Bezier<2>:= :interpolate(Scalar t) const =E2=94=82 =E2=94=82 +template <> inline constexpr std::array Bez= ier<2>::interpolate(Scalar t) const =E2=94=82 =E2=94=82 { =E2=94=82 =E2=94=82 const QVector3D p01 =3D lerp(m_control[0], m_contr= ol[1], t), =E2=94=82 =E2=94=82 p12 =3D lerp(m_control[1], m_contr= ol[2], t), =E2=94=82 =E2=94=82 p012 =3D lerp(p01, p12, t); =E2=94=82 =E2=94=82 return {m_control[0], p01, p012, p12, m_control[2]}; =E2=94=82 =E2=94=82 } --8<---------------cut here---------------end--------------->8--- The changes correspond to the 54fa1483c9..c335fb2d5f diff at . I=E2=80=99ll update the tarball hash. Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 07 09:21:34 2021 Received: (at 51074-done) by debbugs.gnu.org; 7 Oct 2021 13:21:34 +0000 Received: from localhost ([127.0.0.1]:46392 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYTL4-0001mL-FG for submit@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:34 -0400 Received: from eggs.gnu.org ([209.51.188.92]:57748) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYTL2-0001m2-Bf for 51074-done@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:32 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:36350) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mYTKx-0005IA-3r for 51074-done@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:27 -0400 Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:59172 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYTKw-0000V7-Nw for 51074-done@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:27 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: 51074-done@debbugs.gnu.org Subject: Re: bug#51074: mcrl2-202106.0.tar.gz updated in place References: <871r4xds8s.fsf@inria.fr> Date: Thu, 07 Oct 2021 15:21:23 +0200 In-Reply-To: <871r4xds8s.fsf@inria.fr> ("Ludovic =?utf-8?Q?Court=C3=A8s=22?= =?utf-8?Q?'s?= message of "Thu, 07 Oct 2021 12:49:39 +0200") Message-ID: <87wnmpc6ng.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 51074-done 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: -3.3 (---) Ludovic Court=C3=A8s skribis: > The changes correspond to the 54fa1483c9..c335fb2d5f diff at > . > > I=E2=80=99ll update the tarball hash. Done in 16e3f8d90a424abf17be94d7ae216d9feb932e8a. Ludo'. From unknown Sun Aug 17 04:18:50 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 05 Nov 2021 11:24:10 +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