• Which version of MercuryDPM should I use?
    February 10th, 2021
    Read More …
  • MercuryDPM webinar: Invited talk given by Sebastian Eibl on 28-04-2020 at 14:00
    April 28th, 2020
    Read More …
  • Mercury Month 2020
    April 17th, 2020
    Read More …


RSS Feed

Beta Update (GCC 4.7 issue)

August 11th, 2016

Today the beta was updated. This was some extra checks for GNU compilers as certain versions do not have all the 2011 features they first claim. Note, the beta requires gcc at least 4.8 (not 4.7) as it use to claim.

Note, this update did not change the code, it only added an extra warning that the code does not work in GCC 4.7 (despite the claims this compiler makes about 2011 feature support).