/
Merge branch 'master' of https://github.com/arizigler/arraychecker.git
minor change. commit for update from Hagai
after updated from Hagai
.
Merge branch 'master' of https://github.com/arizigler/arraychecker.git
Added div expression analysis
Added Widening.
Updated operates to fit INF arithmetic (updated only add, sub and mul
expressions for now).
Change packages according to Hagai's change
after merging with Hagai's changes