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