-
POTTIER Francois authored
Updated [Invariant] with the constraint that an end position must exist on top of the stack whenever an epsilon production is about to be reduced.
59bffe97
Updated [Invariant] with the constraint that an end position must exist on top of the stack whenever an epsilon production is about to be reduced.