* 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

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

          avoid name collision in case of multiple instances of the
          same component implementation



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

          match OSATE2 names in addition to Cheddar ones.



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

          error to caller theorem



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

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

          and -real_continue_eval has been selected



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

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

        * Ocarina.Property_Sets: add Modeling_Properties as predefined
          set

        * Ocarina.Instances.Queries: work-around for Get_List_Property
          not returning list in case the list is an enumeration list

        * Update reference outputs



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

   ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
    - Fix the function nake of the Wait_Offset function.



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

   * Declare the Offset variable to be included in 
     activity.c generated file.

 - backends/ocarina-backends-po_hi_c-activity.adb
   * Call __po_hi_task_wait_offset when the task
     use the Dispatch_Offset property

 - backends/ocarina-backends-po_hi_c-runtime.ads
   * Declare the __po_hi_task_wait_offset function
     of PolyORB-HI-C


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

   - Stop generating function that handle
     the distribution concerns, rely on __po_hi_transport_send
     generic function.



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

          functions



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

   - Fix error when ports are not connected, print fatal error.



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

          platform



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

  - 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