Project

General

Profile

Statistics
| 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