/src/inliner.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / inliner.ml @ 587cdc0d

History | View | Annotate | Download (9.6 KB)

#	Date	Author	Comment
9f8c4c1d	05/23/2014 02:51 PM	Pierre-Loïc Garoche	inlining update
316af809	05/19/2014 01:45 PM	Pierre-Loïc Garoche	Check node is stateful
d3e4c22f	03/14/2014 05:45 PM	Xavier Thirioux	- work in progress for stateless/stateful status computation (to turn conditionals into merges, which yield more efficient C code)
2842f7ca	03/01/2014 12:01 AM	Pierre-Loïc Garoche	Reenabled the generation of witnesses for inline process. Systematic use of the build path
49b32cb6	02/28/2014 01:52 PM	Pierre-Loïc Garoche	Merge inlining branch within trunk. The test target requires branch lustrec/horn as binary lustreh.
274c72ec	02/28/2014 01:43 PM	Pierre-Loïc Garoche	inliner function