Re: [modeling-pmc] [CQ 11174] GMP Version 6.0| modeling.efm discussion

[Ed Merks <ed.merks@xxxxxxxxx>]

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 <boutheina.bannour@xxxxxxxxx> 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
modeling-pmc@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/modeling-pmc