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

« Previous | Next »

Revision 6394042a

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

ID 6394042a2408d71438a56d6b8ec7ea10780471d2
Parent 9d01f989
Child a5193ff5

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

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)