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

   - Output files with asn suffix instead of asn1



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

   - Generate subprograms used by user-defined
     protocols.



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

   - Generates types used by user-defined protocols



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

   - Handle the asn1 option in the scenario files

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c.ads
   - Set_ASN1_Deployment to indicate to the generator
     we would like to generate deployment informations
     using ASN1.



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

the use of RTEMS and RTEMS/POSIX (start to handle bug 132)



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

   - Fix configuration issues for the network driver



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

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

   ocarina/resources/AADLv2/components/devices.aadl
   - Integrate the AADL definition of the USB brick driver



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

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

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

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

   - On ALL nodes, generate ALL types used in the distributed
     systems when using PolyORB-HI-C. It ensures that
     the types used in the __po_hi_request_t types are correctly
     declared.
   - Should fix bug #169, to be confirmed.



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

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

   28/06/2011.



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

   - Generate doxygen comments for delivery and job tasks



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

   - Stop to automatically generate comment box around function
     definitions.
 * ocarina/src/backends/ocarina-backends-c_tree-generator.adb
   - Generate a better HTML output

 * ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Include AADL model requirements within comments.



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

   comments in the generated code.

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Generate a doxygen.cfg file per node.

 * ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
   - Add some doxygen comments.

 * ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   - Add the Make_Doxygen_Comment_Node function

 * ocarina/src/backends/ocarina-backends-c_tree-nodes.idl
   - Add a new node to handle doxygen comment

 * ocarina/src/backends/ocarina-backends-c_tree-generator.adb
   - Generate comments according to doxygen rules.

 * ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Add comments compliant with doxygen requirements



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

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

   - Introduce the ability to use two instances
     of the same driver.
   - Impact: poller are expected to take a mandatory
     argument that has the type __po_hi_device_id

 * 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
   - Also adapt the call sequence of a subprogram and a thread
     when we generate the call sequence

 * ocarina/src/backends/ocarina-backends-c_common-subprograms.adb
   - Also consider the device if the subprogram
     is part of a device implementation, map the correct
     arguments when mapping the spec of the subprogram
     and its call sequence.

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add the __po_hi_device_id to the subprogram signatures
     that correspond to functions defined for the implementation
     of a driver



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

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

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

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

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

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

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

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

           of one theorem to be analysed 

       * Minor reformatting and bugfixes when manipulating trees            



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

	  minor reformatting


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

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

   compcert



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

	  this is required in case some processes are not connected to
	  this bus.



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

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

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

	configuration mechanism



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

          by mean of the Type_Source_Name property



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

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

   for event ports.
   Fix sunseeker example.



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