Sorry for the extremely slow response. In this CQ you also state: GMP is not intended to be redistributed by Eclipse as a third-party code. It is a required third party library that should be installed by the user for the "org.eclipse.efm.symbex" project.
So assuming EFM functions without list library but functions better with it, I'll approve this as a workswith dependency. +1 On Thu, May 12, 2016 at 9:10 AM, -- Boutheina <[email protected]> wrote: > Hi > > In response to the IP team, please find below our justification on the use > of the GMP library. > > Cheers > > //GMP is used to grant the precision of the arithmetic computation in the > symbolic execution process. E.g. Given a (symbolic) variable x and a, b > integers: a*x+b*x is re-expressed as (a+b)*x where (a+b) is evaluated > precisely > using GMP, regardless of their system coding (32bits, 64bits…). If we do > not > use GMP (or an equivalent library) then we will have to deal with the > classical > rounding problems in numerical calculus. > > 1. what parts of the project depend on this: > GMP is used by the symbolic execution kernel (efm-symbex). Note that > disconnecting GMP can impact the precision of the symbolic computation. > > > 2. what all doesn't function without it. > An option that we can implement quickly is to disconnect GMP in the > symbolic > execution code (yet not recommended) > BlackBerry® > _______________________________________________ > modeling-pmc mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://dev.eclipse.org/mailman/listinfo/modeling-pmc >
_______________________________________________ modeling-pmc mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/modeling-pmc
