Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / stateflow @ ab6312e7

# Date Author Comment
885b2896 05/31/2018 02:59 PM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

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

bc86ee26 03/28/2018 10:41 AM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

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

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

51a2c05a 02/01/2018 01:46 PM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

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 ...

e304cd81 12/14/2017 11:24 AM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

61e2b4b7 12/12/2017 03:17 PM Christophe Garion

Merge branch 'unstable-merge' into unstable

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

[lustresf] add Program constructor in model examples + sf_sem

b1af4f73 12/12/2017 02:51 PM Christophe Garion

[JSON] remove pretty-printing functions declarations in cPS_transformer

97b1a486 12/12/2017 12:37 PM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

72f666d3 12/12/2017 12:35 PM Xavier Thirioux

...

e0d6f1d1 12/12/2017 12:23 PM Pierre-Loïc Garoche

[lustresf] refactoring automata generation using Automata.ml functions

50ae9ab8 12/12/2017 12:10 PM Christophe Garion

simple conflict when merging unstable and json-parser

2a4992a1 12/12/2017 10:29 AM Pierre-Loïc Garoche

[lustresf] Some progress: automaton compiles but not when preprocessed

050147ec 10/13/2017 02:58 PM Christophe Garion

json-parser: correct parser for regex for real variables with e|E

befd32b5 10/13/2017 02:58 PM Christophe Garion

json-parser: add test for real variable with e|E

d8abc19b 10/13/2017 11:18 AM Christophe Garion

json-parser: correct bug on real variables value

cbfee4a3 10/13/2017 11:16 AM Christophe Garion

json-parser: add string_of_XXX functions for assertions

c3d8313d 10/12/2017 03:36 PM Christophe Garion

json-parser: test exception for variables

89ac5599 10/11/2017 02:26 PM Christophe Garion

json-parser: switch arguments for assert_equal (expected/actual)

0c0b0aff 10/11/2017 02:25 PM Christophe Garion

json-parser: use JSON_parse_error exception

5c0d6e4e 10/10/2017 10:54 PM Christophe Garion

json-parser: more tests with single variables

2b95979d 10/10/2017 05:39 PM Christophe Garion

json-parser: change variables names in tests

0291fcfd 10/10/2017 05:37 PM Christophe Garion

json-parser: add test for boolean variable true

f5c1e4c1 10/10/2017 05:33 PM Christophe Garion

json-parser: refactor first test

550e6a83 10/10/2017 05:30 PM Christophe Garion

json-parser: first unit test for JSON parser (variables)

30fef623 10/10/2017 05:29 PM Christophe Garion

json-parser: clean packages and _tags.in

430dc9ee 10/06/2017 02:57 PM Christophe Garion

json-parser: replace assert with exceptions

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

json-parser: clean files names and directories

5a71ed25 10/06/2017 02:21 PM Christophe Garion

json-parser: use Logs and Cmdliner librairies

bbfbc15a 10/05/2017 02:20 PM Christophe Garion

json-parser: remove Const_bool and use Const_tag

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

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

37290ede 10/03/2017 10:47 AM Christophe Garion

parser-json: correct parsing of real constants for variables

04396cc7 10/02/2017 05:55 PM Christophe Garion

parser-json: add variables in parsing

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

parser-json: final version of parser with new types

15a6823b 09/25/2017 11:15 AM Christophe Garion

TMerge branch 'unstable' into json-parser

68601cf5 09/23/2017 10:26 AM Xavier Thirioux

bug correction: each var_decl must be unique and not shared as a global var

c5d45c13 09/22/2017 05:43 PM Pierre-Loïc Garoche

[lustresf]: tuple of false values for initial state

74ca6b61 09/22/2017 05:38 PM Pierre-Loïc Garoche

A fresh option to print with declared types instead of inferred ones

bad7b67a 09/22/2017 05:20 PM Christophe Garion

parser-json: first steps to integrate JSON parser

69c96b6c 09/22/2017 04:39 PM Pierre-Loïc Garoche

lustresf: Better construction of lustre ast. Still more work to be done.

93119c3f 09/21/2017 01:48 PM Pierre-Loïc Garoche

Moved stateflow tool in src/tool
Updated the makefile to compile lustresf
Not working yet