Revision 7291cb80

« Previous | Next »

ID	7291cb80b15cb7bcb20a72c0438d7475dde61fc9
Parent	0777a7be
Child	a6c265f5

Added by Xavier Thirioux over 6 years ago

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

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

Files

added
modified
copied
renamed
deleted

View differences

src
- c_backend.ml (diff)
- clock_calculus.ml (diff)
- dimension.ml (diff)
- main_lustre_compiler.ml (diff)
- options.ml (diff)
- parser_lustre.mly (diff)
- printers.ml (diff)
- types.ml (diff)
- typing.ml (diff)
test
- src
  - arrays_arnaud
    - MatrixAddition.lus (diff)
    - dummy_lib.lusi
- test-compile.sh (diff)

Project

General

Profile

CristalCaveGem » LustreC

Revision 7291cb80

Files