-
Julien Signoles authored[e-acsl] Makefile's target 'install' [e-acsl] test GMP linkage in non-regression suite ('make tests' now requires GMP >= 4.3.2) [e-acsl] fixed bugs of GMP compatibilityJulien Signoles authored[e-acsl] Makefile's target 'install' [e-acsl] test GMP linkage in non-regression suite ('make tests' now requires GMP >= 4.3.2) [e-acsl] fixed bugs of GMP compatibility