Fix IntervalValue equality/bitshift stubs, expose CopyKind, preserve AbstractState subclass identity - #71

Fix IntervalValue equality/bitshift stubs, expose CopyKind, preserve AbstractState subclass identity#71

yuleisui wants to merge 9 commits into

mainSVF-tools/SVF-Python:mainfrom

fix/ae-python-binding-mismatchesSVF-tools/SVF-Python:fix/ae-python-binding-mismatchesCopy head branch name to clipboard