coq-8.16.0-1.fc38, flocq-4.1.0-1.fc38, & 5 more

FEDORA-2022-97359e41b3 created by jjames a year ago for Fedora 38

See for changes in coq 8.16.0.

Changes in flocq 4.0.0:

  • made Coq 8.12 the minimal version and removed the IEEE754.SpecFloatCompat layer
  • removed automatic export of ZArith and Reals from Core.Raux and Core.Core
  • proved a close/far-path adder in Calc.Plus
  • made IEEE754.Binary a wrapper around IEEE754.BinarySingleNaN

Changes in flocq 4.1.0:

  • added Bnearbyint and Btrunc in IEEE754
  • ensured compatibility from Coq 8.12 to 8.16

Changes in why3 1.5.1:

  • Numerous bug fixes
  • Documentation
    • documented most options of why3 prove and why3 execute
  • Python language
    • added construct e1 if e2 else e3
    • added support for tuples and multiple assignments
    • added #@ axiom and #@ lemma
    • global variables annotated with #@ constant are available in the logic
    • pure functions (i.e., limited to return e) annotated with #@ function are available in the logic
    • logical functions can be given a variant with variant {term}
  • Provers
    • support for Z3 4.9.0 and 4.9.1 (released July 6, 2022)
    • support for Z3 4.10.0, 4.10.1 and 4.10.2 (released July 30, 2022)
    • support for Z3 4.11.0 (released August 18, 2022)
    • support for Coq 8.16.0 (release September 5, 2022)
    • support for Gappa 1.4.0 (released April 16, 2022)

The frama-c, gappalib-coq, ocaml-menhir, and zenon builds are simple rebuilds due to the above 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-2022-97359e41b3

This update's test gating status has been changed to 'waiting'.

a year ago

This update's test gating status has been changed to 'ignored'.

a year ago

This update has been submitted for stable by bodhi

a year ago

Please login to add feedback.

Content Type
Test Gating
Unstable by Karma
Stable by Karma
Stable by Time
0 days
a year ago
in testing
a year ago
in stable
a year ago

Automated Test Results