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: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Spec URL: https://jjames.fedorapeople.org/symfpu/symfpu.spec
SRPM URL:
https://jjames.fedorapeople.org/symfpu/symfpu-0.20180523.git0444c86-1.fc29.src.rpm
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
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]/message/H3OECPITB6U2TPIYADDCVCULNP5UW64D/
