معرفی شرکت ها


symfpu-0-0.11.20190517gitc3acaf6.fc37.x86_64.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 37
مخزن Fedora Everything x86_64
نام بسته symfpu
نام فایل بسته symfpu-0-0.11.20190517gitc3acaf6.fc37.x86_64.rpm
نسخه بسته 0
انتشار بسته 0.11.20190517gitc3acaf6.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 23 Jul 2022 02
هاست سازنده buildvm-x86-10.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/martin-cs/symfpu
مجوز GPLv3+
حجم دانلود 27K
حجم نصب 52.825K
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.2.5)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
- libsymfpu.so.0()(64bit)
= 0-0.11.20190517gitc3acaf6.fc37 symfpu
= 0-0.11.20190517gitc3acaf6.fc37 symfpu(x86-64)


نحوه نصب


نصب پکیج rpm symfpu:

    dnf install symfpu-0-0.11.20190517gitc3acaf6.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/cd013ce42bde28b78aad6f1653ffa6be77e1af
/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


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

تاریخ آخرین تغییر جزئیات
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

2020-07-29

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