Changes in coq 8.13.2:
vm_compute
on an irreducible PArray.set
.vo
files containing a vm_compute
normalized primitive arrayLtac2.Array.init
computational complexityChanges in ocaml-dose3 6.1:
Changes in ocaml-menhir 20210310:
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.\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.%inline
symbols, eliminating certain useless variable renamings that would appear in semantic actions after expansion.Changes in ocaml-menhir 20210419:
coq-minicalc
in the manual.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.)Changes in ocaml-ocamlgraph 2.0.0:
WeakTopological
: fixed incorrect use of generic hash tables (#99, Tomáš Dacík)Oper
: fixed transitive_reduction
(#91)Coloring
: fixed generation of OCamlDoc documentation (contributed by Earnestly)Coloring
functions now fail if the graph is directedColoring
now uses a single, global exception (NoColoring
)Coloring
: new function two_color
to 2-color a graph (or fail)Fixpoint
: Take initial labeling of nodes into account (Johannes Kloos)Dominator.Make_graph
now accepts a signature that is Builder-compatibleAll other builds are simple rebuilds due to the changes above.
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-988974303a
Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi