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
cdced2f0
Commit
cdced2f0
authored
Apr 06, 2017
by
POTTIER Francois
Browse files
TODO.
parent
804f4d17
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
cdced2f0
...
...
@@ -27,10 +27,6 @@
- Change of LICENSE. Clarify the status of test/.
- Send CompCert pull request.
* The table back-end should not use Invariant.prodstack,
and should produce code for all semantic actions, regardless
of whether they are ever reduced.
* The table back-end should not use Invariant at all?
And we should be able to save time by not running Invariant.
...
...
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