20120827 ca
From OO Lab
Progress Check
- Done
- Found unfold branch and merged master into it
- Fix bugs on reading DES
- Added type hint on mapping nodes
- Blocking
- Unfold's apply all feature broken
Meeting
- Unfold: should match ADT by multi-level, instead of a single type
- Don't fold gates which has links
- Please focus on test cases and testing
