Revision 8b3afe43

« Previous | Next »

Added by Xavier Thirioux almost 11 years ago

ID 8b3afe43d5d5043c22d0406561bc6230b48e1e82
Parent 29ad4531
Child 7f611a35

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

Changes
View differences

added
modified
copied
renamed
deleted

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 8b3afe43

Added by Xavier Thirioux almost 11 years ago