/src/tools/stateflow/json-parser - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/stateflow/json-parser @ 4c945dde

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	ae7d913d	almost 5 years	Pierre-Loïc Garoche	Merlin files
json_parser.ml	6.44 KB	9ae027f8	almost 6 years	Pierre-Loïc Garoche	[stateflow] some progress, linking the parsed j...
main_parse_json_file.ml	5.8 KB	9c654082	over 5 years	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env w...
test_json_parser_variables.ml	6.88 KB	befd32b5	almost 6 years	Christophe Garion	json-parser: add test for real variable with e\|E

#	Date	Author	Comment
ae7d913d	11/16/2018 04:18 AM	Pierre-Loïc Garoche	Merlin files
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 ...
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

Also available in: Atom