Development Log

  • GNAT Pro | GPS | GNATbench
    Apr 19th, 2017

    GPS: Python API for creating Tasks
    It is now possible to create Tasks from the GPS Python API, and to create tasks that monitor a workflow. This can conveniently replace some uses of the GPS.Timeout API, and integrates within the GPS Task Manager, allowing to provide progress indication for background tasks.