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

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

   - Avoid the redefinition of two same devices bound to the same processor



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

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

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

   - Handle Linux32 and Linux64 architectures



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

   - Add new ceiling protocol values in AADLv1 properties



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

   - Fix syntax error



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

   ocarina/src/backends/ocarina-backends-properties.ads
   - Handle linux32 and linux64 platforms

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Use the Linux32 and linux64 property values for
     generation of Makefiles

 * ocarina/resources/deployment.aadl
   - Add Linux32 and Linux64 values

 * ocarina/resources/AADLv2/components/processors/x86.aadl
   - Define processors for linux32 and linux64 targets.



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

   - Make sure that destdir/share/doc/ocarina exists


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

   - fix model error, use GenericBus instead of Generic_Bus



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

   ocarina/resources/AADLv2/components/devices/generic_bus.aadl
   ocarina/resources/AADLv2/components/devices/grspw.aadl
   ocarina/resources/AADLv2/components/devices/gruart.aadl
    - Avoid the word Generic_Bus several times in the same file
      since it crashes TASTE.


avoid the definitio


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

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

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

   - Generate ALL types that are used in the system, prevent
     any compilation issues with the request_t type

 * ocarina/src/backends/ocarina-backends-po_hi_c-request.adb
   - Generate ALL requests that may happen within the system.
     Ensure that the definition of __po_hi_request_t is the same
     on all nodes and so that the __PO_HI_MESSAGES_SIZE will have
     the same value on all nodes.



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

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

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

   - Update the TASTE property set to include new properties
     of the interface view.



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

	reuse an existing instance of a	     data component type only for
        access components, this allow to have subcomponent-specific
        properties to be correctly attached to the corresponing
	instance of subcomponents



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

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

          highlight the following identifier



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

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

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

	 subdirectory of the directory returned by Get_Install_Dir;
	 raise an error if OCARNA_PATH is set, and ocarina binary is
	 not in $OCARINA_PATH/bin



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

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

	  update backends to avoid treating subprogram subcomponents
	  when building types or marshallers.



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

   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   - Add Keyword_Check parameter to decide if we need to check
     that a generated item correspond to an AADL keyword

 * ocarina/src/backends/ocarina-backends-xml_tree-generator.adb
   - Avoid the generation of automatic .asn1 extension

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-pok_c-makefile.adb
   - Do not check AADL keyword for directories



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

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

          wants to build documentation (off as a default)



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

   - complete the predefined types with boolean and float


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

   ocarina/resources/AADLv2/components/devices.aadl
   - Add new AADL serial devices to separate sending and receiving
     concerns. It allows to define two processes that will use
     two serial ports on the same board.
   - Result in three AADL component : one serial device that sends
     data, one that receives data and another that do both.



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

	


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

   - Can now generate deployment information to include two
     user-defined devices. The previous issue was that only
     one device could be used between two processes.
   - Fix issue with the serial-spw example of tastegui

     


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

	  defined, but the iterator does not find it.



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

	   error



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

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

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

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