Ubuntu
symfpu package

symfpu 0.0~git20190517.8fbe139-2 source package in Ubuntu

Changelog

symfpu (0.0~git20190517.8fbe139-2) unstable; urgency=medium

  * Post-NEW source-only upload

 -- Scott Talbert <email address hidden>  Sun, 13 Nov 2022 13:48:56 -0500

Upload details

Uploaded by:
Debian Science Maintainers
Uploaded to:
Sid
Original maintainer:
Debian Science Maintainers
Architectures:
all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc
Mantic release universe misc
Lunar release universe misc

Builds

Lunar: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
symfpu_0.0~git20190517.8fbe139-2.dsc 2.0 KiB 7412e13c218cbf8a52a330bfe255da8bd8df01b67763b1a6bffd70386384a059
symfpu_0.0~git20190517.8fbe139.orig.tar.xz 31.5 KiB 71d4b78dc9d5e1e2ae61cb28716b953c35686705bdd1119e9e20efbeb987acc7
symfpu_0.0~git20190517.8fbe139-2.debian.tar.xz 6.1 KiB b38933836252d689c32783ea7eeff634f4ca8e00816aa39e20a09b79189b7d61

No changes file available.

Binary packages built by this source

libsymfpu-dev: Symbolic Floating Point Unit

 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 allows
 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).
 .
 This package contains development files for SymFPU. Install it if you
 want to develop applications that use SymFPU's API.