معرفی شرکت ها


symfpu-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

An implementation of IEEE-754 / SMT-LIB floating-point
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته symfpu
نام فایل بسته symfpu-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm
نسخه بسته 0
انتشار بسته 0.13.20190517gitc3acaf6.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 21 Jan 2023 08
هاست سازنده buildvm-a64-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/martin-cs/symfpu
مجوز GPL-3.0-or-later
حجم دانلود 27K
حجم نصب 232.918K
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).


جایگزین ها



نیازمندی

مقدار نام
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
- libsymfpu.so.0()(64bit)
= 0-0.13.20190517gitc3acaf6.fc38 symfpu
= 0-0.13.20190517gitc3acaf6.fc38 symfpu(aarch-64)


نحوه نصب


نصب پکیج rpm symfpu:

    dnf install symfpu-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/0c26d626c342d4ad3f92b33492c20968d4f970
/usr/lib64/libsymfpu.so.0
/usr/lib64/libsymfpu.so.0.0.0
/usr/share/doc/symfpu
/usr/share/doc/symfpu/README.md
/usr/share/licenses/symfpu


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-12-14

Add upstream patch to fix creation of zero-size bitvector
Add patch to avoid infinite recursion
Convert License tag to SPDX

2022-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-01-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-01-27

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild