Development Log

  • SPARK Pro
    Jun 15th, 2017

    Enable multiprocesing by default in IDEs
    When interacting with GNATprove inside GPS or GNATbench, it is desirable that the analysis uses all available cores to go as fast as possible. This is now achieved by selecting by default the "multiprocessing" mode with -j0. The user can always revert that in the analysis/proof panel opened.