Revision 6394042a - Added local inlining using the keyword (*! /inlining/:true *) - LustreC

« Previous | Next »

Revision 6394042a

ID	6394042a2408d71438a56d6b8ec7ea10780471d2
Parent	9d01f989
Child	a5193ff5

Added by Pierre-Loïc Garoche almost 5 years ago

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

Files

added
modified
copied
renamed
deleted

View differences

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