Revision accbb04d

« Previous | Next »

Added by Xavier Thirioux over 11 years ago

ID accbb04dd698f6bcde942fb9608e78796782b15c
Parent f22632aa
Child b878abe5

- small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples according to the new syntax

Changes
View differences

added
modified
copied
renamed
deleted

src
- lexer_lustre.mll (diff)
- typing.ml (diff)
test
- src
  - arrays_arnaud
    - MatrixAndArrays.lus (diff)
    - RelOpMatrix.lus (diff)
    - access1.lus (diff)
    - generic1.lus (diff)
    - generic2.lus (diff)
    - generic3.lus (diff)

Project

General

Profile

CristalCaveGem » LustreC

Revision accbb04d

Added by Xavier Thirioux over 11 years ago