[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
[modeling-pmc] [CQ 11174] GMP Version 6.0
|
http://dev.eclipse.org/ipzilla/show_bug.cgi?id=11174
--- Comment #11 from Arnault Lapitre <arnault.lapitre@xxxxxx> 2016-05-11 04:13:06 ---
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)
--
Configure CQmail: http://dev.eclipse.org/ipzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the CQ.
