Merged Issue158 into default.
Fixed tests that fail because of a null pointer exception.
Refactoring encoding scheme and additional unit tests
Merged
Missing files, synthetic invariant experiment
Removed synthetic invariant experiment
Merging default
Fixed noted bug in Comment 3 in issue 149. Refactored async callback classes.
Closing branch.
Merged in Issue149
Added some comments and slightly modified InvariantsGraph spec
Added inv resize handler and a few other changes
Completed a rudimentary implementation
Added scripts to capture method calls/returns in synoptic via dtrace.
Merged with default
Fixed some bugs I noticed after the merge by making a few elements within GRAPH_HANDLER global.
Removed a bug when jumping to the final model (some nodes could be selected, but not all).
Cleaned up code for a much simpler solution.
Closing branch.
Merged in Issue160