stable

alt-ergo-1.30-1.fc25, frama-c-1.13-6.fc25, & 3 more

FEDORA-2016-1b7b3aa52d created by jjames 7 years ago for Fedora 25

See https://www.ocamlpro.com/2016/11/21/release-of-alt-ergo-1-30-with-experimental-support-for-models-generation/ for changes in Alt-Ergo 1.30.

Changes in gappa 1.3.1:

  • Add fast path for absolute error of division by the same divisor.
  • Make sure that sub_flt properly fails.
  • Fix signature of floatx_relative.
  • Avoid overflow when computing the target exponent for rounding.
  • Flatten the code a bit.
  • Improve code for selecting split points.
  • Do not check slow convergence when handling trees.
  • Improve indentation a bit.

Changes in gappalib-coq 1.3.2:

  • Prove div_firs.
  • Adapt to Coq 8.6.

The frama-c and why builds are merely rebuilds due to changes in the other packages. There should be no user-visible changes.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2016-1b7b3aa52d

This update has been submitted for testing by jjames.

7 years ago

This update has been pushed to testing.

7 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

7 years ago

This update has been submitted for stable by jjames.

7 years ago

This update has been pushed to stable.

7 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
medium
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
7 years ago
in testing
7 years ago
in stable
7 years ago

Automated Test Results