CristalCaveGem » LustreC

clean handling of undefined node application

Updated typing error

bug correction in homomorphic extension

node memory namespace bug corrected; library linear_ctl/arrays corrected

removed debug message

changed name generation to avoid conflict with C predefined symbols; added checking for declared but not defined node symbol

work in progress for struct types...

more steps towards struct types...
Cette ligne, et les suivantes ci-dessous, seront ignorées--

M trunk/src/corelang.mli
M trunk/src/type_predef.ml
M trunk/src/main_lustre_compiler.ml
M trunk/src/types.ml
M trunk/src/printers.ml
M trunk/src/typing.ml...

- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files

- merged test script
- added -d support
- corrected #open parser problem
- corrected interface/implementation (.lusi/.lus) checking
for types (not yet for clocks)

Moved files to trunk in lustre_compiler