GitLab

   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

  - Fix line size, raise issues during compilation within the VM

 * ocarina/resources/deployment.aadl
   ocarina/resources/AADLv2/components/processors/x86.aadl
  - Introduce values for Win32 support



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

   - Update properties definition according to updated
     ARINC653 annex


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

          applies to clauses



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

   - Use correct source dir definition according to new PolyORB-HI-C build
     infrastructure.


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

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

          an interval



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

          process the XML file



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

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

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

   - Add V_Lua_Context variable name

 * ocarina-backends-po_hi_c-runtime.ads
   - Add RE_LUA_Get_String
   - Add RE_LUA_Get_Number
   - Add RE_LUA_Get_Boolean
   - Add RE_LUA_Push_String
   - Add RE_LUA_Push_Number
   - Add RE_LUA_Push_Boolean
   - Add RE_LUA_Perform_Function_Call
   - Add RE_LUA_Init_Function_Call

 * ocarina-backends-c_common-mapping.adb
   - Adapt with the new PolyORB-HI-C interface


   


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

   - Map subprograms correctly when calling a lua function
     or just a file



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

	 parsed, except arrays and arithmetic expressions.



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

	* Add new flag -real_continue_eval to continue evaluation of
	 theorems in case of failures



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

	 inverse



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

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

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

	* Use Convert_To_Base to convert property values to their base
	 units

	 For ticket 61



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

   - __PO_HI_NB_PROTECTED no longer dependent on __po_hi_protected.h
     so that we don't include useless files in generated code and
     avoids compilation conflicts.



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

   - Store application value only if the thread is connected
     to a subprogram feature


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

   - Initialize Use_Scade by default

 * ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.adb
   - Indicate that the error is not fatal



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

   - 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

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

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

	  For ticket 213



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

	 Platform_LINUX64 as native platforms;
	 add better error message for unsupported platforms



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

   - Make sure we use transport_send_default when appropriate



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

   - Fix protocol array initialization when an IN port is connected
     to several other ports.



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

   - Output appropriate Makefile when using
     GUMSTIX or NDS execution platforms.



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

   - Handle endianess of NDS and GUMSTIX execution platforms



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

	Patch for ticket 198



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

   - Ensure that the protocol is correctly defined when trying to map
     its name.



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

   - ALWAYS define __po_hi_protocol_t type
   - Define the protocol deployment info ONLY if required.



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

   - Define __PO_HI_USE_PROTOCOL_<PROTOCOL_NAME> macro
     for each used protocol.
   - Define a global array that detail each protocol
     used to handle the communication between two ports.



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

   backends/ocarina-backends-build_utils.adb
   backends/ocarina-backends-build_utils.ads
   backends/ocarina-backends-po_qos_ada.adb
   backends/ocarina-backends-po_hi_ada.adb
   - Include referenced ASN1 files in Makefile
     for PolyORB-HI-C
   - Adapt sources infrastructure to fit
     with this new build requirement.



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