projects / IRC.git / history
| 2012-11-03 | yeom | changes: 1) fixes problems in the original EyeTracking... | commit | commitdiff |
| 2012-08-02 | yeom | add PCLOC annotations. all three benchmarks are type... | commit | commitdiff |
| 2012-03-21 | yeom | changes and data/eval files for new evaluations | commit | commitdiff |
| 2011-09-21 | yeom | it passes all checkings. | commit | commitdiff |
| 2011-09-20 | yeom | passes the flow down rule | commit | commitdiff |
| 2011-09-17 | yeom | 1) it passes the linear type checking 2) start annotati... | commit | commitdiff |
| 2011-09-16 | yeom | more changes. | commit | commitdiff |
| 2011-09-15 | yeom | changes toward compilation | commit | commitdiff |
| 2011-09-14 | yeom | add eye tracking benchmark. | commit | commitdiff |