git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@374 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@373 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@372 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@371 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@370 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@340 041b043f-8d7c-46b2-b46e-ef0dd855326e

   local variables and global variables that are either cheap to evaluate
   or used no more than once.



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@339 041b043f-8d7c-46b2-b46e-ef0dd855326e

 - changed the printing of unused variables


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@338 041b043f-8d7c-46b2-b46e-ef0dd855326e

 - cleaner (but heavier !) code generation scheme for automata


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@337 041b043f-8d7c-46b2-b46e-ef0dd855326e

 - one automata example added
 - changed the reset condition in node calls (now a simple bool expr)
 - bug corrected in clock calculus
 - bug corrected in traceability info
 - added field in variables to test whether they are original 
   or created by normalization process: better error message 
   for causality problems

 Warning: this is the first working version of automata, needs further 
 testing (and debugging). AFAIK, the semantics is close to Lustre V6,
 but further changes may be needed to equate them.


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@335 041b043f-8d7c-46b2-b46e-ef0dd855326e

 - debugging in progress, not usable yet


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@334 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@333 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@332 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@331 041b043f-8d7c-46b2-b46e-ef0dd855326e

 - removed a potential source of bug in scheduler


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@330 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@329 041b043f-8d7c-46b2-b46e-ef0dd855326e

 - corrected several bugs in inlining
 - STILL, BUGS REMAINING in inlined code !!??!!


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@328 041b043f-8d7c-46b2-b46e-ef0dd855326e

  - added interface files (.lusi) in the language, that can be compiled on their own, giving an object file (.lusic) and a header file (.h)
  - modular code generation, from Lustre to C level included.
  - nice amount of code refactoring



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@326 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@323 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@322 041b043f-8d7c-46b2-b46e-ef0dd855326e

   in order to ease the way .lusi interface files are handled.



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@321 041b043f-8d7c-46b2-b46e-ef0dd855326e

   much more simple and efficient.


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@320 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@319 041b043f-8d7c-46b2-b46e-ef0dd855326e

   weak (but still correct) optimization results.


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@318 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@317 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@316 041b043f-8d7c-46b2-b46e-ef0dd855326e

   tuple expressions
 - added an algorithm that reuses dead or clock-disjoint 
   variables instead of declaring/using new ones.
   - NOT carefully tested. Use option -O 3 if you want 
     to give it a try
   - some output name may change from node to machine code,
     this point could be discussed...
   - further optimizations of machine code are now enabled
     (eg. merging case constructs)


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@315 041b043f-8d7c-46b2-b46e-ef0dd855326e

Moved backends in separate folders



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@313 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@312 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@311 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@310 041b043f-8d7c-46b2-b46e-ef0dd855326e

   - typing/clock calculus/normalization now work properly
   - still, a bug in annot generation (this one is for Ploc !!)
     in file normalization, line 396
 - bug corrected in subtyping
 - scheduling outcome changed:
   - variables appearing in a call output are gathered
   - ease the design of a reusability algorithm
 - liveness/reusability is still a work in progress



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@309 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@307 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@306 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@303 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@302 041b043f-8d7c-46b2-b46e-ef0dd855326e

Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type)



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@298 041b043f-8d7c-46b2-b46e-ef0dd855326e

1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenext quantifiers



git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_reorg_corelang_parser@297 041b043f-8d7c-46b2-b46e-ef0dd855326e

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@295 041b043f-8d7c-46b2-b46e-ef0dd855326e

 could be useful for a finer variable elimination scheme at the Lustre level.
 to be continued...


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@291 041b043f-8d7c-46b2-b46e-ef0dd855326e