equivalence checking of types using a table
Merge remote-tracking branches 'origin/HEAD' and 'origin/master'
Merge remote-tracking branches 'origin/development', 'origin/HEAD', 'origin/master' and 'origin/types'
likely type inference now creates equivalence class of types.
Merge remote-tracking branches 'origin/development', 'origin/HEAD', 'origin/master' and 'origin/types' into types
likely type inference with DOT graphviz support visualization.
removed analysis.read from Likely Type Inference engine.
Merge remote-tracking branches 'origin/development', 'origin/HEAD', 'origin/master' and 'origin/types' into types
fixed a bug related to log reading in record-replay
likely types
Merge branch 'types'