ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable

Contract resolution still need to be done as well as dealing with the machine code level and so on.

- Renamed type declarations as lustre_types and machine_code_types

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
          typing was transformed as a functor and parametrized by basic types (int/real/bool)
          it can also be applied multiple times on the same program

 bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)

bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

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

 - destination dir should now work properly
 - lusic files now have a version number, to avoid nasty segfaults
   when loading lusic files created by an older compiler version
 - inlining should now work with generic nodes and generic array library
 - tests_ok_dev.list has been added that focuses on advanced (but unused !)
   features of lustrec, avoiding the large 'kind' test files 

 - destination dir should now work properly
 - lusic files now have a version number, to avoid nasty segfaults
   when loading lusic files created by an older compiler version
 - inlining should now work with generic nodes and generic array library
 - tests_ok_dev.list has been added that focuses on advanced (but unused !)
   features of lustrec, avoiding the large 'kind' test files 


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

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

 - 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.

 - 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

 - 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