Project

General

Profile

Revision 4f26dcf5 TODO.org

View differences:

TODO.org
133 133

  
134 134
** Development
135 135
*** Done
136
- (ploc) retirer le parser Kind2 et revenir à celui de lustrec
136 137
*** To be done
137 138
**** Court terme
138

  
139
- (CG) etendre la syntaxe pour coller à la definition donnée ci-dessus
140
  - lexeur/parseur lustreSpec + document latex de grammaire
139 141
- repartir la branche acsl2018 qui contient la normalisation des eexpr
140 142
  - le refaire compiler
141 143
  - merger avec unstable 
142 144
- transformer cette normalisation pour partager les definitions locales de
143 145
  variables dans le noeud de spec, aka contract
144
- retirer le parser Kind21 et revenir à celui de lustrec
145
- (CG) etendre la syntaxe pour coller à la definition donnée ci-dessus
146
  - lexeur/parseur lustreSpec + document latex de grammaire
147 146

  
148 147
**** Apres
149 148
- developper dans les backends

Also available in: Unified diff