GitLab

        For issue #58

          direct AST accessors

        * (Get_Core_Id): new function

          in new package Ocarina.Cmd_Line, rework all
          frontend/backends to avoid code duplication.

          For issue #33

          Also fix for issue #54

          routines to fetch various kind of property types.

          First step of #19

          SPARK GPL 2015

          requirements.

Fixes #49

          value from a string

is explicitly declared with a property.

        For issue #44

            For issue #43

        * Suppress the invokation of "cheddarlite" when -b is set,
          this is no longer supported

          name_id to refer to the corresponding partition

          For issue #31

 clauses