- 08 Aug, 2011 1 commit
-
-
jdelange authored
- 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
-
- 05 Aug, 2011 1 commit
-
-
jdelange authored
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
-
- 24 Jun, 2011 2 commits
-
-
jdelange authored
- 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
-
jdelange authored
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
-
- 08 Jun, 2011 1 commit
-
-
jdelange authored
- 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
-
- 05 Jun, 2011 1 commit
-
-
jdelange authored
compcert git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2653 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 17 Mar, 2011 1 commit
-
-
julien.delange authored
- Put the right name on partitions * ocarina/src/backends/ocarina-backends-po_hi_c.adb - Use Appli_Name to put the name of the module git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2358 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 15 Mar, 2011 1 commit
-
-
julien.delange authored
* 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
-
- 10 Mar, 2011 1 commit
-
-
julien.delange authored
of the system git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2321 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 21 Feb, 2011 1 commit
-
-
julien.delange authored
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 ocarina/resources/deployment.aadl - Update AADL properties and properties handling so that we can define xenomai targets git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2193 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 09 Feb, 2011 1 commit
-
-
julien.delange authored
- Adapt Makefile for multiple user sources dir * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb - Avoid several configuration patterns (string and asn1 based) * ocarina/src/backends/ocarina-backends-c_common-mapping.adb - Adapt the external variable naming schema according to buildsupport git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2099 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 17 Oct, 2010 1 commit
-
-
julien.delange authored
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
-
- 30 Aug, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1405 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 10 Jul, 2010 1 commit
-
-
julien.delange authored
* Add predefined component to handle the linux-specific distribution git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@984 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 04 Jun, 2010 1 commit
-
-
julien.delange authored
handle x86_rtems endianess aspects git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@740 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 26 May, 2010 1 commit
-
-
julien.delange authored
when using the -asn1 flag with polyorb_hi_c git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@694 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 25 May, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@685 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 21 May, 2010 1 commit
-
-
julien.delange authored
add -asn1 option, when used, it generates ASN1 deployment file in the generated directory git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@671 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 12 May, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@608 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 07 May, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@574 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 04 May, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@542 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 29 Apr, 2010 3 commits
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@517 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@515 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@514 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 14 Apr, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@457 129961e7-ef38-4bb5-a8f7-c9a525a55882
-