Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / modules.mli @ 95944ba1

History | View | Annotate | Download (878 Bytes)

# Date Author Comment
5fccce23 11/21/2018 03:23 AM Pierre-Loïc Garoche

- Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules