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
6e324062
Commit
6e324062
authored
Oct 25, 2018
by
POTTIER Francois
Browse files
Whitespace.
parent
f91b2718
Changes
1
Hide whitespace changes
Inline
Side-by-side
HOWTO.md
View file @
6e324062
...
...
@@ -45,18 +45,18 @@ following order:
| Module | Task |
| --------------------- | ---- |
| Settings
| parses the command line |
| PreFront
| reads the grammar description files |
| TokenType
| deals with
`--only-tokens`
and exits |
| Front
| deals with
`--depend`
,
`--infer`
,
`--only-preprocess`
, and exits |
| Grammar
| performs a number of analyses of the grammar |
| Lr0
| constructs the LR(0) automaton |
| Slr
| determines whether the grammar is SLR |
| Lr1
| constructs the LR(1) automaton |
| Conflict
| performs default conflict resolution and explains conflicts |
| Invariant
| performs a number of analyses of the automaton |
| Interpret
| deals with
`--interpret`
and exits |
| Back
| produces the output and exits |
| Settings
| parses the command line |
| PreFront
| reads the grammar description files |
| TokenType
| deals with
`--only-tokens`
and exits |
| Front
| deals with
`--depend`
,
`--infer`
,
`--only-preprocess`
, and exits |
| Grammar
| performs a number of analyses of the grammar |
| Lr0
| constructs the LR(0) automaton |
| Slr
| determines whether the grammar is SLR |
| Lr1
| constructs the LR(1) automaton |
| Conflict
| performs default conflict resolution and explains conflicts |
| Invariant
| performs a number of analyses of the automaton |
| Interpret
| deals with
`--interpret`
and exits |
| Back
| produces the output and exits |
A few artificial dependencies have been added in the code in order
to ensure that this ordering is respected by
`ocamlbuild`
.
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