FEDORA-2015-1706e6b2e4 — enhancement update for alt-ergo, frama-c, & 3 more

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

Signed

Content Type

RPM

Test Gating

None

Builds

alt-ergo-0.99.1-9.fc23

frama-c-1.11-9.fc23

ocaml-tplib-1.3-20.fc23

ocaml-zarith-1.4.1-1.fc23

why3-0.86.2-2.fc23

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

8 years ago

in testing

8 years ago

in stable

8 years ago

modified

8 years ago

alt-ergo-0.99.1-9.fc23

frama-c-1.11-9.fc23

ocaml-tplib-1.3-20.fc23

ocaml-zarith-1.4.1-1.fc23

why3-0.86.2-2.fc23

Automated Test Results

None