/src/parsers/parse.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / parsers / parse.ml @ 684d39e7

History | View | Annotate | Download (2.45 KB)

#			Date	Author	Comment
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...
778c80fd			10/05/2018 07:54 PM	Pierre-Loïc Garoche	Some refactoring Adapted the parser/types/constructors for cocospec syntax