معرفی شرکت ها

symfpu-0-0.13.20190517gitc3acaf6.fc38.src.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 i686
نام بسته symfpu
نام فایل بسته symfpu-0-0.13.20190517gitc3acaf6.fc38.src.rpm
نسخه بسته 0
انتشار بسته 0.13.20190517gitc3acaf6.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Sat 21 Jan 2023 08
هاست سازنده buildvm-x86-05.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/martin-cs/symfpu
مجوز GPL-3.0-or-later
حجم دانلود 96K
حجم نصب 85.205K
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).


جایگزین ها

بسته نسخه معماری مخزن
symfpu-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm 0 aarch64 Fedora Everything
symfpu-0-0.13.20190517gitc3acaf6.fc38.i686.rpm 0 i686 Fedora Everything
symfpu-0-0.13.20190517gitc3acaf6.fc38.x86_64.rpm 0 x86_64 Fedora Everything
symfpu-debuginfo-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm 0 aarch64 Fedora Everything
symfpu-debuginfo-0-0.13.20190517gitc3acaf6.fc38.i686.rpm 0 i686 Fedora Everything
symfpu-debuginfo-0-0.13.20190517gitc3acaf6.fc38.x86_64.rpm 0 x86_64 Fedora Everything
symfpu-debugsource-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm 0 aarch64 Fedora Everything
symfpu-debugsource-0-0.13.20190517gitc3acaf6.fc38.i686.rpm 0 i686 Fedora Everything
symfpu-debugsource-0-0.13.20190517gitc3acaf6.fc38.x86_64.rpm 0 x86_64 Fedora Everything
symfpu-devel-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm 0 aarch64 Fedora Everything
symfpu-devel-0-0.13.20190517gitc3acaf6.fc38.i686.rpm 0 i686 Fedora Everything
symfpu-devel-0-0.13.20190517gitc3acaf6.fc38.x86_64.rpm 0 x86_64 Fedora Everything


نیازمندی

مقدار نام
- gcc-c++
- make


ارائه دهنده

مقدار نام
= 0-0.13.20190517gitc3acaf6.fc38 symfpu
= 0-0.13.20190517gitc3acaf6.fc38 symfpu-devel
= 0-0.13.20190517gitc3acaf6.fc38 symfpu-debuginfo
= 0-0.13.20190517gitc3acaf6.fc38 symfpu-debugsource


نحوه نصب


نصب پکیج rpm symfpu:

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


فایل ها

مسیرها
9.patch
symfpu-c3acaf6.tar.gz
symfpu-infinite-recursion.patch
symfpu-shared.patch


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

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