Revision 566dbf49 - Added local inlining using the keyword (*! /inlining/:true *) git-svn-id: h... - LustreC

« Previous | Next »

Revision 566dbf49

Added by Pierre-Loïc Garoche about 10 years ago

ID 566dbf49e02b3de3231ae2c8cf9e6d5e1afc22e1
Parent 228ebb2c
Child d41b874a

Added local inlining using the keyword (*! /inlining/:true *)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@426 041b043f-8d7c-46b2-b46e-ef0dd855326e

added
modified
copied
renamed
deleted

src
- annotations.ml
- corelang.ml (diff)
- corelang.mli (diff)
- inliner.ml (diff)
- main_lustre_compiler.ml (diff)
- parserLustreSpec.mly (diff)
- parser_lustre.mly (diff)