Commits · f1ddbf55af831773e6a2738baf356719b50aad82 · TASTE / Ocarina

26 Feb, 2012 2 commits

jhugues authored Feb 26, 2012



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

f1ddbf55

* Detect GNU Sed whenever possible, for ticket 285 · 79f4735e

jhugues authored Feb 26, 2012



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

79f4735e

24 Jan, 2012 3 commits

* ocarina-backends-c_tree-nutils.ads · 706a49eb

jdelange authored Jan 24, 2012

   - Add V_Lua_Context variable name

 * ocarina-backends-po_hi_c-runtime.ads
   - Add RE_LUA_Get_String
   - Add RE_LUA_Get_Number
   - Add RE_LUA_Get_Boolean
   - Add RE_LUA_Push_String
   - Add RE_LUA_Push_Number
   - Add RE_LUA_Push_Boolean
   - Add RE_LUA_Perform_Function_Call
   - Add RE_LUA_Init_Function_Call

 * ocarina-backends-c_common-mapping.adb
   - Adapt with the new PolyORB-HI-C interface


   


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

706a49eb

* ocarina-backends-c_common-mapping.adb · f60a240d

jdelange authored Jan 24, 2012

   - Map subprograms correctly when calling a lua function
     or just a file



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

f60a240d

* Update reference output · 2e432c8f

jhugues authored Jan 24, 2012



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

2e432c8f

23 Jan, 2012 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · d66af285

jdelange authored Jan 23, 2012

   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

d66af285

16 Jan, 2012 1 commit

* Link to static Ada runtime · e4f99f64

jhugues authored Jan 16, 2012


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

e4f99f64

03 Jan, 2012 1 commit

* Update the AADL BA front end: all examples are now correctly · 3b470dad

jhugues authored Jan 03, 2012

	 parsed, except arrays and arithmetic expressions.



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

3b470dad

02 Jan, 2012 3 commits

* Enhance the output of the REAL backend · 89c4cd44

jhugues authored Jan 02, 2012

	* Add new flag -real_continue_eval to continue evaluation of
	 theorems in case of failures



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

89c4cd44

* Correct parsing and processing of feature groups, and their · e9e2838d

jhugues authored Jan 02, 2012

	 inverse



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

e9e2838d

* Return a better error message if no root system can be found · f8faaceb

jhugues authored Jan 02, 2012



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

f8faaceb

21 Dec, 2011 2 commits

* Add ASN.1 generation to PolyORB-HI/Ada · b2a61c49

jhugues authored Dec 21, 2011



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

b2a61c49

* Minor reformatting · 044178b7

jhugues authored Dec 21, 2011



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

044178b7

13 Dec, 2011 6 commits

* Update tests to reflect changes in unit processing · 37d64eb3

jhugues authored Dec 13, 2011



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

37d64eb3

* New test, from ticket 61 · f1dbd9d5

jhugues authored Dec 13, 2011



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

f1dbd9d5

* Move Convert_To_Base to Ocarina.Processor.Properties. · 5ccd0823

jhugues authored Dec 13, 2011

	* Use Convert_To_Base to convert property values to their base
	 units

	 For ticket 61



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

5ccd0823

* Add proper output for this test · cede5a2a

jhugues authored Dec 13, 2011



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

cede5a2a

* Correct test file to match actual legality rule of AADL 1.0 · 0593abcb

jhugues authored Dec 13, 2011



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

0593abcb

* Correct finder to support correctly rule 11.1.2 (N2) · a412545c

jhugues authored Dec 13, 2011

	Update reference output and property sets accordingly



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

a412545c

08 Dec, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads · e4979458

jdelange authored Dec 08, 2011

   - __PO_HI_NB_PROTECTED no longer dependent on __po_hi_protected.h
     so that we don't include useless files in generated code and
     avoids compilation conflicts.



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

e4979458

07 Dec, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb · 8a164568

jdelange authored Dec 07, 2011

   - Store application value only if the thread is connected
     to a subprogram feature


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

8a164568

09 Nov, 2011 1 commit

* ocarina/resources/AADLv2/components/devices.aadl · 49657ced

jdelange authored Nov 09, 2011

   - Normalize devices interfaces name



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

49657ced

03 Nov, 2011 1 commit

* Do not force ".aadl" extension for user-provided files. · 14061bb2

jhugues authored Nov 03, 2011

	For ticket 248



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

14061bb2

01 Nov, 2011 1 commit

* ocarina/src/backends/ocarina-backends-build_utils.adb · b3f813c8

jdelange authored Nov 01, 2011

   - Initialize Use_Scade by default

 * ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.adb
   - Indicate that the error is not fatal



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

b3f813c8

21 Oct, 2011 1 commit

svn:ignore · 56088170

tsiodras authored Oct 21, 2011

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

56088170

17 Oct, 2011 2 commits

* Fix missing dependency · 0011035b

jhugues authored Oct 17, 2011



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

0011035b

* Add proper configuration parameters for the TCP/IP driver for Ada · 6f66c5b6
jhugues authored Oct 17, 2011
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3327 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
6f66c5b6

12 Oct, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb · ea456d62

jdelange authored Oct 12, 2011

   - Generate the __po_hi_devices_to_nodes array in
     deployment.c file.

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_To_Nodes global variables
     to know which node is associated to which device.


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

ea456d62

04 Oct, 2011 1 commit

* Update for compiling with GCC 4.6.0 · e718a565

jhugues authored Oct 04, 2011



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

e718a565

27 Sep, 2011 1 commit

* Update XML Schema · 1ba9e090

jhugues authored Sep 27, 2011



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

1ba9e090

26 Sep, 2011 1 commit

* Initial import of the AADL to XML backend · 8178b1ff

jhugues authored Sep 26, 2011



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

8178b1ff

14 Sep, 2011 2 commits

* Remove duplicate rules · 4564a110

jhugues authored Sep 14, 2011



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

4564a110

* Add support for USER_CFLAGS and USER_LDFLAGS · 79ed9a0c

jhugues authored Sep 14, 2011

	  For ticket 213



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

79ed9a0c

01 Sep, 2011 3 commits

* AADLv2/components/devices.aadl · 05b6a41f

jdelange authored Sep 01, 2011

   - Remove useless driver



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

05b6a41f

* ocarina/resources/AADLv2/components/devices/leon-eth.aadl · 4495fa10

jdelange authored Sep 01, 2011

   - Remove thread because it is handled by the driver itself due to synchronization matters


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

4495fa10

* ocarina/resources/AADLv2/components/devices/leon-eth.aadl.ignore · 227dde78

jdelange authored Sep 01, 2011

   ocarina/resources/AADLv2/components/devices/leon-eth.aadl
   - Add specification of the LEON ethernet driver



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

227dde78

30 Aug, 2011 1 commit

* (PolyORB_HI_Ada_Makefile): handle Platform_LINUX32 and · 8137359f

jhugues authored Aug 30, 2011

Platform_LINUX64 as native platforms;
add better error message for unsupported platforms

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

8137359f

29 Aug, 2011 2 commits

* ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb · 5ebc0112

jdelange authored Aug 29, 2011

   - Make sure we use transport_send_default when appropriate



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

5ebc0112

* ocarina/src/core/mgmt/ocarina-files.adb · 021e5501

jdelange authored Aug 29, 2011

   - Search file returns No_Name if the file name in parameter
     is not valid.
   - Fix bug 206.



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

021e5501

24 Aug, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb · 6a99453e

jdelange authored Aug 24, 2011

   - Fix protocol array initialization when an IN port is connected
     to several other ports.



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

6a99453e