Project

General

Profile

Revision f4cba4b8 TODO.org

View differences:

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