« Previous | Next » 

Revision 5fccce23

Added by Pierre-Loïc Garoche over 5 years ago

- 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

  • added
  • modified
  • copied
  • renamed
  • deleted