- Bugs in partial evaluation for equalities among bool constants
  and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

keep the open top declaration when loading a module. It may be useful later when producing a lustre file

Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point

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

node_Table hashtbl is now only available through functions of the corelang.mli

Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code

But

- Modules now is more integrated and performed the building of the type/clock env.
  previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules

- Contract were extended with list of statements.

- Renamed type declarations as lustre_types and machine_code_types

- EMF backend now impose the optimization level to be set to 0 in order to avoid equation elimination that would render traceability difficult
- Options.ml has been split into Options.ml / Options_management.ml. Options.ml only contains references and no functions

- allow multiple -I dir, will be used in order (first one declared
  is first used)

- when declaring a global library #open <foo>, foo is first checked
  in local folders, than in global one (install path). This
  does not apply to local libraries opened with #open "foo".

 - bizarre date stamping (when generating .lusi files)
 - bug in loading libraries, forbidding several (transitive) imports of the same library.
 - plugin scopes was wrongly always activated

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@444 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

- Header now do not allow the generation of function previously declared as C prototype

- Header now do not allow the generation of function previously declared as C prototype



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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@370 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

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

 - 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

  - 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