CristalCaveGem » LustreC

- Refactored Error exception and messages
- 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

comment some code to avoid warning at compile time

- tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module

Ada: Start cleaning Ada to prepare for why beckend

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...

Ada: First support for transition predicate generation.

Ada: Correct some errors in printing

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.

Merge branch 'lustrec-seal' into ada

Ada: Correct ada main to handle statelles top level node