Revision 6b4d172f
- 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
| ID | 6b4d172f53fcccc9a3e6419b388cf293e463ec03 |
| Parent | 839ca600 |
| Child | fa0db9d5 |
Added by Xavier Thirioux about 6 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.