/src/tools/stateflow/semantics - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/stateflow/semantics @ 8446bf03

#	Date	Author	Comment
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 ...
61e2b4b7	12/12/2017 03:17 PM	Christophe Garion	Merge branch 'unstable-merge' into unstable
b1af4f73	12/12/2017 02:51 PM	Christophe Garion	[JSON] remove pretty-printing functions declarations in cPS_transformer
e0d6f1d1	12/12/2017 12:23 PM	Pierre-Loïc Garoche	[lustresf] refactoring automata generation using Automata.ml functions
eb70bae5	09/26/2017 03:38 PM	Christophe Garion	parser-json: final version of parser with new types
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
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