This commit merges my various changes in parsing to master,
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Fri, 24 Jul 2015 18:26:43 +0000 (13:26 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Fri, 24 Jul 2015 18:26:43 +0000 (13:26 -0500)
commit6e5e5dfe3f22ffd341f0cef6da747a5d1bbd160e
tree1269f09015a1f1cdafaf6e34c80c26ba5e1f0646
parent32dbaee4825b81c28b6ff89f8a683a0a768d6aa1
parentca930d1ec9d799d522e75d5204e057e39149d4c4
This commit merges my various changes in parsing to master,
including machine learning based gap parsing, new jump table analysis
and fixes to our existing tail call heuristics.
It also includes changes made to slicing code to support the new jump table analysis,
where users now have a better control to stop slicing
when their analysis has achieved their goals
and can choose to include control flow dependencies into slice.
Lastly, the ParseAPI manual is updated accordingly.

Merge branch 'master' into parsing

Conflicts:
dataflowAPI/src/slicing.C
dataflowAPI/src/slicing.C
parseAPI/src/BoundFactData.C