From nobody Wed Jan 04 10:52:05 2023 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Nn5yZ0P4Vz2nrfD; Wed, 4 Jan 2023 10:52:06 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Nn5yY6fYCz3Kmk; Wed, 4 Jan 2023 10:52:05 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1672829525; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=BdzPeuvLiD8P8u4qZMvLjSmGUBSjPRplgnb1yeMVSjs=; b=tdCcrUeRlUOE4QkQzQll0wE++auAv0h2ZqU8xPZIpKbX4a9dHML0IUqJlcg1XVMI922utf bDSAheAM4JkWf9aKnpQxlNH12w2EofdQugJb8gZcraaBGcoCNYTD8cFaRnhMA2ogbK7Drm hgHx9TVQZwuw1pE327vfj0RhpCjDt8I5rG0CTOAs3/zHPlkc+XAccwSocKF3UwjkxZ3iiG yMztmHpbddsBP+sqD4MNM5D53uI9V5ben4XJx3Iw7W1fcZsUTjx0HQ5OQ4ZlL0cCkM/RT3 rz6QTW5dDtq9OXgrNMHYvRi9BfleesxhaE9WYmu3D7mDWQTL70RdyPHdmRTVVg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1672829526; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=BdzPeuvLiD8P8u4qZMvLjSmGUBSjPRplgnb1yeMVSjs=; b=SHfWiYX9PR5/HpHWTiAGMv+mNmd2JJBlES2E1AQfpQQm2pmLf2ZWyhXohtzgH3XGyvZvqW PFNcmnP3Esz3EXAZhpqYSj/Ezx01nbsXZ4j1xFVWt7JTFAX8fUkFacuRhlrEQ9vQmZyImI Eq5+UKfiXWqKDlnSxRLMkUj8N28llZ59bnddidQUcnrjy1VZ93Wt0wCRZSuGMCiIh0HV/G dtLt/8qdJ9SjI+MLzIpTrzumoBgSbo+BIkekg/3XW482NyBhnDE2BXn9bXUnYkdsr0/qWd QUaC8kKnIqH3HsMPIlL3nAaHOPGnvtVzdNK7amy7RKM1qeDvL3bRLi9Ikhsu0A== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1672829526; a=rsa-sha256; cv=none; b=ezwTB6dGMNnRNNGqYhJ56AYticwHlACG3r0yjb2hbbJ4kJjLyad++E/cGKGhV4AS7b9B3o fP8rK/hG6SjfY1ErgATst2EIbzODWwM6XEKLtpwgFpiRt5TzmLe13anyK6IdH/X2B4A5Hs 3/XAwEsq2jFi6TEzxYLRSCxXF6ctemBZWC3zA8TPMxJzdfl7kswLwJsXQ7x52mTen21blP 16CP/wEQ+i3iI5p0cyeR3EW+zGOOlinVdQQOIq5Pna4MbM6DvpOCGFXpJvKGlxyc63MqKl LuhCLIWCKPymstTj1MlOujMvjGD/LIwPf5wNMcE+3uHPETQsYQrsLIe4a29ZKA== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Nn5yY5lg0z17Nk; Wed, 4 Jan 2023 10:52:05 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 304Aq5AY073237; Wed, 4 Jan 2023 10:52:05 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 304Aq5V9073236; Wed, 4 Jan 2023 10:52:05 GMT (envelope-from git) Date: Wed, 4 Jan 2023 10:52:05 GMT Message-Id: <202301041052.304Aq5V9073236@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 0ce587185546 - main - math/symfpu: New port: Implementation of IEEE-754 / SMT-LIB floating-point List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 0ce58718554603ba9b178a44857e3b088ed0bb0f Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=0ce58718554603ba9b178a44857e3b088ed0bb0f commit 0ce58718554603ba9b178a44857e3b088ed0bb0f Author: Yuri Victorovich AuthorDate: 2023-01-04 08:29:55 +0000 Commit: Yuri Victorovich CommitDate: 2023-01-04 10:51:59 +0000 math/symfpu: New port: Implementation of IEEE-754 / SMT-LIB floating-point --- math/Makefile | 1 + math/symfpu/Makefile | 32 ++++++++++++++++++++++ math/symfpu/distinfo | 3 ++ .../files/patch-baseTypes_simpleExecutable.cpp | 11 ++++++++ .../files/patch-baseTypes_simpleExecutable.h | 15 ++++++++++ math/symfpu/pkg-descr | 8 ++++++ math/symfpu/pkg-plist | 19 +++++++++++++ 7 files changed, 89 insertions(+) diff --git a/math/Makefile b/math/Makefile index 7493281fb77c..c5b0cf9072d9 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1140,6 +1140,7 @@ SUBDIR += superlu SUBDIR += superlu-dist SUBDIR += symengine + SUBDIR += symfpu SUBDIR += symmetrica SUBDIR += symphony SUBDIR += sympol diff --git a/math/symfpu/Makefile b/math/symfpu/Makefile new file mode 100644 index 000000000000..c3a04d80a98f --- /dev/null +++ b/math/symfpu/Makefile @@ -0,0 +1,32 @@ +PORTNAME= symfpu +DISTVERSION= g20190517 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Implementation of IEEE-754 / SMT-LIB floating-point +WWW= https://github.com/martin-cs/symfpu + +LICENSE= GPLv3 +LICENSE_FILE= ${WRKSRC}/LICENSE + +USES= gmake + +USE_GITHUB= yes +GH_ACCOUNT= martin-cs +GH_TAGNAME= c3acaf6 + +CXXFLAGS+= -I${WRKSRC} + +ALL_TARGET= subdirs symfpu.a + +MAKE_ARGS= SUBDIRS=baseTypes + +do-install: + ${MKDIR} \ + ${STAGEDIR}${PREFIX}/include/symfpu/core \ + ${STAGEDIR}${PREFIX}/include/symfpu/utils + ${CP} ${WRKSRC}/core/*.h ${STAGEDIR}${PREFIX}/include/symfpu/core + ${CP} ${WRKSRC}/utils/*.h ${STAGEDIR}${PREFIX}/include/symfpu/utils + ${INSTALL_DATA} ${WRKSRC}/symfpu.a ${STAGEDIR}${PREFIX}/lib + +.include diff --git a/math/symfpu/distinfo b/math/symfpu/distinfo new file mode 100644 index 000000000000..1a502917e5c9 --- /dev/null +++ b/math/symfpu/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1672799708 +SHA256 (martin-cs-symfpu-g20190517-c3acaf6_GH0.tar.gz) = 3cc3bda6357e98c348abe4b9e72be9ddca918acdcb1f19406e6a35dc939d9f24 +SIZE (martin-cs-symfpu-g20190517-c3acaf6_GH0.tar.gz) = 77560 diff --git a/math/symfpu/files/patch-baseTypes_simpleExecutable.cpp b/math/symfpu/files/patch-baseTypes_simpleExecutable.cpp new file mode 100644 index 000000000000..b48373872b11 --- /dev/null +++ b/math/symfpu/files/patch-baseTypes_simpleExecutable.cpp @@ -0,0 +1,11 @@ +--- baseTypes/simpleExecutable.cpp.orig 2023-01-04 05:09:43 UTC ++++ baseTypes/simpleExecutable.cpp +@@ -28,7 +28,7 @@ + */ + + +-#include "symfpu/baseTypes/simpleExecutable.h" ++#include "baseTypes/simpleExecutable.h" + + #include + #include diff --git a/math/symfpu/files/patch-baseTypes_simpleExecutable.h b/math/symfpu/files/patch-baseTypes_simpleExecutable.h new file mode 100644 index 000000000000..62259ae6b1bb --- /dev/null +++ b/math/symfpu/files/patch-baseTypes_simpleExecutable.h @@ -0,0 +1,15 @@ +--- baseTypes/simpleExecutable.h.orig 2023-01-04 05:11:39 UTC ++++ baseTypes/simpleExecutable.h +@@ -34,9 +34,9 @@ + ** + */ + +-#include "symfpu/utils/properties.h" +-#include "symfpu/core/ite.h" +-#include "symfpu/baseTypes/shared.h" ++#include "utils/properties.h" ++#include "core/ite.h" ++#include "baseTypes/shared.h" + + #include + #include diff --git a/math/symfpu/pkg-descr b/math/symfpu/pkg-descr new file mode 100644 index 000000000000..4c44beef1825 --- /dev/null +++ b/math/symfpu/pkg-descr @@ -0,0 +1,8 @@ +SymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of +bit-vector operations. It is templated in terms of the bit-vectors, +propositions, floating-point formats and rounding mode types used. This allow +the same code to be executed as an arbitrary precision "SoftFloat" library +(although it's performance would not be good) or to be used to build symbolic +representation of floating-point operations suitable for use in "bit-blasting" +SMT solvers (you could also generate circuits from them but again, performance +will likely not be good). diff --git a/math/symfpu/pkg-plist b/math/symfpu/pkg-plist new file mode 100644 index 000000000000..14814000293a --- /dev/null +++ b/math/symfpu/pkg-plist @@ -0,0 +1,19 @@ +include/symfpu/core/add.h +include/symfpu/core/classify.h +include/symfpu/core/compare.h +include/symfpu/core/convert.h +include/symfpu/core/divide.h +include/symfpu/core/fma.h +include/symfpu/core/ite.h +include/symfpu/core/multiply.h +include/symfpu/core/operations.h +include/symfpu/core/packing.h +include/symfpu/core/remainder.h +include/symfpu/core/rounder.h +include/symfpu/core/sign.h +include/symfpu/core/sqrt.h +include/symfpu/core/unpackedFloat.h +include/symfpu/utils/common.h +include/symfpu/utils/numberOfRoundingModes.h +include/symfpu/utils/properties.h +lib/symfpu.a