Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / scheduling_type.ml @ f9f06e7d

History | View | Annotate | Download (557 Bytes)

# Date Author Comment
a703ed0c 11/03/2018 12:03 AM Pierre-Loïc Garoche

Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.