Changes in coq 8.13.1:

  • Fix arities of VM opcodes for some floating-point operations that could cause memory corruption

Changes in ocaml-menhir 20201216:

  • The new command line switch --require-aliases causes Menhir to check that a token alias has been defined for every token.

  • The escaped characters \\, \', \", \n, \t, \b, \r, \ are now accepted in token aliases.

  • If a token alias has been defined for every token, then, in every .messages file produced by Menhir, every sentence is now followed by its concrete syntax, in an auto-generated comment that begins with ## Concrete syntax:. This feature relies on the assumption that the concrete syntax allows separating two tokens with a space character.

  • The new command --echo-errors-concrete reads a .messages files and echoes every sentence, immediately followed with its ## Concrete syntax: auto-generated comment.

  • Update the demo calc-syntax-errors to show how to compile a parser simultaneously via the code back-end and via the table back-end, so as to obtain both optimal performance and good error messages.

  • Rename the undocumented option --graph to --reference-graph.

  • Add an undocumented option --automaton-graph which produces an (incomplete) graphical representation of the LR(1) automaton.

  • At log level --log-automaton 2, Menhir now shows which states have a conflict between multiple %on_error_reduce declarations.

  • The new command line switch --strategy <strategy> allows choosing an error handling strategy between legacy and simplified. This matters only if the grammar uses the error token. The legacy strategy yields Menhir's traditional behavior. The simplified strategy should be preferred if the error token is used only to catch an error and stop. (In this restricted style, the error token always appears at the end of a production, whose semantic action raises an exception.)

Changes in ocaml-zarith 1.12:

  • PR #79: fast path in OCaml (instead of assembly language) [Xavier Leroy]
  • PR #94: remove source preprocessing and simplify configuration [Xavier Leroy]
  • PR #93: fix parallel build [Guillaume Melquiond]
  • PR #92: fix benchmark for subtraction [Guillaume Melquiond]
  • require OCaml 4.04 or later [Xavier Leroy]
  • add CI testing on macOS [Xavier Leroy]

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

How to install

sudo dnf upgrade --advisory=FEDORA-2021-39c7b68180

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

2 months ago

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

2 months ago

This update has been submitted for testing by bodhi.

2 months ago

This update has been pushed to testing.

2 months ago

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

2 months ago

This update has been submitted for stable by bodhi.

2 months ago

This update has been pushed to stable.

2 months 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
3 days
Dates
submitted
2 months ago
in testing
2 months ago
in stable
2 months ago
BZ#1934496 ocaml-zarith-1.12 is available
0
0

Automated Test Results