Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / stateflow / json-parser / main_parse_json_file.ml @ ae7d913d

History | View | Annotate | Download (5.8 KB)

# Date Author Comment
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 ...

921230e6 10/06/2017 02:33 PM Christophe Garion

json-parser: clean files names and directories