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

sudo dnf upgrade --advisory=FEDORA-2020-d82e88c6d0

This update has been submitted for testing by jjames.

11 months ago

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

11 months ago

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

11 months ago
User Icon grenier commented & provided feedback 11 months 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.

11 months ago

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

11 months ago

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

11 months ago

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

11 months ago

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

11 months ago

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

11 months ago

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

11 months ago

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

11 months ago

This update has been submitted for stable by bodhi.

11 months ago

This update has been pushed to stable.

11 months ago

Please login to add feedback.

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

Automated Test Results