[pok-devel] [35] * update models to the latest version of the arinc653 annex

[subversion@xxxxxxxxxxxxx]

Revision: 35
Author:   julien
Date:     2012-06-01 19:31:37 +0200 (Fri, 01 Jun 2012)
Log Message:
-----------
 * update models to the latest version of the arinc653 annex

Modified Paths:
--------------
    trunk/examples/arinc653-events/model.aadl
    trunk/examples/case-study-sigada09/model.aadl
    trunk/misc/send-release.sh

Modified: trunk/examples/arinc653-events/model.aadl
===================================================================
--- trunk/examples/arinc653-events/model.aadl	2012-05-30 18:28:51 UTC (rev 34)
+++ trunk/examples/arinc653-events/model.aadl	2012-06-01 17:31:37 UTC (rev 35)
@@ -98,7 +98,7 @@
 memory partitionmemory
 properties
    Word_Count => 80000;
-   ARINC653::Memory_Kind => memory_code;
+   ARINC653::Memory_Type => (code_memory);
    ARINC653::Access_Type => read;
 end partitionmemory;
 
@@ -108,7 +108,7 @@
 memory implementation mainmemory.impl
 subcomponents
    part1: memory partitionmemory 
-               {ARINC653::Memory_Kind => memory_code;
+               {ARINC653::Memory_Type => (code_memory);
                 ARINC653::Access_Type => read;};
 end mainmemory.impl;
 

Modified: trunk/examples/case-study-sigada09/model.aadl
===================================================================
--- trunk/examples/case-study-sigada09/model.aadl	2012-05-30 18:28:51 UTC (rev 34)
+++ trunk/examples/case-study-sigada09/model.aadl	2012-06-01 17:31:37 UTC (rev 35)
@@ -93,7 +93,7 @@
 memory implementation segment.i
 properties
    Word_Count => 80000;
-   ARINC653::Memory_Kind => memory_code;
+   ARINC653::Memory_Type => (code_memory);
    ARINC653::Access_Type => read;
 end segment.i;
 

Modified: trunk/misc/send-release.sh
===================================================================
--- trunk/misc/send-release.sh	2012-05-30 18:28:51 UTC (rev 34)
+++ trunk/misc/send-release.sh	2012-06-01 17:31:37 UTC (rev 35)
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 VERSION=`date '+%Y%m%d'` 
-HOST=mha@xxxxxxxxxxxxxxxxx
+HOST=ssh.tuxfamily.org
 REMOTE_DIR=/home/pok/pok-repository/snapshots/
 
 echo "Sending pok-$VERSION to $HOST:$REMOTE_DIR/"