Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
db2ea1b8
Commit
db2ea1b8
authored
Apr 06, 2017
by
POTTIER Francois
Browse files
Comments.
parent
1d6a1505
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/invariant.mli
View file @
db2ea1b8
...
...
@@ -11,8 +11,7 @@
(* *)
(******************************************************************************)
(* This module discovers and publishes information about the
automaton.
(* This module discovers and publishes information about the automaton.
It determines the shape of the stack when a state is about to be
entered, when a production is about to be reduced, and when a goto
...
...
@@ -23,7 +22,11 @@
need to keep track of (start or end) positions.
It also determines which automaton states could have to deal with an
[error] token. *)
[error] token.
The information computed in this module is used in the code back-end,
in the Coq back-end, and in the automated production of .messages files.
It is not used in the table back-end. *)
open
Grammar
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment