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

« Previous | Next »

Revision c518d082

Added by Xavier Thirioux about 11 years ago

ID c518d0828a330512157b652f690dfaaacec85d6e
Parent 2842f7ca
Child 3e79b3a5

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

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)