Project

General

Profile

Revision 0d54d8a8 TODO.org

View differences:

TODO.org
131 131
  - in lustre file: contract attached to lustre node before the locals/let
132 132
  - in lusi file: contract attached to lustre node before the node foo ...
133 133

  
134
- Dev. choices
135
  - contracts rely look like imported node: a signature and a contract content attached
136
    - in lusi one could have an alias for contract / imported node
137
    - in lus similarly a top level contract could be parsed as an imported node
138
    - contract import would amount to concatenate contract elements
139
      from provided nodes or imported nodes.
140

  
134 141
** Development
135 142
*** Done
136 143
- (ploc) retirer le parser Kind2 et revenir à celui de lustrec
......
150 157
  - EMF
151 158
  - LustreV
152 159

  
160
* Slicing
161
  - reprendre le slicing inlined de seal pour
162
  - when provided with a main node and a selection of outputs or memories
163
    - slice the local node
164
    - for each node called try to slice to the selected vars
165
  - could be used to analyze counterexamples
153 166
* TODO refactoring + doc
154 167
- separate lustre types from machine types in different files
155 168
- split basic libs into backend specific files

Also available in: Unified diff