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.

a year ago

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
User Icon grenier commented & provided feedback a year 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.

a year ago

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

a year ago

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

a year ago

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

a year ago

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

a year ago

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

a year ago

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

a year ago

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

a year ago

This update has been submitted for stable by bodhi.

a year ago

This update has been pushed to stable.

a year 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
a year ago
in testing
a year ago
in stable
a year ago
BZ#1845945 frama-c: Preprocessing error on Fedora 32
0
1

Automated Test Results