Project

General

Profile

« Previous | Next » 

Revision 6b4d172f

Added by Xavier Thirioux over 7 years ago

- refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.

  • added
  • modified
  • copied
  • renamed
  • deleted