- 31 Jan, 2013 1 commit
-
-
yoogx authored
-
- 15 Oct, 2012 1 commit
-
-
mperroti authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5830 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 17 Sep, 2012 1 commit
-
-
jhugues authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5604 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 04 Sep, 2012 1 commit
-
-
jdelange authored
* 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
-
- 12 Jul, 2012 1 commit
-
-
jhugues authored
AADLv2 standar property sets git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5019 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 05 Jun, 2012 1 commit
-
-
jhugues authored
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
-
- 03 Jun, 2012 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 the WIN32 architecture in Makefiles git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4641 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 23 Jan, 2012 1 commit
-
-
jdelange authored
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
-
- 19 Aug, 2011 1 commit
-
-
jdelange authored
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
-
- 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
-
- 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
and pack the final Xtratum binary. git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2359 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
-
- 08 Feb, 2011 1 commit
-
-
julien.delange authored
backends/ocarina-backends-properties.ads - Handle Activate_Entrypoint property * backends/ocarina-backends-po_hi_c-activity.adb - Now handle the Activate_Entrypoint property correctly. * backends/ocarina-backends-po_hi_c-main.adb - Fix Initialize_Entrypoint semantics according to the AADL standard. git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2081 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 22 Oct, 2010 1 commit
-
-
julien.delange authored
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
-
- 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
-
- 25 Aug, 2010 1 commit
-
-
hugues.jerome authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1366 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 26 Jul, 2010 1 commit
-
-
julien.delange authored
add acn as new encoding type git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1114 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
-
- 22 Jun, 2010 1 commit
-
-
hugues.jerome authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@866 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
-
- 03 Jun, 2010 2 commits
-
-
hugues.jerome authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@729 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
hugues.jerome authored
property git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@727 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 26 May, 2010 1 commit
-
-
julien.delange authored
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@688 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@549 129961e7-ef38-4bb5-a8f7-c9a525a55882
-
- 29 Apr, 2010 1 commit
-
-
julien.delange authored
* Get appropriate device when parsing a connection * Add Driver_Name property for macro generation git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@518 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
-