changes: 1) fixes problems in the original EyeTracking benchmark 2) fix a bug in the definitely written analysis. It didn't keep cleared shared location type set correctly in certain cases, Inference engine generated annotations again for the EyeTracking, but it has location type errors.
add PCLOC annotations. all three benchmarks are type-checked now.
changes and data/eval files for new evaluations
fix: the callee can return only its owned obj
it passes all checkings.
passes the flow down rule
bug fixes + annotations
1) it passes the linear type checking 2) start annotations 3) removes unnecessary class libraries
EyeTracking has the same result of the original Java version.
more changes.
changes toward compilation
add eye tracking benchmark. get rid of all XML serialization.