Development Log

  • GNAT Pro
    Dec 12th, 2016

    Class-wide type invariant optimization
    Subprogram calls within class-wide type invariant expressions now get resolved as primitive operations instead of being dynamically dispatched.