Commits · e21d0ffbd29ae32bede02d2fbd332fb6e8b164ef · TASTE / Ocarina

22 Aug, 2010 1 commit

julien.delange authored Aug 22, 2010



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

e21d0ffb

19 Aug, 2010 4 commits

fix some names to avoid conflicts in generated code · 4ecab7e7

julien.delange authored Aug 19, 2010



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

4ecab7e7

change some components definition to avoid name conflicts · 81e6e9ff

julien.delange authored Aug 19, 2010



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

81e6e9ff

update sockets driver according to new TASTE version · 39cc4908

julien.delange authored Aug 19, 2010



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

39cc4908

update component library to work with the new TASTE version · 99078ec0
julien.delange authored Aug 19, 2010
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1331 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
99078ec0

18 Aug, 2010 2 commits

* (Retrived_Connection_End): add one path to retrieve the · bc04bb5d

hugues.jerome authored Aug 18, 2010

correct feature if the Referenced_Entity is not set in the
declarative tree.

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

bc04bb5d

* Minor reformatting · 6237a84e

hugues.jerome authored Aug 18, 2010


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

6237a84e

17 Aug, 2010 3 commits

* (Find_Instance): solve incorrect traversal when encountering · 20e97fcd

hugues.jerome authored Aug 17, 2010

	  a contained_element_path



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

20e97fcd

* Minor reformatting · 9718e5b9

hugues.jerome authored Aug 17, 2010



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

9718e5b9

fix taste properties according to ellidiss description · e1357b60

julien.delange authored Aug 17, 2010



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

e1357b60

13 Aug, 2010 1 commit

update taste properties · 3b500e84

julien.delange authored Aug 13, 2010



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

3b500e84

12 Aug, 2010 1 commit

added blackbox_device language in AADL v1 · b08b1cac

maxime1008 authored Aug 12, 2010


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

b08b1cac

10 Aug, 2010 2 commits

fix headers inclusion · e73852fb

julien.delange authored Aug 10, 2010



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

e73852fb

fix error for POHIC and mutexes · 5947a51a

julien.delange authored Aug 10, 2010



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

5947a51a

09 Aug, 2010 2 commits

revert previous patch on REAL · fb72cfb2

julien.delange authored Aug 09, 2010



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

fb72cfb2

* handle data declared in a process that have a · 2ce57e3a

julien.delange authored Aug 09, 2010

Concurrency_Control_Protocol property. Interpret them
as a mutex/semaphore and generate a simple protected variable

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

2ce57e3a

05 Aug, 2010 2 commits

add a release target · 32ad3474

julien.delange authored Aug 05, 2010


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

32ad3474

added ACN to assert_properties.aadl · d6fbad97

maxime1008 authored Aug 05, 2010


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

d6fbad97

31 Jul, 2010 1 commit

put all ocarina predefined components in one file to avoid all potential · 39c447bb

julien.delange authored Jul 31, 2010

conflicts with TASTE-DV



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

39c447bb

30 Jul, 2010 2 commits

merge processors and devices into a single file to avoid conflicts with · 207875f0

julien.delange authored Jul 30, 2010

TASTE-DV. Would find a better solution later.



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

207875f0

added GUI language · 9d6ef674

maxime1008 authored Jul 30, 2010


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

9d6ef674

29 Jul, 2010 1 commit

specify the scheduling protocol for TASTE-CV · 4e9d8fad

julien.delange authored Jul 29, 2010



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

4e9d8fad

28 Jul, 2010 1 commit

handle blackbox_device property · 95085299

julien.delange authored Jul 28, 2010

handle event ports



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

95085299

26 Jul, 2010 2 commits

* add device_blackbox · 46c17adb

julien.delange authored Jul 26, 2010



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

46c17adb

add Language_Device as new implementation language · b475635c

julien.delange authored Jul 26, 2010

add acn as new encoding type



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

b475635c

25 Jul, 2010 1 commit

Add support for Initialize_Entrypoint property in threads · e000c26d

julien.delange authored Jul 25, 2010



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

e000c26d

24 Jul, 2010 2 commits

* Update all outputs · 57c7af69

hugues.jerome authored Jul 24, 2010



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

57c7af69

* Handle more error cases in REAL backend · 8beb47ee

hugues.jerome authored Jul 24, 2010



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

8beb47ee

23 Jul, 2010 3 commits

* New binding: M-x compile invokes ocarina to parse AADL file · 9f7a0c51
hugues.jerome authored Jul 23, 2010
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1097 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
9f7a0c51

* Update Max_Base_Address to 2**32 · 97671dd7

hugues.jerome authored Jul 23, 2010



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

97671dd7

* Update documentation · 16db7164

hugues.jerome authored Jul 23, 2010


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

16db7164

22 Jul, 2010 2 commits

* Correct the processing of some numerical expressions · 4b6cc330

hugues.jerome authored Jul 22, 2010



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

4b6cc330

* If a property cannot be evaluated, or if we want to evaluate · 1e0ac4a7

hugues.jerome authored Jul 22, 2010

the property on elements of the empty set, then return and
print a warning.

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

1e0ac4a7

19 Jul, 2010 3 commits

* Update output to match lastest modifications to Ocarina · 59d89455

hugues.jerome authored Jul 19, 2010


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

59d89455

* Add some .ignore files to AADL files we do not want to test, · 4f9edbdc

hugues.jerome authored Jul 19, 2010

	  they are tested by other means.



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

4f9edbdc

add taste_properties as property value in ocarina_config · df218ff9

julien.delange authored Jul 19, 2010



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

df218ff9

16 Jul, 2010 1 commit

automatically load assert_types and all needed properties · f6708e8f

julien.delange authored Jul 16, 2010

by buildsupport



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

f6708e8f

15 Jul, 2010 2 commits

add new functions required by buildsupport · 6b17f690

julien.delange authored Jul 15, 2010



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

6b17f690

* apply jerome's patch to ocarina in order to commit changes · e792f502

julien.delange authored Jul 15, 2010

   in buildsupport



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

e792f502

14 Jul, 2010 1 commit

Include Base_Types when using -f · 4ce8e1dc

julien.delange authored Jul 14, 2010



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

4ce8e1dc