Commit aca22029 authored by hugues.jerome's avatar hugues.jerome

* Update reference output



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2204 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 4f3afcf3
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON3_XTRATUM, LEON_ORK, LEON_GNAT, LINUX32, LINUX32_XENOMAI_NATIVE, LINUX32_XENOMAI_POSIX, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON3_XTRATUM, LEON_ORK, LEON_GNAT, LINUX32, LINUX32_XENOMAI_NATIVE, LINUX32_XENOMAI_POSIX, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON3_XTRATUM, LEON_ORK, LEON_GNAT, LINUX32, LINUX32_XENOMAI_NATIVE, LINUX32_XENOMAI_POSIX, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON3_XTRATUM, LEON_ORK, LEON_GNAT, LINUX32, LINUX32_XENOMAI_NATIVE, LINUX32_XENOMAI_POSIX, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON3_XTRATUM, LEON_ORK, LEON_GNAT, LINUX32, LINUX32_XENOMAI_NATIVE, LINUX32_XENOMAI_POSIX, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -44,6 +44,7 @@ Usage:
polyorb_hi_c
polyorb_hi_rtsj
pok_c
xtratum_configuration
stats
subprograms
real_theorem
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment