/src/tools/stateflow - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/stateflow @ 6cbbe1c1

Name	Size	Revision	Age	Author	Comment
common		719ae9fd	over 1 year	Lélio Brun	migration draft on dune
json-parser		719ae9fd	over 1 year	Lélio Brun	migration draft on dune
models		ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
semantics		ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
README.md	1.02 KB	93119c3f	almost 5 years	Pierre-Loïc Garoche	Moved stateflow tool in src/tool Updated the ma...
sf_sem.ml	3.44 KB	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings

#	Date	Author	Comment
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
f4cba4b8	03/12/2019 11:23 AM	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. Contract resolution still need to be done as well as dealing with the machine code level and so on.
217837e2	11/21/2018 08:15 PM	Pierre-Loïc Garoche	Unified compilation of lusi and lus files Different parsers yet but shared process. In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...
59803095	11/16/2018 11:30 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
ae7d913d	11/16/2018 04:18 AM	Pierre-Loïc Garoche	Merlin files
b0c381d0	07/12/2018 04:04 PM	Pierre-Loïc Garoche	Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
885b2896	05/31/2018 02:59 PM	Xavier Thirioux	Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
6eda0c25	03/30/2018 11:40 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
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

Also available in: Atom