stable

coq-8.11.2-1.fc32, flocq-3.3.1-1.fc32, & 5 more

FEDORA-2020-d82e88c6d0 created by jjames 4 years ago for Fedora 32

Changes in coq 8.11.2:

Changes in flocq 3.3.0:

  • added IEEE754.BinarySingleNaN where NaN have no payload
  • proved adequacy of Coq 8.11 floating-point numbers in IEEE754.PrimFloat
  • added theorems about rounding to nearest, tie breaking to zero

Changes in flocq 3.3.1:

  • fixed failure when extracting to OCaml

Changes in frama-c 21.0 (Scandium):

Changes in ocaml-menhir 20200525:

  • Fix a problem that could arise when an open polymorphic variant, such as [> `A ], was used in a %type or %start declaration. A type that was too general could possibly be inferred. This could in turn lead to an incorrect compilation of pattern matching and to a segmentation fault. (Problem reported by Joe.)
  • Fix the static check that is performed prior to expanding the parameterized nonterminal symbols. The previous check was incorrect: it would sometimes accept a grammar whose expansion would diverge. (Fix by Yann RĂ©gis-Gianas.)

Changes in ocaml-menhir 20200612:

  • When a semantic value is unused in a semantic action, the warning (or error) should now be correctly reported in the .mly file, not in a generated .ml file. (This works only when --infer is enabled, because we are lazy. If you use dune, this works out of the box.)

The other package builds (for gappalib-coq, why3, and zenon) are simple rebuilds due to the other updates.

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-2020-d82e88c6d0

This update has been submitted for testing by jjames.

4 years ago

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

4 years ago

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

4 years ago
User Icon grenier commented & provided feedback 4 years ago
karma

After a "dnf --enablerepo=updates-testing update frama-c", it now works again.

BZ#1845945 frama-c: Preprocessing error on Fedora 32

This update has been pushed to testing.

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

This update can be pushed to stable now if the maintainer wishes

4 years ago

This update has been submitted for stable by bodhi.

4 years ago

This update has been pushed to stable.

4 years ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
1
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago
BZ#1845945 frama-c: Preprocessing error on Fedora 32
0
1

Automated Test Results