GitLab

   - Generate the __po_hi_devices_to_nodes array in
     deployment.c file.

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_To_Nodes global variables
     to know which node is associated to which device.


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

   - Generate deployment information that indicate which
     protocol is used by each port connection

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add the RE_Ports_Protocols entity to map
     the protocol informations in an array



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

   - Map the configuration of protocols in an array.
     (marshaller/unmarshaller subprograms).

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add the following entities :
     * RE_Protocol_Conf_T : type that describe the configuration
       concerns for a given protocol.
     * RE_Protocols_Configuration : array that contains
       the configuration of ALL protocols.



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

   - Fix the build system to include ASN1Scc runtime
     when using ASN1

 * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Generate identifiers for protocols (see enum __po_hi_protocol_t)
   - Generate the macro __PO_HI_NB_PROTOCOLS

 * ocarina/src/backends/ocarina-backends-build_utils.adb
   - Do not visit data subcomponents in build utils since
     it crashes the testsuite

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Nb_Protocols
   - Add RE_Protocol_T

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Add mapping rules to convert virtual bus names into
     C enumerator (see Map_C_Enumerator_Name)


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2968 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

   - Fix POK makefile to be able to compile IMA case studies

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-pok_c-makefile.adb
   - Define symbols used by PolyORB-HI-C



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

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

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Add the __po_hi_initialize_early function



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

   - Add extern declaration of configuration variables
     of devices in deployment files

 * ocarina/src/backends/ocarina-backends-build_utils.adb
   - Add the file that contains the configuration variable
     in the list of files to be compiled

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_Configuration_Values that is an array
     that contains a reference to the variable
     that contain device configuration

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add Map_Device_Confvar_Name to define the name of the
     configuration variable of a device



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

   - Describe the number of buses accessed by each device
   - Put the buses names accessed by each device.
   
 * backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_Nb_Accessed_Buses
   - Add RE_Devices_Accessed_Buses

 * backends/ocarina-backends-c_common-mapping.adb
   backends/ocarina-backends-c_common-mapping.ads
   - Add Map_Devices_Buses_Array_Name that provides
     a name for the array that describes the buses
     accessed by the device.



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

   - Generate the __po_hi_bus_id type

 * backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Bus_Id

 *  backends/ocarina-backends-c_common-mapping.adb
   - Map_C_Enumerator can now map bus components




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

   backends/ocarina-backends-c_tree-nutils.ads
   backends/ocarina-backends-po_hi_c-naming.adb
   backends/ocarina-backends-po_hi_c-runtime.ads
    - Prefix all global variables with __po_hi
      to ease code analysis



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1768 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

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

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

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

device devices enumerator
extract port/channel/deployment information and use it for initialization
purposes



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

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

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

add calls to __po_hi_get_entity_from_global_port instead
of using the global variable entity_from_ports



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

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

   This function sends the request of each thread using
   appropriate drivers functions.



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

 * Get appropriate device when parsing a connection
 * Add Driver_Name property for macro generation



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

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