Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
activeStates.ml 928 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
activeStates.mli 160 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
basetypes.ml 4.67 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
basetypes.mli 1.62 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
datatype.ml 4.84 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
datatype.mli 1.05 KB a7062da6 over 3 years Lélio Brun another step towards refactoring

Latest revisions

# Date Author Comment
a7062da6 06/28/2021 09:52 PM Lélio Brun

another step towards refactoring

ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

8446bf03 03/30/2018 05:54 PM Pierre-Loïc Garoche

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

9c654082 02/13/2018 05:42 PM Pierre-Loïc Garoche

[lustresf] work in progress. Added global env with initial values

9ae027f8 12/21/2017 12:29 AM Pierre-Loïc Garoche

[stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...

b06b7b77 12/12/2017 03:15 PM Christophe Garion

[lustresf] add Program constructor in model examples + sf_sem

57ecad58 10/03/2017 12:01 PM Christophe Garion

parser-json: clean main program + add pp for vars

eb70bae5 09/26/2017 03:38 PM Christophe Garion

parser-json: final version of parser with new types

View revisions

Also available in: Atom