stable

coq-8.13.2-1.fc34, flocq-3.4.0-5.fc34, & 5 more

FEDORA-2021-8b73a471c5 created by jjames 3 years ago for Fedora 34

Changes in coq 8.13.2:

  • Fix crash when using vm_compute on an irreducible PArray.set
  • Fix crash when loading .vo files containing a vm_compute normalized primitive array
  • Fix Ltac2.Array.init computational complexity

Changes in ocaml-menhir 20210310:

  • Menhir now detects and rejects grammars that have a cycle and grammars that exhibit hidden left recursion. A grammar has a cycle when a nonterminal symbol A expands (in one or more steps) to itself. This implies that the grammar is ambiguous. A grammar has hidden left recursion when a nonterminal symbol A expands (in one step) to B beta, where B expands (in zero or more steps) to nothing and beta expands (in zero or more steps) to A .... This implies that the grammar is not in the class LR(k) for any value of k. Both of these anomalies create a shift/reduce conflict which, if resolved in favor of reduction, leads to a nonterminating parser.
  • Disallow the escape sequence \n in a token alias. It was allowed by mistake. Disallowing it ensures that the ## Concrete syntax: comments generated as part of .messages files fit on a single line.
  • Internal changes in the expansion of %inline symbols, eliminating certain useless variable renamings that would appear in semantic actions after expansion.
  • Internal changes in the code back-end, eliminating certain useless bindings of variables to a unit value.

Changes in ocaml-menhir 20210419:

  • Mention the demo coq-minicalc in the manual.
  • Parsers generated with the Coq mode now have support for non-certified basic error reporting without an additional parser. This is supported thanks to an extension of the return type parse_result in the coq-menhirlib library and thanks to the new generated helper function Aut.N_of_state. See the new demo coq-syntax-errors and the updated manual for more details. (Contributed by Brian Ward.)

All other builds are simple rebuilds due to the changes above.

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-2021-8b73a471c5

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

3 years ago

This update has been submitted for testing by bodhi.

3 years ago

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

3 years ago

This update has been pushed to testing.

3 years ago

This update has been submitted for stable by bodhi.

3 years ago

This update has been pushed to stable.

3 years ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago

Automated Test Results