Revision 8f1c7e91 - - added generation of clock information in interface (.lusi) files - added cl... - LustreC

« Previous | Next »

Revision 8f1c7e91

Added by Xavier Thirioux almost 11 years ago

ID 8f1c7e916a1ac378b04f284beb78a162d2eadb66
Parent 592f508c
Child 5e925ce8

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

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

added
modified
copied
renamed
deleted

src
- clock_calculus.ml (diff)
- clocks.ml (diff)
- dimension.ml (diff)
- main_lustre_compiler.ml (diff)
- printers.ml (diff)
- types.ml (diff)
- typing.ml (diff)
test
- src
  - arrays_arnaud
    - dummy_lib.lusi
  - clocks
    - oversampling0.lus (diff)
- test-compile.sh (diff)