Project

General

Profile

Download (5.87 KB) Statistics
| Branch: | Tag: | Revision:

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

# Date Author Comment
9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md
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