معرفی شرکت ها


gappa-1.4.1-1.fc37.src.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Prove programs with floating-point or fixed-point arithmetic
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything i686
نام بسته gappa
نام فایل بسته gappa-1.4.1-1.fc37.src.rpm
نسخه بسته 1.4.1
انتشار بسته 1.fc37
معماری بسته i686
نگهدارنده -
تاریخ ساخت Wed 10 Aug 2022 09
هاست سازنده buildhw-x86-16.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/gappa
مجوز GPL-3.0-only OR CECILL-2.1
حجم دانلود 338K
حجم نصب 320.849K
Gappa is a tool intended to help verifying and formally prove properties on numerical programs and circuits handling floating-point or fixed-point arithmetic. This tool manipulates logical formulas stating the enclosures of expressions in some intervals. Through the use of rounding operators as part of the expressions, Gappa is specially designed to deal with formulas that could appear when certifying numerical codes. In particular, Gappa makes it simple to bound computational errors due to floating-point arithmetic. The tool and its documentation were written by Guillaume Melquiond.


جایگزین ها

بسته نسخه معماری مخزن
gappa-1.4.1-1.fc37.aarch64.rpm 1.4.1 aarch64 Fedora Everything
gappa-1.4.1-1.fc37.x86_64.rpm 1.4.1 x86_64 Fedora Everything
gappa-debuginfo-1.4.1-1.fc37.aarch64.rpm 1.4.1 aarch64 Fedora Everything
gappa-debuginfo-1.4.1-1.fc37.x86_64.rpm 1.4.1 x86_64 Fedora Everything
gappa-debugsource-1.4.1-1.fc37.aarch64.rpm 1.4.1 aarch64 Fedora Everything
gappa-debugsource-1.4.1-1.fc37.x86_64.rpm 1.4.1 x86_64 Fedora Everything
gappa-doc-1.4.1-1.fc37.noarch.rpm 1.4.1 noarch Fedora Everything
gappalib-coq-1.5.2-4.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-1.5.2-4.fc37.src.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-1.5.2-4.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-1.5.2-5.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-1.5.2-5.fc37.src.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-1.5.2-5.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-4.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-4.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-5.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-5.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debugsource-1.5.2-4.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debugsource-1.5.2-4.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debugsource-1.5.2-5.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debugsource-1.5.2-5.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-source-1.5.2-4.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-source-1.5.2-4.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-source-1.5.2-5.fc37.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-source-1.5.2-5.fc37.x86_64.rpm 1.5.2 x86_64 Fedora Everything


نیازمندی

مقدار نام
- bison
- boost-devel
- flex
- gcc-c++
- gmp-devel
- libtool
- mpfr-devel
- python3dist(sphinx)
- remake


ارائه دهنده

مقدار نام
= 1.4.1-1.fc37 gappa
= 1.4.1-1.fc37 gappa-doc
= 1.4.1-1.fc37 gappa-debuginfo
= 1.4.1-1.fc37 gappa-debugsource


نحوه نصب


نصب پکیج rpm gappa:

    dnf install gappa-1.4.1-1.fc37.src.rpm


فایل ها

مسیرها
gappa-1.4.1.tar.gz


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

تاریخ آخرین تغییر جزئیات
2022-08-10

Version 1.4.1
Use SPDX license names
Add a doc subpackage

2022-07-21

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

2022-01-20

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

2021-10-19

Version 1.4.0
Drop upstreamed -gcc11 patch

2021-07-21

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

2021-01-26

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