Interval analysis for jsy using Apron#77

Open

tianhan0 wants to merge 6 commits intodevelopfrom

Commits on Oct 27, 2017

interval analysis for jsy using Apron
Tianhan Lu
committed
code refactor
Tianhan Lu
committed
add comments
Tianhan Lu
committed
try to pass codacy
Tianhan Lu
committed
it does not make sense that renaming variables lead travis-ci to fail
Tianhan Lu
committed
try to pass codacy
Tianhan Lu
committed