[Bug 1599011] New: Review Request:
drabt - Proof checker for the DRAT proof format
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=1599011
Bug ID: 1599011
Summary: Review Request: drabt - Proof checker for the DRAT
proof format
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: loganjerry(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: https://jjames.fedorapeople.org/drabt/drabt.spec
SRPM URL: https://jjames.fedorapeople.org/drabt/drabt-004-1.fc29.src.rpm
Fedora Account System Username: jjames
Description: DRABT is a proof checker for the DRAT proof format. Proofs
compressed with gzip, bzip2, xz, zip, and 7zip are supported, but the
corresponding decompression binary must be installed (i.e., gunzip, bunzip2,
unxz, unzip, or 7z).
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
5 years, 10 months
[Bug 1599014] New: Review Request: symfpu - An implementation of
IEEE-754
/ SMT-LIB floating-point
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=1599014
Bug ID: 1599014
Summary: Review Request: symfpu - An implementation of IEEE-754
/ SMT-LIB floating-point
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: loganjerry(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: https://jjames.fedorapeople.org/symfpu/symfpu.spec
SRPM URL:
https://jjames.fedorapeople.org/symfpu/symfpu-0.20180523.git0444c86-1.fc2...
Fedora Account System Username: jjames
Description: 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).
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
5 years, 10 months
[Bug 1599421] New: Review Request:
compat-libicu61 - Compat package with icu libraries
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=1599421
Bug ID: 1599421
Summary: Review Request: compat-libicu61 - Compat package with
icu libraries
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: walter.pete(a)yandex.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
The process for requesting a new package repository currently requires a
package review ticket even in those cases where the package has been granted an
exception (either an existing blanket exception or a specific exception granted
by the packaging committee).
As the designated ticket for the exception process
(https://bugzilla.redhat.com/show_bug.cgi?id=1376885) can no longer be used due
to new scm processing requirements that the ticket reporter match with scm repo
requester, I'm filing a new ticket for this package.
compat-libicu61 is being requested without review under the blanket exception
for multi-versioned packages. It will be used to keep ABI compatibility with
packages built against icu 61 after introducing icu 62 to rawhide.
Existing package: icu
New package: compat-libicu61
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
5 years, 10 months