Skip to content

mathlib-fp 2.3.2

Latest
Latest

Choose a tag to compare

View all tags
@ikelaiah ikelaiah released this 03 Oct 11:36
v2.3.2
ee378f9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Version 2.3.2 is a documentation patch release. It makes mathlib-fp's current
scope boundaries visible in the Pascal numerical-library comparison and
retains the 2.3.1 numerical runtime without changes to algorithms or public
APIs.

Documentation

  • Added a concise limitations section covering compiler focus, execution
    backends, precision and selected specialist workflows.
  • Linked the limitations to the capability inventory and described them as
    release scope, not as criticism of other libraries or a roadmap promise.
  • Preserved the v2.3.1 versioned documentation site as it moves into the
    historical release set.
  • Carried forward the unchanged numerical-evidence catalogue from 2.3.1 and
    recorded its provenance.

The runtime qualification and supported target matrix continue to be based on
the unchanged 2.3.0 implementation; see the
qualification record and
workflow evidence.

Assets 4
Loading