Project

General

Profile

« Previous | Next » 

Revision 6b4d172f

ID6b4d172f53fcccc9a3e6419b388cf293e463ec03
Parent 839ca600
Child fa0db9d5

Added by Xavier Thirioux over 5 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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences