Linux workstation

Upstream software project

symfpu

Development files for symfpu

About symfpu

Development files for symfpu

This project links 3 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

symfpu repository preview from GitHub
Project repository preview, supplied by GitHub. Open source repository
Fedora 43: 2 package records; Fedora 44: 1 package records. Catalog coverage diagram, not an application screenshot.symfpu: recorded package coverageFedora 432 recordsFedora 441 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
symfpu
Publisher
Not authoritatively mapped
Native package records
3
Operating systems
fedora-43, fedora-44
License expression
GPL-3.0-or-later
Metadata completeness
100/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Open source repository

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

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).

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Fedora 43

  1. symfpu

    Fedora 43 / Unspecified / source symfpu

    0-0.19.20190517gitc3acaf6.fc43

    An implementation of IEEE-754 / SMT-LIB floating-point

    aarch64x86_6443
  2. symfpu-devel

    Fedora 43 / Unspecified / source symfpu

    0-0.19.20190517gitc3acaf6.fc43

    Development files for symfpu

    aarch64x86_6443

Fedora 44

  1. symfpu-devel

    Fedora 44 / Unspecified / source symfpu

    0-0.22.20260406git227a724.fc44

    Development files for symfpu

    noarch44

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.