Revision f4cba4b8 TODO.org
TODO.org | ||
---|---|---|
141 | 141 |
** Development |
142 | 142 |
*** Done |
143 | 143 |
- (ploc) retirer le parser Kind2 et revenir à celui de lustrec |
144 |
|
|
144 | 145 |
*** To be done |
146 |
|
|
145 | 147 |
**** Court terme |
146 | 148 |
- (CG) etendre la syntaxe pour coller à la definition donnée ci-dessus |
147 | 149 |
- lexeur/parseur lustreSpec + document latex de grammaire |
Also available in: Unified diff