Changes in coq 8.13.2:
vm_computeon an irreducible
.vofiles containing a
vm_computenormalized primitive array
Changes in ocaml-dose3 6.1:
Changes in ocaml-menhir 20210310:
Aexpands (in one or more steps) to itself. This implies that the grammar is ambiguous. A grammar has hidden left recursion when a nonterminal symbol
Aexpands (in one step) to
B beta, where
Bexpands (in zero or more steps) to nothing and
betaexpands (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.
\nin a token alias. It was allowed by mistake. Disallowing it ensures that the
## Concrete syntax:comments generated as part of
.messagesfiles fit on a single line.
%inlinesymbols, eliminating certain useless variable renamings that would appear in semantic actions after expansion.
Changes in ocaml-menhir 20210419:
coq-minicalcin the manual.
parse_resultin the coq-menhirlib library and thanks to the new generated helper function
Aut.N_of_state. See the new demo
coq-syntax-errorsand the updated manual for more details. (Contributed by Brian Ward.)
Changes in ocaml-ocamlgraph 2.0.0:
WeakTopological: fixed incorrect use of generic hash tables (#99, Tomáš Dacík)
Coloring: fixed generation of OCamlDoc documentation (contributed by Earnestly)
Coloringfunctions now fail if the graph is directed
Coloringnow uses a single, global exception (
Coloring: new function
two_colorto 2-color a graph (or fail)
Fixpoint: Take initial labeling of nodes into account (Johannes Kloos)
Dominator.Make_graphnow accepts a signature that is Builder-compatible
All other builds are simple rebuilds due to the changes above.
sudo dnf upgrade --advisory=FEDORA-2021-988974303a
Please login to add feedback.