GitLab

          as part of the build process

          For issue openaadl/ocarina#110

        For issue #95

          GNAT runtime

          For ticket #93

        For issue #73

      Supported_Concurrency_Control_Protocol

    For issue #64

          routines to fetch various kind of property types.

          First step of #19

            For issue #43

each partition

          common code

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5830 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5604 129961e7-ef38-4bb5-a8f7-c9a525a55882

 * ocarina/resources/deployment.aadl
   ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Integrate SCOC3 platform
   - Solve autobuild issues



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5542 129961e7-ef38-4bb5-a8f7-c9a525a55882

	AADLv2 standar property sets



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5019 129961e7-ef38-4bb5-a8f7-c9a525a55882

          source name but no source language, suppose the source
          language is the same as the back end.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4676 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Handle the WIN32 architecture in Makefiles



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4641 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   - Support for Subprogram_LUA subprogram kind
   - Add Language_LUA_Name and Language_LUA

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Introduce RH_PO_HI_Lua, RE_LUA_Load, RE_LUA_Load_File
     and RE_LUA_Load_File_With_Function entities

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Map LUA subprograms

 * ocarina/resources/AADLv2/aadl_project.aadl
   - Add LUA language in the potential supported languages



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3660 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina-backends-properties.ads
   - Handle the NDS_RTEMS, GUMSTIX_RTEMS, NDS_RTEMS_POSIX
     and GUMSTIX_RTEMS_POSIX execution platforms.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3012 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Handle new platforms for RTEMS and compcert deployment




git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2945 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add bench and compcert execution platform
 
 * ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   - Supports the handling of new platform values

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Generate code compliant with compcert





git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2671 129961e7-ef38-4bb5-a8f7-c9a525a55882

   compcert



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2653 129961e7-ef38-4bb5-a8f7-c9a525a55882

   and pack the final Xtratum binary.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2359 129961e7-ef38-4bb5-a8f7-c9a525a55882

   of the system



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2321 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   ocarina/resources/deployment.aadl
     - Update AADL properties and properties handling
       so that we can define xenomai targets



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2193 129961e7-ef38-4bb5-a8f7-c9a525a55882

   backends/ocarina-backends-properties.ads
     - Handle Activate_Entrypoint property

 * backends/ocarina-backends-po_hi_c-activity.adb
   - Now handle the Activate_Entrypoint property
     correctly.

 * backends/ocarina-backends-po_hi_c-main.adb
   - Fix Initialize_Entrypoint semantics according
     to the AADL standard.


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2081 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   - Handle immediate_priority_ceiling_protocol and
     priority_inheritance proprty values

 * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Generate variables __po_hi_protected_configuration
     and __po_hi_protected_priorities that describe protected
     variable requirements

 * ocarina/src/backends/ocarina-backends-c_common-types.adb
   - Take in account the new protected types

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add entities RE_Protected_Regular, RE_Protected_PCP,
     RE_Protected_PIP, RE_Protected_Protocol_T, RE_Protected_Configuration,
     RE_Protected_Priorities and RE_Protected_Protocol_T

 * ocarina/resources/AADLv2/aadl_project.aadl
   - Add immediate_priority_ceiling_protocol and
     priority_inheritance proprty as new values
     for Supported_Concurrency_Control_Protocol


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1645 129961e7-ef38-4bb5-a8f7-c9a525a55882