stable

alt-ergo-0.99.1-9.fc23, frama-c-1.11-9.fc23, & 3 more

FEDORA-2015-1706e6b2e4 created by jjames 8 years ago for Fedora 23

Changes in ocaml-zarith 1.4:

  • Improvements to Q (using divexact) [Bertrand Jeannet]
  • Fixed div_2exp bug [Bertrand Jeannet]
  • Improvements for divexact [Bertrand Jeannet]
  • Added of_substring, with fast path for native integers [Thomas Braibant]
  • Added Z.powm_sec (constant-time modular exponentiation)
  • Reimplemented Z.to_float, now produces correctly rounded FP numbers
  • Added Z.trailing_zeros.
  • Added Z.testbit, Z.is_even, Z.is_odd.
  • Added Z.numbits, Z.log2 and Z.log2up.
  • PR$1467: Z.hash is declared as "noalloc" [François Bobot]
  • PR#1451: configure fix [Spiros Eliopoulos]
  • PR#1436: disable "(void)" trick for unused variables on Windows [Bernhard Schommer]
  • PR#1434: removed dependencies on printf & co when Z_PERFORM_CHECK is 0 [Hannes Mehnert]
  • PR#1462: issues with Z.to_float and large numbers.

Changes in ocaml-zarith 1.4.1:

  • Fixed ml_z_of_substring_base and Z.of_substring [Thomas Braibant]
  • Integrated Opam fix for Perl scripts [Thomas Braibant]

alt-ergo, frama-c, ocaml-tplib, and why3 updates are rebuilds for the new ocaml-zarith.

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-2015-1706e6b2e4

This update has been submitted for testing by jjames.

8 years ago

This update has been pushed to testing.

8 years ago

jjames edited this update.

New build(s):

  • why3-0.86.2-2.fc23
  • ocaml-tplib-1.3-20.fc23
  • frama-c-1.11-9.fc23
  • alt-ergo-0.99.1-9.fc23
8 years ago

This update has been submitted for testing by jjames.

8 years ago

This update has been pushed to testing.

8 years ago

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

8 years ago

This update has been submitted for stable by jjames.

8 years ago

This update has been pushed to stable.

8 years ago

Please login to add feedback.

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

Automated Test Results