Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / parserLustreSpec.mly @ 0bd19a92

History | View | Annotate | Download (8.28 KB)

# Date Author Comment
66359a5e 01/31/2018 07:27 AM Pierre-Loïc Garoche

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program

1b57e111 12/30/2016 09:20 PM Teme Kahsai

adding sfunction support

d50b0dc0 10/07/2015 07:22 PM Teme Kahsai

sync

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit