Project

General

Profile

Revision 17e1d0f4 TODO.org

View differences:

TODO.org
134 134
** Development
135 135
*** Done
136 136
*** To be done
137
**** Court terme
138

  
139
- repartir la branche acsl2018 qui contient la normalisation des eexpr
140
  - le refaire compiler
141
  - merger avec unstable 
142
- transformer cette normalisation pour partager les definitions locales de
143
  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

  
148
**** Apres
149
- developper dans les backends
150
  - C
151
  - EMF
152
  - LustreV
137 153

  
138 154
* TODO refactoring + doc
139 155
- separate lustre types from machine types in different files

Also available in: Unified diff